Caroline Trippel
Scholar

Caroline Trippel

Google Scholar ID: 5yqgCREAAAAJ
Assistant Professor, Stanford University
Computer ArchitectureFormal MethodsSecurity
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,135
 
H-index
17
 
i10-index
22
 
Publications
20
 
Co-authors
0
 
Contact
TwitterOpen ↗GitHubOpen ↗
Publications
6 items
ITHICA: Intra-Thread Instruction Checking Approach for Defect-Induced Silent Data Corruptions
2026
Cited
0
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
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