-
MICRO '21
"Synthesizing Formal Models of Hardware from RTL for Efficient Verification of Memory Model Implementations".
Yao Hsiao, Dominic P. Mulligan, Nikos Nikoleris, Gustavo Petri, and Caroline Trippel.
In Proceedings of the 54th International Symposium on Microarchitecture (MICRO), October 2021.
FMCAD '21
"Scaling Up Hardware Accelerator Verification using \aqed with Functional Decomposition".
Saranyu Chattopadhyayi, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei, Xiaofan Zhang, Yuan Zhou, Luca Carloni, Deming Chen,
Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark Barrett, and Subhasish Mitra.
In Proceedings of the 2021 Conference on Formal Methods in Computer Aided Design (FMCAD),
October 2021.
PLDI '21
"Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption".
Meghan Cowan, Deeksha Dangwal, Armin Alaghi, Caroline Trippel, Vincent T. Lee, and Brandon Reagen.
In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI),
June 2021.
ISCA '21
Jose Rodrigo Sanchez Vicarte, Pradyumna Shome, Nandeeka Nayak, Caroline Trippel, Adam Morrison,
David Kohlbrenner, Christopher W. Fletcher. “Opening Pandora’s Box: A Systematic Study of New Ways
Microarchitecture Can Leak Private Data”. In Proceedings of the 48th ACM/IEEE International Symposium
on Computer Architecture (ISCA), June 2021.
ASPLOS '21
"RecSSD: Near Data Processing for Solid State Drive Based Recommendation Inference Extended Abstract".
Mark Wilkening, Udit Gupta, Samuel Hsia, Caroline Trippel, Carole-Jean Wu, David Brooks, and Gu-Yeon Wei.
In Proceedings of the 26th International Conference on Architectural Support for
Programming Languages and Operating Systems (ASPLOS), April 2021.
MLSys '21
"Understanding and Improving Failure Tolerant Training for Deep Learning Recommendation with Partial Recovery".
Kiwan Maeng, Shivam Bharuka, Isabel Gao, Mark Jeffrey, Vikram Saraph, Bor-Yiing Su, Caroline Trippel, Jiyan Yang, Mike Rabbat, Brandon Lucia, and Carole-Jean Wu.
In Proceedings of the 3rd Conference on Machine Learning and Systems (MLSys), April 2021.
ISCA '20
"TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests".
Naorin Hossain, Caroline Trippel, and Margaret Martonosi.
In Proceedings of the 47th International Symposium on Computer Architecture (ISCA), June 2020.
Princeton University '19
"Concurrency and Security Verification in Heterogeneous Parallel Systems".
Caroline Trippel.
PhD Dissertation. Princeton University. November 2019.
TOP PICKS '19
"Security Verification through Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach".
Caroline Trippel, Daniel Lustig, and Margaret Martonosi.
IEEE Micro, 39 (3), May-June 2019.
Issue: Top Picks from the Computer Architecture Conferences of 2018.
FMCAD '18
"ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification".
Hongce Zhang, Caroline Trippel, Yatin A. Manerkar, Aarti Gupta, Margaret Maronosi, Sharad Malik.
In Proceedings of the 2018 Conference on Formal Methods in Computer Aided Design (FMCAD), October-November 2018.
MICRO '18
"CheckMate: Automated Exploit Program Generation for Hardware Security Verification".
Caroline Trippel, Daniel Lustig, and Margaret Martonosi.
In Proceedings of the 51st International Symposium on Microarchitecture (MICRO), October 2018.
ARXIV '18
"MeltdownPrime and SpectrePrime: Automatically-Synthesized Attacks Exploiting Invalidation-Based Coherence Protocols".
Caroline Trippel, Daniel Lustig, and Margaret Martonosi.
CoRR, abs/1802.03802, 2018.
TOP PICKS '18
"Full-Stack Memory Model Verification with TriCheck".
Caroline Trippel, Yatin Manerkar, Daniel Lustig, Michael Pellauer, and Margaret Martonosi.
IEEE Micro, 38 (3), May-June 2018.
Issue: Top Picks from the Computer Architecture Conferences of 2017.
ASPLOS '17
"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 22nd International Conference on Architectural Support for
Programming Languages and Operating Systems (ASPLOS), April 2017.
ARXIV '16
"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.
ISCA '15
"ArMOR: Defending Against Consistency Model Mismatches in Heterogeneous Architectures".
Daniel Lustig, Caroline Trippel, Michael Pellauer, and Margaret Martonosi.
In Proceedings of the 42nd International Symposium on Computer Architecture (ISCA), June 2015.