Scholar
Caroline Trippel
Google Scholar ID: 5yqgCREAAAAJ
Assistant Professor, Stanford University
Computer Architecture
Formal Methods
Security
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,135
H-index
17
i10-index
22
Publications
20
Co-authors
0
Contact
Twitter
Open ↗
GitHub
Open ↗
Publications
5 items
LLM-FSM: Scaling Large Language Models for Finite-State Reasoning in RTL Code Generation
2026
Cited
0
CounterPoint: Using Hardware Event Counters to Refute and Refine Microarchitectural Assumptions (Extended Version)
2026
Cited
0
Towards Memory Specialization: A Case for Long-Term and Short-Term RAM
2025
Cited
0
VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation
2025
Cited
0
Analyzing and Exploiting Branch Mispredictions in Microcode
2025
Cited
0
Resume (English only)
Academic Achievements
NSF CAREER Award (2023)
2020 ACM SIGARCH/IEEE CS TCCA Outstanding Dissertation Award
2020 CGS/ProQuest® Distinguished Dissertation Award in Mathematics, Physical Sciences & Engineering
NVIDIA Graduate Fellowship (2017–2018)
Selected for the 2018 MIT Rising Stars in EECS Workshop
Published in top-tier conferences including MICRO, FMCAD, IEEE S&P, EuroSys, CAV, DAC
Multiple papers recognized with IEEE Top Picks distinctions
Co-authors
0 total
Co-authors: 0 (list not available)
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up