ArMOR: defending against memory consistency model mismatches in heterogeneous architectures. - Daniel Lustig; Caroline Trippel; Michael Pellauer; Margaret Martonosi (ISCA, 2015)

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

Exploring the Trisection of Software, Hardware, and ISA in Memory Model Design. - Caroline Trippel; Yatin A. Manerkar; Daniel Lustig; Michael Pellauer; Margaret Martonosi (CoRR, 2016)

TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA. - Caroline Trippel; Yatin A. Manerkar; Daniel Lustig; Michael Pellauer; Margaret Martonosi (ASPLOS, 2017)

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 Martonosi; Sharad Malik (FMCAD, 2018)

CheckMate: Automated Synthesis of Hardware Exploits and Security Litmus Tests. - Caroline Trippel; Daniel Lustig; Margaret Martonosi (MICRO, 2018)

MeltdownPrime and SpectrePrime: Automatically-Synthesized Attacks Exploiting Invalidation-Based Coherence Protocols. - Caroline Trippel; Daniel Lustig; Margaret Martonosi (CoRR, 2018)

Full-Stack Memory Model Verification with TriCheck. - Caroline Trippel; Yatin A. Manerkar; Daniel Lustig; Michael Pellauer; Margaret Martonosi (IEEE Micro, 2018)

Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach. - Caroline Trippel; Daniel Lustig; Margaret Martonosi (IEEE Micro, 2019)

Concurrency and Security Verification in Heterogeneous Parallel Systems - Caroline Trippel (2019)

TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests. - Naorin Hossain; Caroline Trippel; Margaret Martonosi (ISCA, 2020)

SoK: Opportunities for Software-Hardware-Security Codesign for Next Generation Secure Computing. - Deeksha Dangwal; Meghan Cowan; Armin Alaghi; Vincent T. Lee; Brandon Reagen; Caroline Trippel (HASP@MICRO, 2020)

CPR: Understanding and Improving Failure Tolerant Training for Deep Learning Recommendation with Partial Recovery. - Kiwan Maeng; Shivam Bharuka; Isabel Gao; Mark C. Jeffrey; Vikram Saraph; Bor-Yiing Su; Caroline Trippel; Jiyan Yang; Mike Rabbat; Brandon Lucia; Carole-Jean Wu (CoRR, 2020)

RecSSD: near data processing for solid state drive based recommendation inference. - Mark Wilkening; Udit Gupta; Samuel Hsia; Caroline Trippel; Carole-Jean Wu; David Brooks 001; Gu-Yeon Wei (ASPLOS, 2021)

Mitigating Reverse Engineering Attacks on Local Feature Descriptors. - Deeksha Dangwal; Vincent T. Lee; Hyo Jin Kim 004; Tianwei Shen; Meghan Cowan; Rajvi Shah; Caroline Trippel; Brandon Reagen; Timothy Sherwood; Vasileios Balntas; Armin Alaghi; Eddy Ilg (BMVC, 2021)

Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition. - Saranyu Chattopadhyay; Florian Lonsing; Luca Piccolboni; Deepraj Soni; Peng Wei 004; Xiaofan Zhang 001; Yuan Zhou; Luca P. Carloni; Deming Chen; Jason Cong; Ramesh Karri; Zhiru Zhang; et al. (FMCAD, 2021)

Opening Pandora's Box: A Systematic Study of New Ways Microarchitecture Can Leak Private Data. - Jose Rodrigo Sanchez Vicarte; Pradyumna Shome; Nandeeka Nayak; Caroline Trippel; Adam Morrison 001; David Kohlbrenner; Christopher W. Fletcher (ISCA, 2021)

Synthesizing Formal Models of Hardware from RTL for Efficient Verification of Memory Model Implementations. - Yao Hsiao; Dominic P. Mulligan; Nikos Nikoleris; Gustavo Petri; Caroline Trippel (MICRO, 2021)

Understanding and Improving Failure Tolerant Training for Deep Learning Recommendation with Partial Recovery. - Kiwan Maeng; Shivam Bharuka; Isabel Gao; Mark C. Jeffrey; Vikram Saraph; Bor-Yiing Su; Caroline Trippel; Jiyan Yang; Mike Rabbat; Brandon Lucia; Carole-Jean Wu (MLSys, 2021)

