Stanford High Assurance Computer Architectures Lab
Principal Investigator
Advisees
Featured Publications
-
HPCA '26"Protean: A Programmable Spectre Defense". Nicholas Mosier, Hamed Nemati, John C. Mitchell, and Caroline Trippel. In Proceedings of the 32nd IEEE International Symposium on High-Performance Computer Architecture (HPCA), January-February 2026. (To appear.)
-
ICSE '26"Automating Requirements Formalization: Using LLMs and Low-Complexity Distinguishing Traces for Semantic Validation". Daniel Mendoza, Anastasia Mavridou, Andreas Katis, and Caroline Trippel. In Proceedings of the 48th International Conference on Software Engineering (ICSE), April 2026. (To appear.)
-
MICRO '24"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, and Caroline Trippel. In Proceedings of the 57th IEEE/ACM International Symposium on Microarchitecture, November 2024.
-
FMCAD '24"Memory Consistency Model-Award Cache Coherence for Heterogeneous Hardware". Rachel Cleaveland and Caroline Trippel. In Proceedings of the 2024 Conference on Formal Methods in Computer Aided Design (FMCAD), October 2024.
-
FMCAD '24"Translating Natural Language to Temporal Logics with Large Language Models and Model Checkers". Daniel Mendoza, Christopher Hahn, and Caroline Trippel. In Proceedings of the 2024 Conference on Formal Methods in Computer Aided Design (FMCAD), October 2024.
-
SP '24"Serberus: Protecting Cryptographic Code from Spectres at Compile Time". Nicholas Mosier, Hamed Nemati, John C. Mitchell, and Caroline Trippel. In Proceedings of the 45th IEEE Symposium on Security and Privacy, May 2024.
-
EuroSys '24"Model Selection for Latency-Critical Inference Serving". Daniel Mendoza, Francisco Romero, and Caroline Trippel. In Proceedings of the 15th European Conference on Computer Systems (EuroSys), April 2024.
-
CAV '23"nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models". Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, and Caroline Trippel. In Proceedings of the 34th International Conference on Computer Aided Verification, July 2023.
-
DAC '23"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 D. Bhatt, Sebastian Prebeck, Wolfgang Ecker, Caroline Trippel, Clark Barrett, and Subhasish Mitra. In Proceedings of the 60th Design Automation Conference, July 2023.
In the Media
February, 2018. CheckMate's synthesis of new variants of Meltdown and Spectre:
- TechSpot: "Researchers discover two new Spectre and Meltdown variants."
- Digital Trends: "New ‘Prime’ Meltdown, Spectre exploits outlined by Nvidia, Princeton University"
- Gizmodo: "Researchers Find New Ways to Exploit Meltdown and Spectre Vulnerabilities in Modern CPUs"
- Hacker News: "MeltdownPrime, SpectrePrime: Exploiting Invalidation-Based Coherence Protocol"
- Tech Xplore: "MeltdownPrime and SpectrePrime: Researchers nail exploits"
- Engadget: "Researchers discover new ways to abuse Meltdown and Spectre flaws"
April, 2017. TriCheck and deficiences in the RISC-V ISA MCM Specification:
- Princeton Press Release
- RISC-V Response
- Phys.org: "Tool checks computer architectures, reveals flaws in emerging design"
- System Bits: "April 18 – RISC-V errors; spin-wave logic gates; deep learning is old"
- Electronics Weekly: "RISC-V bugs found by Princeton"
- Electronic Design "Memory Ordering Flaw Found in Rare Version of RISC-V Hardware"
- Design and Reuse. "RISC-V: When a bug really is a feature"
March, 2016. STARNet Center for Future Architectures Research (CFAR):
- March, 2016: STARNet Center for Future Architectures Research (CFAR) coverage of our work
Joining the Lab
We are looking for motivated graduate and undergraduate researchers. If you are interested in joining the lab, please send an email to trippel @ stanford . edu with your resume and CV.