| Lazy abstraction TA Henzinger, R Jhala, R Majumdar, G Sutre Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002 | 1567 | 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 | 1034 | 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 | 843 | 2007 |
| Software verification with BLAST TA Henzinger, R Jhala, R Majumdar, G Sutre Model Checking Software: 10th International SPIN Workshop Portland, OR, USA …, 2003 | 724 | 2003 |
| Abstractions from proofs TA Henzinger, R Jhala, R Majumdar, KL McMillan Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004 | 717 | 2004 |
| Software model checking R Jhala, R Majumdar ACM Computing Surveys (CSUR) 41 (4), 1-54, 2009 | 619 | 2009 |
| Liquid types PM Rondon, M Kawaguci, R Jhala Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 577 | 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 | 447 | 2007 |
| 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 | 358 | 2014 |
| 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 D Beyer, AJ Chlipala, TA Henzinger, R Jhala, R Majumdar Proceedings. 26th International Conference on Software Engineering, 326-335, 2004 | 334 | 2004 |
| Life, death, and the critical transition: Finding liveness bugs in systems code C Killian, JW Anderson, R Jhala, A Vahdat NSDI, 2007 | 330 | 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 | 316 | 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 | 276 | 2010 |
| 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 | 246 | 2015 |
| 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 | 241 | 2002 |
| Race checking by context inference TA Henzinger, R Jhala, R Majumdar Proceedings of the acm sigplan 2004 conference on programming language …, 2004 | 234 | 2004 |
| A practical and complete approach to predicate refinement R Jhala, KL McMillan International Conference on Tools and Algorithms for the Construction and …, 2006 | 218 | 2006 |
| Path slicing R Jhala, R Majumdar Proceedings of the 2005 ACM SIGPLAN Conference on Programming language …, 2005 | 181 | 2005 |
| Thread-modular abstraction refinement TA Henzinger, R Jhala, R Majumdar, S Qadeer International Conference on Computer Aided Verification, 262-274, 2003 | 178 | 2003 |
