Ranjit Jhala
Ranjit Jhala
Professor of Computer Science, UC San Diego
Verified email at cs.ucsd.edu - Homepage
TitleCited byYear
Lazy abstraction
TA Henzinger, R Jhala, R Majumdar, G Sutre
ACM SIGPLAN Notices 37 (1), 58-70, 2002
13602002
The software model checker Blast
D Beyer, TA Henzinger, R Jhala, R Majumdar
International Journal on Software Tools for Technology Transfer 9 (5-6), 505-525, 2007
6622007
Abstractions from proofs
TA Henzinger, R Jhala, R Majumdar, KL McMillan
ACM SIGPLAN Notices 39 (1), 232-244, 2004
6042004
Software verification with BLAST
TA Henzinger, R Jhala, R Majumdar, G Sutre
International SPIN Workshop on Model Checking of Software, 235-239, 2003
5962003
NV-Heaps: making persistent objects fast and safe with next-generation, non-volatile memories
J Coburn, AM Caulfield, A Akel, LM Grupp, RK Gupta, R Jhala, ...
ACM Sigplan Notices 47 (4), 105-118, 2012
5902012
Software model checking
R Jhala, R Majumdar
ACM Computing Surveys (CSUR) 41 (4), 21, 2009
3862009
Liquid types
PM Rondon, M Kawaguci, R Jhala
ACM SIGPLAN Notices 43 (6), 159-169, 2008
3272008
RELAY: static race detection on millions of lines of code
JW Voung, R Jhala, S Lerner
Proceedings of the the 6th joint meeting of the European software …, 2007
3052007
Staged information flow for JavaScript
R Chugh, JA Meister, R Jhala, S Lerner
ACM Sigplan Notices 44 (6), 50-62, 2009
2822009
Generating Tests from Counterexamples
RM Dirk Beyer, Adam Chlipala,Thomas Henzinger, Ranjit
26th ACM/IEEE International Conference on Software Engineering, 326-335, 2004
254*2004
Mace: language support for building distributed systems
CE Killian, JW Anderson, R Braud, R Jhala, AM Vahdat
ACM SIGPLAN Notices 42 (6), 179-188, 2007
2422007
Life, death, and the critical transition: Finding liveness bugs in systems code
C Killian, JW Anderson, R Jhala, A Vahdat
NSDI, 2007
2422007
An empirical study of privacy-violating information flows in JavaScript web applications
D Jang, R Jhala, S Lerner, H Shacham
Proceedings of the 17th ACM conference on Computer and communications …, 2010
2112010
Temporal-safety proofs for systems code
TA Henzinger, GC Necula, R Jhala, G Sutre, R Majumdar, W Weimer
International Conference on Computer Aided Verification, 526-538, 2002
2112002
Race checking by context inference
TA Henzinger, R Jhala, R Majumdar
ACM SIGPLAN Notices 39 (6), 1-13, 2004
2092004
A practical and complete approach to predicate refinement
R Jhala, KL McMillan
International Conference on Tools and Algorithms for the Construction and …, 2006
1832006
Path slicing
R Jhala, R Majumdar
ACM SIGPLAN Notices 40 (6), 38-47, 2005
1552005
Thread-modular abstraction refinement
TA Henzinger, R Jhala, R Majumdar, S Qadeer
International Conference on Computer Aided Verification, 262-274, 2003
1552003
Refinement types for Haskell
N Vazou, EL Seidel, R Jhala, D Vytiniotis, S Peyton-Jones
ACM SIGPLAN Notices 49 (9), 269-282, 2014
1502014
Array abstractions from proofs
R Jhala, KL McMillan
International Conference on Computer Aided Verification, 193-206, 2007
1322007
The system can't perform the operation now. Try again later.
Articles 1–20