Caroline Trippel

According to our database, Caroline Trippel authored at least 31 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

CoRR, 2024

NL2FOL: Translating Natural Language to First-Order Logic for Logical Fallacy Detection.

Abhinav Lalwani, Lovish Chopra, Christopher Hahn, Caroline Trippel, Zhijing Jin, Mrinmaya Sachan

CoRR, 2024

Serberus: Protecting Cryptographic Code from Spectres at Compile-Time.

Nicholas Mosier, Hamed Nemati, John C. Mitchell, Caroline Trippel

Proceedings of the IEEE Symposium on Security and Privacy, 2024

Model Selection for Latency-Critical Inference Serving.

Daniel Mendoza, Francisco Romero, Caroline Trippel

Proceedings of the Nineteenth European Conference on Computer Systems, 2024

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

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models.

Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Dynamic Network Adaptation at Inference.

Daniel Mendoza, Caroline Trippel

CoRR, 2022

Axiomatic hardware-software contracts for security.

Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel

Proceedings of the ISCA '22: The 49th Annual International Symposium on Computer Architecture, New York, New York, USA, June 18, 2022

RecShard: statistical feature-based memory optimization for industry-scale neural recommendation.

Geet Sethi, Bilge Acun, Niket Agarwal, Christos Kozyrakis, Caroline Trippel, Carole-Jean Wu

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2021

Relational Models of Microarchitectures for Formal Security Analyses.

Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel

CoRR, 2021

Analysis and Mitigations of 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

CoRR, 2021

Porcupine: a synthesizing compiler for vectorized homomorphic encryption.

Meghan Cowan, Deeksha Dangwal, Armin Alaghi, Caroline Trippel, Vincent T. Lee, Brandon Reagen

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 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

Proceedings of the Fourth Conference on Machine Learning and Systems, 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

Proceedings of the MICRO '21: 54th Annual IEEE/ACM International Symposium on Microarchitecture, 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, David Kohlbrenner, Christopher W. Fletcher

Proceedings of the 48th ACM/IEEE Annual International Symposium on Computer Architecture, 2021

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

Proceedings of the Formal Methods in Computer Aided Design, 2021

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

Proceedings of the 32nd British Machine Vision Conference 2021, 2021

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

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

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

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

Proceedings of the HASP@MICRO 2020: Hardware and Architectural Support for Security and Privacy, 2020

TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests.

Naorin Hossain, Caroline Trippel, Margaret Martonosi

Proceedings of the 47th ACM/IEEE Annual International Symposium on Computer Architecture, 2020

2019

Concurrency and Security Verification in Heterogeneous Parallel Systems

Caroline Trippel

PhD thesis, 2019

Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach.

Caroline Trippel, Daniel Lustig, Margaret Martonosi

IEEE Micro, 2019

2018

Full-Stack Memory Model Verification with TriCheck.

Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi

IEEE Micro, 2018

MeltdownPrime and SpectrePrime: Automatically-Synthesized Attacks Exploiting Invalidation-Based Coherence Protocols.

Caroline Trippel, Daniel Lustig, Margaret Martonosi

CoRR, 2018

CheckMate: Automated Synthesis of Hardware Exploits and Security Litmus Tests.

Caroline Trippel, Daniel Lustig, Margaret Martonosi

Proceedings of the 51st Annual IEEE/ACM International Symposium on Microarchitecture, 2018

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

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA.

Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

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

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

2015

ArMOR: defending against memory consistency model mismatches in heterogeneous architectures.

Daniel Lustig, Caroline Trippel, Michael Pellauer, Margaret Martonosi

Proceedings of the 42nd Annual International Symposium on Computer Architecture, 2015