Caroline Trippel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
11
Active years
2015–2026
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPLOS | CounterPoint: Using Hardware Event Counters to Refute and Refine Microarchitectural Assumptions. | Nick Lindsay, Caroline Trippel, Anurag Khandelwal, Abhishek Bhattacharjee |
| 2026 | HPCA | Protean: A Programmable Spectre Defense. | Nicholas Mosier, Hamed Nemati, John C. Mitchell, Caroline Trippel |
| 2026 | ISCA | Helium: Quantifying Microarchitectural Side-Channel Leakage with Probabilistic Guarantees. | Samantha Archer, Mohammad Rahmani Fadiheh, Caroline Trippel |
| 2024 | EuroSys | Model Selection for Latency-Critical Inference Serving. | Daniel Mendoza, Francisco Romero, Caroline Trippel |
| 2024 | FMCAD | Memory Consistency Model-Aware Cache Coherence for Heterogeneous Hardware. | Rachel Cleaveland, Caroline Trippel |
| 2024 | FMCAD | Translating Natural Language to Temporal Logics with Large Language Models and Model Checkers. | Daniel Mendoza, Christopher Hahn, Caroline Trippel |
| 2024 | MICRO | 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 |
| 2024 | SP | Serberus: Protecting Cryptographic Code from Spectres at Compile-Time. | Nicholas Mosier, Hamed Nemati, John C. Mitchell, Caroline Trippel |
| 2023 | CAV | nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. | Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel |
| 2023 | DAC | 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 |
| 2022 | ASPLOS | RecShard: statistical feature-based memory optimization for industry-scale neural recommendation. | Geet Sethi, Bilge Acun, Niket Agarwal, Christos Kozyrakis, Caroline Trippel, Carole-Jean Wu |
| 2022 | ISCA | Axiomatic hardware-software contracts for security. | Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel |
| 2021 | ASPLOS | RecSSD: near data processing for solid state drive based recommendation inference. | Mark Wilkening, Udit Gupta, Samuel Hsia, Caroline Trippel, Carole-Jean Wu, David Brooks, Gu-Yeon Wei |
| 2021 | BMVC | Mitigating Reverse Engineering Attacks on Local Feature Descriptors. | 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 | FMCAD | Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition. | 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 | ISCA | 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, David Kohlbrenner, Christopher W. Fletcher |
| 2021 | MICRO | 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 |
| 2021 | PLDI | Porcupine: a synthesizing compiler for vectorized homomorphic encryption. | Meghan Cowan, Deeksha Dangwal, Armin Alaghi, Caroline Trippel, Vincent T. Lee, Brandon Reagen |
| 2020 | ISCA | TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests. | Naorin Hossain, Caroline Trippel, Margaret Martonosi |
| 2020 | MICRO | 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 |
| 2018 | FMCAD | 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 |
| 2018 | MICRO | CheckMate: Automated Synthesis of Hardware Exploits and Security Litmus Tests. | Caroline Trippel, Daniel Lustig, Margaret Martonosi |
| 2017 | ASPLOS | TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA. | Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi |
| 2015 | ISCA | ArMOR: defending against memory consistency model mismatches in heterogeneous architectures. | Daniel Lustig, Caroline Trippel, Michael Pellauer, Margaret Martonosi |