Caroline Trippel

Caroline Trippel is an Assistant Professor in the Computer Science and Electrical Engineering Departments at Stanford University, where she leads the High Assurance Computer Architectures Lab. Following her PhD, prior to starting at Stanford, Trippel spent nine months as a Research Scientist at Facebook in the FAIR SysML group. Trippel's research fits broadly in the area of computer architecture and focuses on promoting high assurance—correctness, security, and reliability—as a first-order computer architecture design goal. A central theme of her work is leveraging formal methods, especially automated reasoning, techniques to design and verify hardware systems. Trippel research has influenced the design of the RISC-V ISA memory consistency model both via her formal analysis of its draft specification and her subsequent participation in the RISC-V Memory Model Task Group; prompted Intel to update their Software Security Guidance to confirm that two Intel microarchitectures satisfy assumptions made by the Seberus Spectre defense that her lab developed; and produced a novel methodology and tool that synthesized two new variants of the famous Meltdown and Spectre attacks. Trippel's research has been recognized with IEEE Top Picks distinctions, a Sloan Research Fellowship, an NSF CAREER Award, the inaugural Google ML and Systems Junior Faculty Award, the Intel Rising Star Faculty Award, an Intel Outstanding Researcher Award, the 2020 ACM SIGARCH/IEEE CS TCCA Outstanding Dissertation Award, the 2020 CGS/ProQuest® Distinguished Dissertation Award in Mathematics, Physical Sciences, & Engineering, and more.

[2026] "Helium: Quantifying Microarchitectural Side-Channel Leakage with Probabilistic Guarantees". Samantha Archer, Mohammad Rahmani Fadiheh, and Caroline Trippel. In Proceedings of the 53rd International Symposium on Computer Architecture (ISCA), June 2026. [2026] "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 2026 IEEE/ACM 48th International Conference on Software Engineering (ICSE), April 2026. [2026] "CounterPoint: Using Hardware Event Counters to Refute and Refine Microarchitectural Assumptions". Nick Lindsay, Caroline Trippel, Anurag Khandelwal, and Abhishek Bhattacharjee. In Proceedings of the 31st International Confer