Scholar
Ranjit Jhala
Google Scholar ID: lh6orZ0AAAAJ
UC San Diego
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
14,650
H-index
54
i10-index
89
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
6 items
Foundational Constraint Solving for Expressive Refinement Typing
2026
Cited
0
Plainbook: Data Science, in Plain Language
2026
Cited
0
Verifying the Rust Standard Library
2026
Cited
0
Complete first-order reasoning for functional programs
2026
Cited
0
Auditing Rust Crates Effectively
2026
Cited
3
Laurel: Unblocking Automated Verification with Large Language Models
2024
Cited
4
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)
