Ranjit Jhala

Cited by

	All	Since 2018
Citations	13618	4536
h-index	52	33
i10-index	87	75

880

440

220

660

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202340 113 226 314 379 453 523 639 683 671 778 774 758 853 826 869 801 747 751 820 714 700

Public access

View all

33 articles

1 article

available

not available

Based on funding mandates

Co-authors

Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Sorin LernerProfessor, CSE Dept, UC San DiegoVerified email at cs.ucsd.edu
Niki VazouIMDEA Software InstituteVerified email at cs.umd.edu
Kenneth McMillanMicrosoft ResearchVerified email at microsoft.com
Deian StefanUC San DiegoVerified email at eng.ucsd.edu
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
Eric L SeidelBloombergVerified email at seidel.io
Ravi ChughAssociate Professor, Computer Science, University of ChicagoVerified email at cs.uchicago.edu
Westley WeimerProfessor Computer Science, University of MichiganVerified email at umich.edu
Grégoire SutreResearch Fellow, CNRS, University of BordeauxVerified email at labri.fr
Charles KillianSoftware Engineer, Google, and Adjunct Professor of Computer Science, Purdue UniversityVerified email at google.com
Rajesh K. GuptaProfessor of Computer Science and Engineering, Halıcıoğlu Data Science Institute, UC San DiegoVerified email at ucsd.edu
Klaus v. GleissenthallAssistant Professor, Vrije Universiteit AmsterdamVerified email at ucsd.edu
Rami Gökhan KıcıApplied Scientist, Amazon Web ServicesVerified email at eng.ucsd.edu
Hovav ShachamProfessor of Computer Science, The University of Texas at AustinVerified email at cs.utexas.edu
Amin VahdatGoogleVerified email at cs.ucsd.edu
Steven SwansonUniversity of California, San DiegoVerified email at eng.ucsd.edu
Simon Peyton JonesEpic GamesVerified email at epicgames.com
Dongseok JangPhD Student of University of California, San DiegoVerified email at cs.ucsd.edu

Ranjit Jhala

Professor of Computer Science, UC San Diego

Verified email at cs.ucsd.edu - Homepage

Programming Languages Software Engineering Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Lazy abstraction TA Henzinger, R Jhala, R Majumdar, G Sutre Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002	1540	2002
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 SIGARCH Computer Architecture News 39 (1), 105-118, 2011	983	2011
The software model checker Blast Applications to software engineering D Beyer, TA Henzinger, R Jhala, R Majumdar International Journal on Software Tools for Technology Transfer 9, 505-525, 2007	823	2007
Software verification with BLAST TA Henzinger, R Jhala, R Majumdar, G Sutre Model Checking Software: 10th International SPIN Workshop Portland, OR, USA …, 2003	709	2003
Abstractions from proofs TA Henzinger, R Jhala, R Majumdar, KL McMillan Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004	697	2004
Software model checking R Jhala, R Majumdar ACM Computing Surveys (CSUR) 41 (4), 1-54, 2009	579	2009
Liquid types PM Rondon, M Kawaguci, R Jhala Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008	534	2008
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	428	2007
Staged information flow for JavaScript R Chugh, JA Meister, R Jhala, S Lerner Proceedings of the 30th ACM SIGPLAN conference on programming language …, 2009	342	2009
Generating Tests from Counterexamples RM Dirk Beyer, Adam Chlipala,Thomas Henzinger, Ranjit 26th ACM/IEEE International Conference on Software Engineering, 326-335, 2004	321*	2004
Refinement types for Haskell N Vazou, EL Seidel, R Jhala, D Vytiniotis, S Peyton-Jones Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014	316	2014
Life, death, and the critical transition: Finding liveness bugs in systems code C Killian, JW Anderson, R Jhala, A Vahdat NSDI, 2007	312	2007
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	308	2007
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	275	2010
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	240	2002
Race checking by context inference TA Henzinger, R Jhala, R Majumdar Proceedings of the acm sigplan 2004 conference on programming language …, 2004	232	2004
On subnormal floating point and abnormal timing M Andrysco, D Kohlbrenner, K Mowery, R Jhala, S Lerner, H Shacham 2015 IEEE Symposium on Security and Privacy, 623-639, 2015	214	2015
A practical and complete approach to predicate refinement R Jhala, KL McMillan International Conference on Tools and Algorithms for the Construction and …, 2006	212	2006
SafeDispatch: Securing C++ Virtual Calls from Memory Corruption Attacks. D Jang, Z Tatlock, S Lerner NDSS, 2014	193	2014
Thread-modular abstraction refinement TA Henzinger, R Jhala, R Majumdar, S Qadeer International Conference on Computer Aided Verification, 262-274, 2003	178	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors