Caroline Trippel

1. MeltdownPrime and SpectrePrime: Automatically-Synthesized Attacks Exploiting Invalidation-Based Coherence Protocols
   2018/02/11 by Caroline Trippel, Daniel Lustig, Trippel, Caroline +3 · 8 voices · 5 citations
   Computer Science · Engineering · #Security and Verification in Computing #Radiation Effects in Electronics #Semiconductor materials and devices
2. nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
   2023/03/08 by Matthias Cosler, Cosler, Matthias, Christopher Hahn +7 · 19 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
3. Analyzing and Exploiting Branch Mispredictions in Microcode
   2025/01/22 by Nicholas Mosier, Mosier, Nicholas, Hamed Nemati +5 · 3 voices · 1 citation
   Computer Science · #Cryptography and Security (cs.CR) #Evolutionary Algorithms and Applications #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning and Data Classification #cs.AR #cs.CR
4. RecSSD: Near Data Processing for Solid State Drive Based Recommendation Inference
   2021/01/29 by Mark Wilkening, Udit Gupta, Wilkening, Mark +11 · 5 citations
   Computer Science · #Advanced Data Storage Technologies #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG) #Parallel Computing and Optimization Techniques #Stochastic Gradient Optimization Techniques
5. Serberus: Protecting Cryptographic Code from Spectres at Compile-Time
   2023/09/11 by Nicholas Mosier, Hamed Nemati, Mosier, Nicholas +5 · 5 citations
   Computer Science · Engineering · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Physical Unclonable Functions (PUFs) and Hardware Security #Radiation Effects in Electronics #Security and Verification in Computing
6. Towards Memory Specialization: A Case for Long-Term and Short-Term RAM
   2025/08/05 by Peijing Li, Muhammad Shahir Abdurraman, Li, Peijing +15 · 9 voices
   #cs.AR #cs.ET
7. RecShard: Statistical Feature-Based Memory Optimization for Industry-Scale Neural Recommendation
   2022/01/25 by Geet Sethi, Sethi, Geet, Bilge Acun +9 · 2 citations
   Computer Science · #Recommender Systems and Techniques #Text and Document Classification Technologies #Image Retrieval and Classification Techniques
8. TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA
   2016/08/26 by Caroline Trippel, Yatin A. Manerkar, Daniel Lustig +2 · 1 voice
   #cs.AR
9. VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation
   2025/04/22 by Anjiang Wei, Wei, Anjiang, Tarun Suresh +12 · 6 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Embedded Systems Design Techniques #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG) #Software Engineering (cs.SE)
10. Analysis and Mitigations of Reverse Engineering Attacks on Local Feature Descriptors
    2021/05/09 by Deeksha Dangwal, Dangwal, Deeksha, Vincent T. Lee +21 · 1 citation
    Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Face recognition and analysis
11. CounterPoint: Using Hardware Event Counters to Refute and Refine Microarchitectural Assumptions (Extended Version)
    2026/01/03 by Nick Lindsay, Caroline Trippel, Anurag Khandelwal +1 · 1 voice
    Computer Science · #cs.AR #cs.OS #cs.PF