Follow
Caroline Trippel
Caroline Trippel
Assistant Professor, Stanford University
Verified email at stanford.edu - Homepage
Title
Cited by
Cited by
Year
RecSSD: near data processing for solid state drive based recommendation inference
M Wilkening, U Gupta, S Hsia, C Trippel, CJ Wu, D Brooks, GY Wei
Proceedings of the 26th ACM International Conference on Architectural …, 2021
832021
MeltdownPrime and SpectrePrime: Automatically-synthesized attacks exploiting invalidation-based coherence protocols
C Trippel, D Lustig, M Martonosi
arXiv preprint arXiv:1802.03802, 2018
792018
Checkmate: Automated synthesis of hardware exploits and security litmus tests
C Trippel, D Lustig, M Martonosi
2018 51st Annual IEEE/ACM International Symposium on Microarchitecture …, 2018
732018
TriCheck: Memory model verification at the trisection of software, hardware, and ISA
C Trippel, YA Manerkar, D Lustig, M Pellauer, M Martonosi
ACM SIGPLAN Notices 52 (4), 119-133, 2017
672017
ArMOR: Defending against memory consistency model mismatches in heterogeneous architectures
D Lustig, C Trippel, M Pellauer, M Martonosi
Proceedings of the 42nd Annual International Symposium on Computer …, 2015
502015
RecShard: statistical feature-based memory optimization for industry-scale neural recommendation
G Sethi, B Acun, N Agarwal, C Kozyrakis, C Trippel, CJ Wu
Proceedings of the 27th ACM International Conference on Architectural …, 2022
402022
Opening pandora’s box: A systematic study of new ways microarchitecture can leak private data
JRS Vicarte, P Shome, N Nayak, C Trippel, A Morrison, D Kohlbrenner, ...
2021 ACM/IEEE 48th Annual International Symposium on Computer Architecture …, 2021
392021
Security verification via automatic hardware-aware exploit synthesis: The CheckMate approach
C Trippel, D Lustig, M Martonosi
IEEE Micro 39 (3), 84-93, 2019
312019
Porcupine: A synthesizing compiler for vectorized homomorphic encryption
M Cowan, D Dangwal, A Alaghi, C Trippel, VT Lee, B Reagen
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
302021
Axiomatic hardware-software contracts for security
N Mosier, H Lachnitt, H Nemati, C Trippel
Proceedings of the 49th Annual International Symposium on Computer …, 2022
292022
Counterexamples and proof loophole for the C/C++ to POWER and ARMv7 trailing-sync compiler mappings
YA Manerkar, C Trippel, D Lustig, M Pellauer, M Martonosi
arXiv preprint arXiv:1611.01507, 2016
292016
Understanding and improving failure tolerant training for deep learning recommendation with partial recovery
K Maeng, S Bharuka, I Gao, M Jeffrey, V Saraph, BY Su, C Trippel, J Yang, ...
Proceedings of Machine Learning and Systems 3, 637-651, 2021
192021
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
M Cosler, C Hahn, D Mendoza, F Schmitt, C Trippel
International Conference on Computer Aided Verification, 383-396, 2023
172023
ILA-MCM: integrating memory consistency models with instruction-level abstractions for heterogeneous system-on-chip verification
H Zhang, C Trippel, YA Manerkar, A Gupta, M Martonosi, S Malik
2018 Formal Methods in Computer Aided Design (FMCAD), 1-10, 2018
172018
Synthesizing formal models of hardware from RTL for efficient verification of memory model implementations
Y Hsiao, DP Mulligan, N Nikoleris, G Petri, C Trippel
MICRO-54: 54th Annual IEEE/ACM International Symposium on Microarchitecture …, 2021
142021
Analysis and mitigations of reverse engineering attacks on local feature descriptors
D Dangwal, VT Lee, HJ Kim, T Shen, M Cowan, R Shah, C Trippel, ...
arXiv preprint arXiv:2105.03812, 2021
92021
Towards improving verification productivity with circuit-aware translation of natural language to systemverilog assertions
C Sun, C Hahn, C Trippel
First International Workshop on Deep Learning-aided Verification, 2023
52023
Full-stack memory model verification with tricheck
C Trippel, YA Manerkar, D Lustig, M Pellauer, M Martonosi
IEEE Micro 38 (3), 58-68, 2018
52018
CheckMate: Automated exploit program generation for hardware security verification
C Trippel, D Lustig, M Martonosi
Proc. 51st Int. Symp. Microarchit, 2018
52018
Transform: Formally specifying transistency models and synthesizing enhanced litmus tests
N Hossain, C Trippel, M Martonosi
2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture …, 2020
42020
The system can't perform the operation now. Try again later.
Articles 1–20