Scholar
Caleb Stanford
Google Scholar ID: VDFGNZ0AAAAJ
Assistant professor, UC Davis
Programming Languages
Systems
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
257
H-index
9
i10-index
8
Publications
20
Co-authors
27
list available
Publications
3 items
Auditing Rust Crates Effectively
2026
Cited
3
Cargo Sherlock: An SMT-Based Checker for Software Trust Costs
2025
Cited
0
GlucOS: Security, correctness, and simplicity for automated insulin delivery
arXiv.org · 2024
Cited
1
Co-authors
15 total
Rajeev Alur
Zisman Family Professor of Computer and Information Science, University of Pennsylvania
Konstantinos Kallas
Assistant Professor, UCLA
Val Tannen
University of Pennsylvania
Zachary G. Ives
Chair & Professor of Computer and Information Science, University of Pennsylvania
Nikolaj Bjorner
Microsoft Research
Mukund Raghothaman
University of Southern California
Dana Fisman
Associate Professor of Computer Science, Ben-Gurion University
Benjamin C. Pierce
Professor of Computer and Information Science, University of Pennsylvania
