Caroline Trippel

Stanford University

Assistant Professor

Department of Computer Science

Department of Electrical Engineering

Which program are you applying for ?

View Bookmark

Research Area

#Computer science#Consistency model#Shared memory#Programming language#Microarchitecture#Hardware security module#Computer hardware#Instruction set#Software#Exploit

SCIE paper information

Papers relevant to ‘Computer science’: 2

Research performance of SCIE papers matching with ‘Computer science’

Citations of SCIE papers SCIE papers 08k16k24k32k40k070140210280350420490560

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach

    2019/05 IEEE MICRO 3.172 Impact Factor 9 citations

    Caroline Trippel, Daniel Lustig, Margaret Martonosi

    DOI : 10.1109/MM.2019.2910010

  • Full-Stack Memory Model Verification with TriCheck

    2018/05 IEEE MICRO 2.57 Impact Factor 0 citations

    Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi

    DOI : 10.1109/MM.2018.032271062

How can I correct errors in PhD.GO?


Papers for author ‘Caroline Trippel’: 2

Number of published SCIE papers by year

0123420182019
H-index 1
Number of NCS papers 0

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach

    2019/05 IEEE MICRO 3.172 Impact Factor 9 citations

    Caroline Trippel, Daniel Lustig, Margaret Martonosi

    DOI : 10.1109/MM.2019.2910010

  • Full-Stack Memory Model Verification with TriCheck

    2018/05 IEEE MICRO 2.57 Impact Factor 0 citations

    Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi

    DOI : 10.1109/MM.2018.032271062

How can I correct errors in PhD.GO?

conference information

Papers relevant to ‘Computer science’: 4

Research performance of Top-tier Conference matching with ‘Computer science’

Citations of Top-tier Conference Top-tier Conference paper(s) 020k40k60k80k100k0306090120150180210240

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • CheckMate: automated synthesis of hardware exploits and security litmus tests

    2018/10 MICRO Top-tier Conference 33 citations

    Caroline Trippel, Daniel Lustig, Margaret Martonosi

    DOI : 10.1109/MICRO.2018.00081

  • ArMOR: defending against memory consistency model mismatches in heterogeneous architectures

    2015/06 ISCA Top-tier Conference 33 citations

    Daniel Lustig, Caroline Trippel, Michael Pellauer, Margaret Martonosi

    DOI : 10.1145/2749469.2750378

How can I correct errors in PhD.GO?


Papers for author ‘Caroline Trippel’: 4

Number of published Top-tier Conference by year

012342015201720182020
Top-tier Conference 4

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • CheckMate: automated synthesis of hardware exploits and security litmus tests

    2018/10 MICRO Top-tier Conference 33 citations

    Caroline Trippel, Daniel Lustig, Margaret Martonosi

    DOI : 10.1109/MICRO.2018.00081

  • ArMOR: defending against memory consistency model mismatches in heterogeneous architectures

    2015/06 ISCA Top-tier Conference 33 citations

    Daniel Lustig, Caroline Trippel, Michael Pellauer, Margaret Martonosi

    DOI : 10.1145/2749469.2750378

How can I correct errors in PhD.GO?