Caroline Trippel

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 35

Top Topics

Natural Language

Reverse Engineer

Functional Decomposition

Top Venues

Publications

Daniel Mendoza, Francisco Romero, Caroline Trippel
Model Selection for Latency-Critical Inference Serving. EuroSys (2024)
Abhinav Lalwani, Lovish Chopra, Christopher Hahn, Caroline Trippel, Zhijing Jin, Mrinmaya Sachan
NL2FOL: Translating Natural Language to First-Order Logic for Logical Fallacy Detection. CoRR (2024)
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
G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators. DAC (2023)
Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. CoRR (2023)
Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. CAV (2) (2023)
Nicholas Mosier, Hamed Nemati, John C. Mitchell, Caroline Trippel
Serberus: Protecting Cryptographic Code from Spectres at Compile-Time. CoRR (2023)
Geet Sethi, Bilge Acun, Niket Agarwal, Christos Kozyrakis, Caroline Trippel, Carole-Jean Wu
RecShard: statistical feature-based memory optimization for industry-scale neural recommendation. ASPLOS (2022)
Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel
Axiomatic hardware-software contracts for security. ISCA (2022)
Daniel Mendoza, Caroline Trippel
Dynamic Network Adaptation at Inference. CoRR (2022)
Geet Sethi, Bilge Acun, Niket Agarwal, Christos Kozyrakis, Caroline Trippel, Carole-Jean Wu
RecShard: Statistical Feature-Based Memory Optimization for Industry-Scale Neural Recommendation. CoRR (2022)
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
Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition. FMCAD (2021)
Mark Wilkening, Udit Gupta, Samuel Hsia, Caroline Trippel, Carole-Jean Wu, David Brooks, Gu-Yeon Wei
RecSSD: near data processing for solid state drive based recommendation inference. ASPLOS (2021)
Meghan Cowan, Deeksha Dangwal, Armin Alaghi, Caroline Trippel, Vincent T. Lee, Brandon Reagen
Porcupine: a synthesizing compiler for vectorized homomorphic encryption. PLDI (2021)
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. ISCA (2021)
Mark Wilkening, Udit Gupta, Samuel Hsia, Caroline Trippel, Carole-Jean Wu, David Brooks, Gu-Yeon Wei
RecSSD: Near Data Processing for Solid State Drive Based Recommendation Inference. CoRR (2021)
Deeksha Dangwal, Meghan Cowan, Armin Alaghi, Vincent T. Lee, Brandon Reagen, Caroline Trippel
SoK: Opportunities for Software-Hardware-Security Codesign for Next Generation Secure Computing. CoRR (2021)
Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel
Relational Models of Microarchitectures for Formal Security Analyses. CoRR (2021)
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
Understanding and Improving Failure Tolerant Training for Deep Learning Recommendation with Partial Recovery. MLSys (2021)
Yao Hsiao, Dominic P. Mulligan, Nikos Nikoleris, Gustavo Petri, Caroline Trippel
Synthesizing Formal Models of Hardware from RTL for Efficient Verification of Memory Model Implementations. MICRO (2021)
Meghan Cowan, Deeksha Dangwal, Armin Alaghi, Caroline Trippel, Vincent T. Lee, Brandon Reagen
Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption. CoRR (2021)
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
Mitigating Reverse Engineering Attacks on Local Feature Descriptors. BMVC (2021)
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
Analysis and Mitigations of Reverse Engineering Attacks on Local Feature Descriptors. CoRR (2021)
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
Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition. CoRR (2021)
Deeksha Dangwal, Meghan Cowan, Armin Alaghi, Vincent T. Lee, Brandon Reagen, Caroline Trippel
SoK: Opportunities for Software-Hardware-Security Codesign for Next Generation Secure Computing. HASP@MICRO (2020)
Naorin Hossain, Caroline Trippel, Margaret Martonosi
TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests. CoRR (2020)
Naorin Hossain, Caroline Trippel, Margaret Martonosi
TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests. ISCA (2020)
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
CPR: Understanding and Improving Failure Tolerant Training for Deep Learning Recommendation with Partial Recovery. CoRR (2020)
Caroline Trippel, Daniel Lustig, Margaret Martonosi
Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach. IEEE Micro 39 (3) (2019)
Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi
Full-Stack Memory Model Verification with TriCheck. IEEE Micro 38 (3) (2018)
Caroline Trippel, Daniel Lustig, Margaret Martonosi
CheckMate: Automated Synthesis of Hardware Exploits and Security Litmus Tests. MICRO (2018)
Hongce Zhang, Caroline Trippel, Yatin A. Manerkar, Aarti Gupta, Margaret Martonosi, Sharad Malik
ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification. FMCAD (2018)
Caroline Trippel, Daniel Lustig, Margaret Martonosi
MeltdownPrime and SpectrePrime: Automatically-Synthesized Attacks Exploiting Invalidation-Based Coherence Protocols. CoRR (2018)
Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi
TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA. ASPLOS (2017)
Yatin A. Manerkar, Caroline Trippel, Daniel Lustig, Michael Pellauer, Margaret Martonosi
Counterexamples and Proof Loophole for the C/C++ to POWER and ARMv7 Trailing-Sync Compiler Mappings. CoRR (2016)
Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi
Exploring the Trisection of Software, Hardware, and ISA in Memory Model Design. CoRR (2016)
Daniel Lustig, Caroline Trippel, Michael Pellauer, Margaret Martonosi
ArMOR: defending against memory consistency model mismatches in heterogeneous architectures. ISCA (2015)