|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 54 occurrences of 36 keywords
|
|
|
|
|
Results
Found 60 publication records. Showing 60 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala |
Nested refinements: a logic for duck typing.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala |
Software Verification with Liquid Types. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravi Chugh, Ranjit Jhala |
Dependent Types for JavaScript |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala |
System D: Dependent Dynamic Dictionaries |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ranjit Jhala, Wouter Swierstra (eds.) |
Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, PLPV 2011, Austin, TX, USA, January 29, 2011 |
PLPV |
2011 |
DBLP BibTeX RDF |
|
| 1 | Joel Coburn, Adrian M. Caulfield, Ameen Akel, Laura M. Grupp, Rajesh K. Gupta, Ranjit Jhala, Steven Swanson |
NV-Heaps: making persistent objects fast and safe with next-generation, non-volatile memories. |
ASPLOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala |
Software Verification with Liquid Types. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala |
Using Types for Software Verification. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko |
HMC: Verifying Functional Programs Using Abstract Interpreters. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala, David A. Schmidt (eds.) |
Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko |
Refinement type inference via abstract interpretation |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala |
Low-level liquid types. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
liquid types, c, type inference, dependent types |
| 1 | Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala |
Dsolve: Safety Verification via Liquid Types. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Edwin Killian, Karthik Nagaraj, Salman Pervez, Ryan Braud, James W. Anderson, Ranjit Jhala |
Finding latent performance bugs in systems implementations. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dongseok Jang, Ranjit Jhala, Sorin Lerner, Hovav Shacham |
An empirical study of privacy-violating information flows in JavaScript web applications. |
ACM Conference on Computer and Communications Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala, Rupak Majumdar |
Software model checking. |
ACM Comput. Surv. |
2009 |
DBLP DOI BibTeX RDF |
counterexample-guided refinement, enumerative and symbolic model checking, abstraction, safety, liveness, Software model checking |
| 1 | Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sorin Lerner |
Staged information flow for javascript. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
integrity, web applications, confidentiality, flow analysis, set constraints |
| 1 | Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala |
Type-based data structure verification. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
hindley-milner, type inference, dependent types, predicate abstraction |
| 1 | Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar |
Verifying Reference Counting Implementations. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Edwin Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, Amin Vahdat |
Building Distributed Systems Using Mace. |
Peer-to-Peer Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner |
Dataflow analysis for concurrent programs using datarace detection. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
locksets, interprocedural analysis, multithreaded programs, summaries |
| 1 | Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala |
Liquid types. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
hindley-milner, type inference, dependent types, predicate abstraction |
| 1 | Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner |
Deep typechecking and refactoring. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
JPA query analysis, cross language refactoring, cross language typechecking |
| 1 | Ranjit Jhala, Kenneth L. McMillan |
Interpolant-Based Transition Relation Approximation. |
Logical Methods in Computer Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala, Kenneth L. McMillan |
Interpolant-Based Transition Relation Approximation |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
The software model checker Blast. |
STTT |
2007 |
DBLP DOI BibTeX RDF |
Model checking, Software verification, Test-case generation, Software specification, Memory safety |
| 1 | Charles Edwin Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, Amin Vahdat |
Mace: language support for building distributed systems. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
Mace, distributed systems, model checking, concurrency, debugging, domain specific languages, event driven programming |
| 1 | Charles Edwin Killian, James W. Anderson, Ranjit Jhala, Amin Vahdat |
Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code (Awarded Best Paper). |
NSDI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu |
State of the Union: Type Inference Via Craig Interpolation. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala, Rupak Majumdar |
Interprocedural analysis of asynchronous programs. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
asynchronous (event-driven) programming, dataflow analysis |
| 1 | Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar |
Lock allocation. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
lock inference, atomicity, ILP |
| 1 | Ranjit Jhala, Kenneth L. McMillan |
Array Abstractions from Proofs. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner |
OPIUM: Optimal Package Install/Uninstall Manager. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Wen Voung, Ranjit Jhala, Sorin Lerner |
RELAY: static race detection on millions of lines of code. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
static analysis, race detection |
| 1 | Weihaw Chuang, Satish Narayanasamy, Brad Calder, Ranjit Jhala |
Bounds Checking with Taint-Based Analysis. |
HiPEAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala, Kenneth L. McMillan |
A Practical and Complete Approach to Predicate Refinement. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu |
Structural Invariants. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala, Rupak Majumdar |
Bit level types for high level reasoning. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
model checking, type inference, bit vectors |
| 1 | Ranjit Jhala, Rupak Majumdar |
Path slicing. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
counterexample analysis, program slicing |
| 1 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
The BLAST Software Verification System. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Checking Memory Safety with Blast. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala, Kenneth L. McMillan |
Interpolant-Based Transition Relation Approximation. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Counterexample-guided Planning. |
UAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar |
Joining dataflow with predicates. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
counterexample analysis, model checking, dataflow analysis, predicate abstraction |
| 1 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Permissive interfaces. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
modular verification, software interfaces |
| 1 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Race checking by context inference. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
software model checking, race conditions |
| 1 | Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Invited talk: the blast query language for software verification. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
software verification, software specification |
| 1 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan |
Abstractions from proofs. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
counterexample analysis, software model checking, predicate abstraction |
| 1 | Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
An Eclipse Plug-in for Model Checking. |
IWPC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Invited talk: the blast query language for software verification. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
software verification, software specification |
| 1 | Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
The Blast Query Language for Software Verification.. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Generating Tests from Counterexamples. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Counterexample-Guided Control. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre |
Software Verification with BLAST. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido |
Extreme Model Checking. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer |
Thread-Modular Abstraction Refinement. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre |
Lazy abstraction. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer |
Temporal-Safety Proofs for Systems Code. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala |
Compositional Methods for Probabilistic Systems. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala, Kenneth L. McMillan |
Microarchitecture Verification by Compositional Model Checking. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #60 of 60 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")