Caroline Trippel

51 papers A* 14A 2B 4Journal 25Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
CounterPoint: Using Hardware Event Counters to Refute and Refine Microarchitectural Assumptions (Extended Version).
CoRR
Nick Lindsay, Caroline Trippel, Anurag Khandelwal, Abhishek Bhattacharjee
2026 — conf
CounterPoint: Using Hardware Event Counters to Refute and Refine Microarchitectural Assumptions.
ASPLOS (2)
Nick Lindsay, Caroline Trippel, Anurag Khandelwal, Abhishek Bhattacharjee
2026 J jnl
LLM-FSM: Scaling Large Language Models for Finite-State Reasoning in RTL Code Generation.
CoRR
Yuheng Wu, Berk Gokmen, Zhouhua Xie, Peijing Li, Caroline Trippel, Priyanka Raina, Thierry Tambe
2026 A* conf
Protean: A Programmable Spectre Defense.
HPCA
Nicholas Mosier, Hamed Nemati, John C. Mitchell, Caroline Trippel
2025 J jnl
Analyzing and Exploiting Branch Mispredictions in Microcode.
CoRR
Nicholas Mosier, Hamed Nemati, John C. Mitchell, Caroline Trippel
2025 J jnl
Specification and Formal Verification of Hardware-Software Contracts for High-Assurance Computer Architectures.
Computer
Caroline Trippel
2025 — conf
Towards Memory Specialization: A Case for Long-Term and Short-Term RAM.
DIMES@SOSP
Peijing Li, Muhammad Shahir Abdurrahman, Rachel Cleaveland, Sergey Legtchenko, Philip Levis, Ioan A. Stefanovici, Thierry Tambe, David Tennenhouse, Caroline Trippel, H.-S. Philip Wong
2025 J jnl
Towards Memory Specialization: A Case for Long-Term and Short-Term RAM.
CoRR
Peijing Li, Muhammad Shahir Abdurrahman, Rachel Cleaveland, Sergey Legtchenko, Philip Levis, Ioan A. Stefanovici, Thierry Tambe, David Tennenhouse, Caroline Trippel
2025 J jnl
VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation.
CoRR
Anjiang Wei, Huanmi Tan, Tarun Suresh, Daniel Mendoza, Thiago S. F. X. Teixeira, Ke Wang, Caroline Trippel, Alex Aiken
2024 B conf
Memory Consistency Model-Aware Cache Coherence for Heterogeneous Hardware.
FMCAD
Rachel Cleaveland, Caroline Trippel
2024 A conf
Model Selection for Latency-Critical Inference Serving.
EuroSys
Daniel Mendoza, Francisco Romero, Caroline Trippel
2024 J jnl
NL2FOL: Translating Natural Language to First-Order Logic for Logical Fallacy Detection.
CoRR
Abhinav Lalwani, Lovish Chopra, Christopher Hahn, Caroline Trippel, Zhijing Jin, Mrinmaya Sachan
2024 A* conf
RTL2MμPATH: Multi-μPATH Synthesis with Applications to Hardware Security Verification.
MICRO
Yao Hsiao, Nikos Nikoleris, Artem Khyzha, Dominic P. Mulligan, Gustavo Petri, Christopher W. Fletcher, Caroline Trippel
2024 J jnl
RTL2MμPATH: Multi-μPATH Synthesis with Applications to Hardware Security Verification.
CoRR
Yao Hsiao, Nikos Nikoleris, Artem Khyzha, Dominic P. Mulligan, Gustavo Petri, Christopher W. Fletcher, Caroline Trippel
2024 A* conf
Serberus: Protecting Cryptographic Code from Spectres at Compile-Time.
SP
Nicholas Mosier, Hamed Nemati, John C. Mitchell, Caroline Trippel
2024 B conf
Translating Natural Language to Temporal Logics with Large Language Models and Model Checkers.
FMCAD
Daniel Mendoza, Christopher Hahn, Caroline Trippel
2023 A* conf
G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators.
DAC
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
2023 J jnl
Serberus: Protecting Cryptographic Code from Spectres at Compile-Time.
CoRR
Nicholas Mosier, Hamed Nemati, John C. Mitchell, Caroline Trippel
2023 — conf
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models.
CAV (2)
Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel
2023 J jnl
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models.
CoRR
Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel
2022 A* conf
Axiomatic hardware-software contracts for security.
ISCA
Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel
2022 J jnl
Dynamic Network Adaptation at Inference.
CoRR
Daniel Mendoza, Caroline Trippel
2022 J jnl
RecShard: Statistical Feature-Based Memory Optimization for Industry-Scale Neural Recommendation.
CoRR
Geet Sethi, Bilge Acun, Niket Agarwal, Christos Kozyrakis, Caroline Trippel, Carole-Jean Wu
2022 A* conf
RecShard: statistical feature-based memory optimization for industry-scale neural recommendation.
ASPLOS
Geet Sethi, Bilge Acun, Niket Agarwal, Christos Kozyrakis, Caroline Trippel, Carole-Jean Wu
2021 J jnl
Analysis and Mitigations of Reverse Engineering Attacks on Local Feature Descriptors.
CoRR
Deeksha Dangwal, Vincent T. Lee, Hyo Jin Kim, Tianwei Shen, Meghan Cowan, Rajvi Shah, Caroline Trippel, Brandon Reagen, Timothy Sherwood, Vasileios Balntas, Armin Alaghi, Eddy Ilg
2021 A conf
Mitigating Reverse Engineering Attacks on Local Feature Descriptors.
BMVC
Deeksha Dangwal, Vincent T. Lee, Hyo Jin Kim, Tianwei Shen, Meghan Cowan, Rajvi Shah, Caroline Trippel, Brandon Reagen, Timothy Sherwood, Vasileios Balntas, Armin Alaghi, Eddy Ilg
2021 A* conf
Opening Pandora's Box: A Systematic Study of New Ways Microarchitecture Can Leak Private Data.
ISCA
Jose Rodrigo Sanchez Vicarte, Pradyumna Shome, Nandeeka Nayak, Caroline Trippel, Adam Morrison, David Kohlbrenner, Christopher W. Fletcher
2021 J jnl
Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption.
CoRR
Meghan Cowan, Deeksha Dangwal, Armin Alaghi, Caroline Trippel, Vincent T. Lee, Brandon Reagen
2021 A* conf
Porcupine: a synthesizing compiler for vectorized homomorphic encryption.
PLDI
Meghan Cowan, Deeksha Dangwal, Armin Alaghi, Caroline Trippel, Vincent T. Lee, Brandon Reagen
2021 J jnl
RecSSD: Near Data Processing for Solid State Drive Based Recommendation Inference.
CoRR
Mark Wilkening, Udit Gupta, Samuel Hsia, Caroline Trippel, Carole-Jean Wu, David Brooks, Gu-Yeon Wei
2021 A* conf
RecSSD: near data processing for solid state drive based recommendation inference.
ASPLOS
Mark Wilkening, Udit Gupta, Samuel Hsia, Caroline Trippel, Carole-Jean Wu, David Brooks, Gu-Yeon Wei
2021 J jnl
Relational Models of Microarchitectures for Formal Security Analyses.
CoRR
Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel
2021 B conf
Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition.
FMCAD
Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei, Xiaofan Zhang, Yuan Zhou, Luca P. Carloni, Deming Chen, Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark W. Barrett, Subhasish Mitra
2021 J jnl
Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition.
CoRR
Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei, Xiaofan Zhang, Yuan Zhou, Luca P. Carloni, Deming Chen, Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark W. Barrett, Subhasish Mitra
2021 J jnl
SoK: Opportunities for Software-Hardware-Security Codesign for Next Generation Secure Computing.
CoRR
Deeksha Dangwal, Meghan Cowan, Armin Alaghi, Vincent T. Lee, Brandon Reagen, Caroline Trippel
2021 A* conf
Synthesizing Formal Models of Hardware from RTL for Efficient Verification of Memory Model Implementations.
MICRO
Yao Hsiao, Dominic P. Mulligan, Nikos Nikoleris, Gustavo Petri, Caroline Trippel
2021 — conf
Understanding and Improving Failure Tolerant Training for Deep Learning Recommendation with Partial Recovery.
MLSys
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
2020 J jnl
CPR: Understanding and Improving Failure Tolerant Training for Deep Learning Recommendation with Partial Recovery.
CoRR
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
2020 — conf
SoK: Opportunities for Software-Hardware-Security Codesign for Next Generation Secure Computing.
HASP@MICRO
Deeksha Dangwal, Meghan Cowan, Armin Alaghi, Vincent T. Lee, Brandon Reagen, Caroline Trippel
2020 A* conf
TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests.
ISCA
Naorin Hossain, Caroline Trippel, Margaret Martonosi
2020 J jnl
TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests.
CoRR
Naorin Hossain, Caroline Trippel, Margaret Martonosi
2019 — —
Concurrency and Security Verification in Heterogeneous Parallel Systems
Caroline Trippel
2019 J jnl
Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach.
IEEE Micro
Caroline Trippel, Daniel Lustig, Margaret Martonosi
2018 A* conf
CheckMate: Automated Synthesis of Hardware Exploits and Security Litmus Tests.
MICRO
Caroline Trippel, Daniel Lustig, Margaret Martonosi
2018 J jnl
Full-Stack Memory Model Verification with TriCheck.
IEEE Micro
Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi
2018 B conf
ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification.
FMCAD
Hongce Zhang, Caroline Trippel, Yatin A. Manerkar, Aarti Gupta, Margaret Martonosi, Sharad Malik
2018 J jnl
MeltdownPrime and SpectrePrime: Automatically-Synthesized Attacks Exploiting Invalidation-Based Coherence Protocols.
CoRR
Caroline Trippel, Daniel Lustig, Margaret Martonosi
2017 A* conf
TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA.
ASPLOS
Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi
2016 J jnl
Counterexamples and Proof Loophole for the C/C++ to POWER and ARMv7 Trailing-Sync Compiler Mappings.
CoRR
Yatin A. Manerkar, Caroline Trippel, Daniel Lustig, Michael Pellauer, Margaret Martonosi
2016 J jnl
Exploring the Trisection of Software, Hardware, and ISA in Memory Model Design.
CoRR
Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi
2015 A* conf
ArMOR: defending against memory consistency model mismatches in heterogeneous architectures.
ISCA
Daniel Lustig, Caroline Trippel, Michael Pellauer, Margaret Martonosi