Trippel, Caroline

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 Cosler, Matthias, Hahn, Christopher, Mendoza, Daniel +2 · 16 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
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, Mosier, Nicholas, Hamed Nemati +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. Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption
   2021/01/19 by Cowan, Meghan, Dangwal, Deeksha, Alaghi, Armin +3 · 3 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
7. Towards Memory Specialization: A Case for Long-Term and Short-Term RAM
   2025/08/05 by Peijing Li, Li, Peijing, Muhammad Shahir Abdurraman +15 · 9 voices
   #cs.AR #cs.ET
8. RecShard: Statistical Feature-Based Memory Optimization for Industry-Scale Neural Recommendation
   2022/01/25 by Geet Sethi, Bilge Acun, Sethi, Geet +9 · 2 citations
   Computer Science · #Recommender Systems and Techniques #Text and Document Classification Technologies #Image Retrieval and Classification Techniques
9. VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation
   2025/04/22 by Anjiang Wei, Wei, Anjiang, Tarun Suresh +12 · 5 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. CPR: Understanding and Improving Failure Tolerant Training for Deep Learning Recommendation with Partial Recovery
    2020/11/05 by Maeng, Kiwan, Bharuka, Shivam, Gao, Isabel +8 · 1 citation
    #Distributed #FOS: Computer and information sciences #Machine Learning (cs.LG) #Parallel #and Cluster Computing (cs.DC)
11. 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