Scholar

Ranjit Jhala

Google Scholar ID: lh6orZ0AAAAJ

UC San Diego

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

2 items

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)