Caroline June Trippel

Princeton Computer Science Ph.D. Candidate

About

CV

I am in the fourth year of my Ph.D in Computer Science at Princeton University. My specialization is broadly Computer Architecture, and more specifically, memory consistency models in heterogeneous systems and ISA-level consistency model design and specification.

My thesis advisor is Margaret Martonosi. I am a member of the Princeton University MRM Group and a contributer to the Check Tools.

I have done internships at NVIDIA Research (Summer 2016, Summer/Fall 2015), IBM (Summer 2013), and Intel (2012). I received my B.S. in Computer Engineering from Purdue University in May 2013 and my M.A. in Computer Science from Princeton University in September 2015.







ctrippel_img
uhb_img

Research

Computer Architecture, Parallelism, Memory Consistency Models, Heterogeneity
  • Memory consistency model translation for code migration on heterogeneous architectures
  • Memory consistency model specification and verification
  • Memory-model-aware ISA design and specification
  • Performance trade-offs in the memory model deign spage
  • Memory consistecny models for heterogeneous SoCs

    Published website comprised of our line of work
  • Publications

    Refereed

    "TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA"
    Caroline Trippel, Yatin Manerkar, Daniel Lustig, Michael Pellauer, and Margaret Martonosi
    InĀ Proceedings of the Twenty-Second International Conference on Architectural Support for
    Programming Languages and Operating Systems (ASPLOS), April 2017

    "ArMOR: Defending Against Consistency Model Mismatches in Heterogeneous Architectures"
    Daniel Lustig, Caroline Trippel, Michael Pellauer, and Margaret Martonosi
    42nd International Symposium on Computer Architecture (ISCA), June 2015

    Non-Refereed/Non-Archival

    "Counterexamples and Proof Loophole for the C/C++ to POWER and ARMv7 Trailing-Sync Compiler Mappings"
    Yatin Manerkar, Caroline Trippel, Daniel Lustig, Michael Pellauer, and Margaret Martonosi
    CoRR, abs/1611.01507, 2016.

    "Memory-Consistency-Model-Aware ISA Design and Specification"
    Caroline Trippel, Yatin Manerkar
    SRC TECHCON, September 2016

    "Verifying Memory Consistency for Heterogeneous Architectures using Shared Virtual Memory"
    Daniel Lustig, Caroline Trippel, Michael Pellauer, and Margaret Martonosi
    SRC TECHCON, September 2014

    Presentations

    "A Memory Consistency Model for RISC-V"
    Caroline Trippel
    5th RISC-V Workshop, November 2016






    princeton_logo





    purdue_logo

    Academic

    Teaching

    Computer Architecture and Organization (COS 375): Autumn 2016, instructor Margaret Martonosi Computer Architecture and Organization (COS 375): Autumn 2014, instructor Margaret Martonosi

    Graduate Coursework

    Great Moments in Computing (COS 583): Autumn 2014, instructor Margaret Martonosi
    Advanced Networks (COS 561): Autumn 2014, instructor Jennifer Rexford
    Computer Architecture (ELE 475): Spring 2014, instructor David Wentzlaff
    Programming Languages (COS 510): Spring 2014, instructor David Walker
    Artificial Intelligence (COS 402): Autumn 2013, instructor Alexandru Niculescu-Mizil
    Parallel Computation (ELE 575): Autumn 2013, instructor David Wentzlaff

    Degrees

    Ph.D. Department of Computer Science, Princeton University, 2013 - 2018 (expected).

    M.A. Department of Computer Science, Princeton University, 2013 - 2015.
    B.S. School of Electrical and Computer Engineering, Purdue University, 2009 - 2013.

    Personal

    Coming soon...
    ctrippel_img

    Contact Information


    213 Computer Science Building
    Department of Computer Science
    Princeton University

    ctrippel (at) cs.princeton.edu