Ranjit Jhala

Cited by

	All	Since 2016
Citations	11284	3977
h-index	45	31
i10-index	72	63

860

430

215

645

2002200320042005200620072008200920102011201220132014201520162017201820192020202137 110 223 315 379 453 506 653 684 666 755 773 738 853 822 855 793 714 704 87

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
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
Ravi ChughUniversity of ChicagoVerified email at cs.uchicago.edu
Grégoire SutreResearch Fellow, CNRS, University of BordeauxVerified email at labri.fr
Eric L SeidelBloombergVerified email at seidel.io
Westley WeimerProfessor Computer Science, University of MichiganVerified email at umich.edu
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
Deian StefanUC San DiegoVerified 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
Dongseok JangPhD Student of University of California, San DiegoVerified email at cs.ucsd.edu
Adam ChlipalaMIT CSAILVerified email at csail.mit.edu
Laura (Grupp) CaulfieldSenior Developer, MicrosoftVerified email at microsoft.com
Ameen AkelMicron Technology, Inc.Verified email at micron.com
Rami Gökhan KıcıPhD Student, University of California, San DiegoVerified email at eng.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	1452	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	760	2011
The software model checker b last D Beyer, TA Henzinger, R Jhala, R Majumdar International Journal on Software Tools for Technology Transfer 9 (5), 505-525, 2007	733	2007
Software verification with BLAST TA Henzinger, R Jhala, R Majumdar, G Sutre International SPIN Workshop on Model Checking of Software, 235-239, 2003	646	2003
Abstractions from proofs TA Henzinger, R Jhala, R Majumdar, KL McMillan ACM SIGPLAN Notices 39 (1), 232-244, 2004	635	2004
Software model checking R Jhala, R Majumdar ACM Computing Surveys (CSUR) 41 (4), 1-54, 2009	465	2009
Liquid types PM Rondon, M Kawaguci, R Jhala Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008	403	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	353	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	310	2009
Generating Tests from Counterexamples RM Dirk Beyer, Adam Chlipala,Thomas Henzinger, Ranjit 26th ACM/IEEE International Conference on Software Engineering, 326-335, 2004	293*	2004
Life, death, and the critical transition: Finding liveness bugs in systems code C Killian, JW Anderson, R Jhala, A Vahdat NSDI, 2007	277	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	276	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	235	2010
Race checking by context inference TA Henzinger, R Jhala, R Majumdar Proceedings of the acm sigplan 2004 conference on programming language …, 2004	221	2004
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	220	2002
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	200	2014
A practical and complete approach to predicate refinement R Jhala, KL McMillan International Conference on Tools and Algorithms for the Construction and …, 2006	192	2006
Thread-modular abstraction refinement TA Henzinger, R Jhala, R Majumdar, S Qadeer International Conference on Computer Aided Verification, 262-274, 2003	166	2003
Path slicing R Jhala, R Majumdar Proceedings of the 2005 ACM SIGPLAN Conference on Programming language …, 2005	162	2005
SafeDispatch: Securing C++ Virtual Calls from Memory Corruption Attacks. D Jang, Z Tatlock, S Lerner NDSS, 2014	159	2014

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

Upload PDF

Follow this author

Cited by

Co-authors