Concepedia

Ranjit Jhala

RJ

Statistics

Publications

81

Citations

8.3K

H-Index

41

Active since

2002

Affiliations

University of California San Diego(Current)

UC San Diego Health System

University of California, Berkeley

UtopiaCompression (United States)

University of California, Los Angeles

Ranjit Jhala is an author at University of California San Diego specializing in computer science, computing, and programming languages.

ORCID

Publications per year

2002–2024

81

Publications

81

Lazy abstraction

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar et al. · 2002 · 1.2K citations

, , +11

NV-Heaps

Joel Coburn, Adrian M. Caulfield, Ameen Akel et al. · 2011 · 658 citations

, , +17

The software model checker Blast

Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala et al. · International Journal on Software Tools for Technology Transfer · 2007 · 594 citations

, , +10

Abstractions from proofs

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar et al. · ACM SIGPLAN Notices · 2014 · 483 citations

, , +14

Liquid types

Patrick M. Rondon, Ming Kawaguci, Ranjit Jhala · 2008 · 388 citations

, , +15

1–5 of 81