Porcupine: a synthesizing compiler for vectorized homomorphic encryption. - Meghan Cowan; Deeksha Dangwal; Armin Alaghi; Caroline Trippel; Vincent T. Lee; Brandon Reagen (PLDI, 2021)

Analysis and Mitigations of Reverse Engineering Attacks on Local Feature Descriptors. - Deeksha Dangwal; Vincent T. Lee; Hyo Jin Kim 004; Tianwei Shen; Meghan Cowan; Rajvi Shah; Caroline Trippel; Brandon Reagen; Timothy Sherwood; Vasileios Balntas; Armin Alaghi; Eddy Ilg (CoRR, 2021)

Relational Models of Microarchitectures for Formal Security Analyses. - Nicholas Mosier; Hanna Lachnitt; Hamed Nemati; Caroline Trippel (CoRR, 2021)

RecShard: statistical feature-based memory optimization for industry-scale neural recommendation. - Geet Sethi; Bilge Acun; Niket Agarwal; Christos Kozyrakis; Caroline Trippel; Carole-Jean Wu (ASPLOS, 2022)

Axiomatic hardware-software contracts for security. - Nicholas Mosier; Hanna Lachnitt; Hamed Nemati; Caroline Trippel (ISCA, 2022)

Dynamic Network Adaptation at Inference. - Daniel Mendoza; Caroline Trippel (CoRR, 2022)

nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. - Matthias Cosler; Christopher Hahn; Daniel Mendoza; Frederik Schmitt; Caroline Trippel (CAV (2), 2023)

G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators. - Saranyu Chattopadhyay; Keerthikumara Devarajegowda; Bihan Zhao; Florian Lonsing; Brandon A. D'Agostino; Ioanna Vavelidou; Vijay Deep Bhatt; Sebastian Prebeck; Wolfgang Ecker; Caroline Trippel; Clark W. Barrett; Subhasish Mitra (DAC, 2023)

Model Selection for Latency-Critical Inference Serving. - Daniel Mendoza; Francisco Romero; Caroline Trippel (EuroSys, 2024)

Memory Consistency Model-Aware Cache Coherence for Heterogeneous Hardware. - Rachel Cleaveland; Caroline Trippel (FMCAD, 2024)

Translating Natural Language to Temporal Logics with Large Language Models and Model Checkers. - Daniel Mendoza; Christopher Hahn; Caroline Trippel (FMCAD, 2024)

RTL2MμPATH: Multi-μPATH Synthesis with Applications to Hardware Security Verification. - Yao Hsiao; Nikos Nikoleris; Artem Khyzha; Dominic P. Mulligan; Gustavo Petri; Christopher W. Fletcher; Caroline Trippel (MICRO, 2024)

Serberus: Protecting Cryptographic Code from Spectres at Compile-Time. - Nicholas Mosier; Hamed Nemati; John C. Mitchell; Caroline Trippel (SP, 2024)

NL2FOL: Translating Natural Language to First-Order Logic for Logical Fallacy Detection. - Abhinav Lalwani; Lovish Chopra; Christopher Hahn; Caroline Trippel; Zhijing Jin 001; Mrinmaya Sachan (CoRR, 2024)

Towards Memory Specialization: A Case for Long-Term and Short-Term RAM. - Peijing Li; Muhammad Shahir Abdurrahman; Rachel Cleaveland; Sergey Legtchenko; Philip Levis; Ioan A. Stefanovici; Thierry Tambe; David Tennenhouse; Caroline Trippel; H.-S. Philip Wong (DIMES@SOSP, 2025)

Analyzing and Exploiting Branch Mispredictions in Microcode. - Nicholas Mosier; Hamed Nemati; John C. Mitchell; Caroline Trippel (CoRR, 2025)

VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation. - Anjiang Wei; Huanmi Tan; Tarun Suresh; Daniel Mendoza; Thiago S. F. X. Teixeira; Ke Wang; Caroline Trippel; Alex Aiken (CoRR, 2025)

Specification and Formal Verification of Hardware-Software Contracts for High-Assurance Computer Architectures. - Caroline Trippel (Computer, 2025)

Towards Memory Specialization: A Case for Long-Term and Short-Term RAM. - Peijing Li; Muhammad Shahir Abdurrahman; Rachel Cleaveland; Sergey Legtchenko; Philip Levis; Ioan A. Stefanovici; Thierry Tambe; David Tennenhouse; Caroline Trippel (CoRR, 2025)