Caleb Stanford
Scholar

Caleb Stanford

Google Scholar ID: VDFGNZ0AAAAJ
Assistant professor, UC Davis
Programming LanguagesSystemsFormal Methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
257
 
H-index
9
 
i10-index
8
 
Publications
20
 
Co-authors
27
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
27 total
Rajeev Alur
Rajeev Alur
Zisman Family Professor of Computer and Information Science, University of Pennsylvania
Co-author 2
Co-author 2
Konstantinos Kallas
Konstantinos Kallas
Assistant Professor, UCLA
Val Tannen
Val Tannen
University of Pennsylvania
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Zachary G. Ives
Zachary G. Ives
Chair & Professor of Computer and Information Science, University of Pennsylvania
Nikolaj Bjorner
Nikolaj Bjorner
Microsoft Research