Ranjit Jhala - Google Scholar Citations

Cited by

	All	Since 2015
Citations	10338	4062
h-index	45	32
i10-index	70	60

840

420

210

630

200220032004200520062007200820092010201120122013201420152016201720182019202034 112 227 317 372 447 499 638 657 651 749 768 731 838 808 837 789 717 69

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
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
Niki VazouIMDEA Software InstituteVerified email at cs.umd.edu
Ravi ChughUniversity of ChicagoVerified email at cs.uchicago.edu
Grégoire SutreResearch Fellow, CNRS, University of BordeauxVerified email at labri.fr
Eric L SeidelUC San DiegoVerified email at cs.ucsd.edu
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, UC San DiegoVerified email at ucsd.edu
Adam ChlipalaMIT CSAILVerified email at csail.mit.edu
Amin VahdatGoogleVerified email at cs.ucsd.edu
Hovav ShachamProfessor of Computer Science, The University of Texas at AustinVerified email at cs.utexas.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
Deian StefanUC San DiegoVerified email at eng.ucsd.edu
Laura (Grupp) CaulfieldSenior Developer, MicrosoftVerified email at microsoft.com
Ameen AkelMicron Technology, Inc.Verified email at micron.com
Michael EmmiAmazon Web ServicesVerified email at amazon.com

Ranjit Jhala

Professor of Computer Science, UC San Diego

Verified email at cs.ucsd.edu - Homepage

Programming Languages Software Engineering Formal Methods


Title	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	1401	2002
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	685	2007
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	643	2011
Abstractions from proofs TA Henzinger, R Jhala, R Majumdar, KL McMillan ACM SIGPLAN Notices 39 (1), 232-244, 2004	617	2004
Software verification with BLAST TA Henzinger, R Jhala, R Majumdar, G Sutre International SPIN Workshop on Model Checking of Software, 235-239, 2003	605	2003
Software model checking R Jhala, R Majumdar ACM Computing Surveys (CSUR) 41 (4), 1-54, 2009	408	2009
Liquid types PM Rondon, M Kawaguci, R Jhala Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008	354	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	323	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	285	2009
Generating Tests from Counterexamples RM Dirk Beyer, Adam Chlipala,Thomas Henzinger, Ranjit 26th ACM/IEEE International Conference on Software Engineering, 326-335, 2004	267*	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	251	2007
Life, death, and the critical transition: Finding liveness bugs in systems code C Killian, JW Anderson, R Jhala, A Vahdat NSDI, 2007	250	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	219	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	215	2002
Race checking by context inference TA Henzinger, R Jhala, R Majumdar Proceedings of the ACM SIGPLAN 2004 conference on Programming language …, 2004	214	2004
A practical and complete approach to predicate refinement R Jhala, KL McMillan International Conference on Tools and Algorithms for the Construction and …, 2006	186	2006
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	167	2014
Thread-modular abstraction refinement TA Henzinger, R Jhala, R Majumdar, S Qadeer International Conference on Computer Aided Verification, 262-274, 2003	157	2003
Path slicing R Jhala, R Majumdar Proceedings of the 2005 ACM SIGPLAN conference on Programming language …, 2005	156	2005
SafeDispatch: Securing C++ Virtual Calls from Memory Corruption Attacks. D Jang, Z Tatlock, S Lerner NDSS, 2014	133	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