Ranjit Jhala
From MaRDI portal
Person:2225085
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Embedded domain specific verifiers Lecture Notes in Computer Science | 2023-08-10 | Paper |
| Stratified abstraction of access control policies | 2021-02-04 | Paper |
| Software model checking ACM Computing Surveys | 2019-08-09 | Paper |
| Predicate abstraction for program verification Handbook of Model Checking | 2018-07-20 | Paper |
| Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong) Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Bounded refinement types Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Refinement types for Haskell Proceedings of the 19th ACM SIGPLAN international conference on Functional programming | 2016-09-29 | Paper |
| Predicate abstraction for linked data structures Lecture Notes in Computer Science | 2016-03-23 | Paper |
| Abstractions from proofs Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
| Nested refinements: a logic for duck typing Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
| Low-level liquid types Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
| Lazy abstraction Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
| Interprocedural analysis of asynchronous programs Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| Abstract refinement types Programming Languages and Systems | 2013-08-05 | Paper |
| Thread-modular abstraction refinement. Lecture Notes in Computer Science | 2010-04-20 | Paper |
| Verification: Theory and Practice Lecture Notes in Computer Science | 2010-03-23 | Paper |
| Verifying Reference Counting Implementations Tools and Algorithms for the Construction and Analysis of Systems | 2009-03-31 | Paper |
| Structural Invariants Static Analysis | 2009-03-12 | Paper |
| Interpolant-Based Transition Relation Approximation Logical Methods in Computer Science | 2008-04-01 | Paper |
| Array Abstractions from Proofs Computer Aided Verification | 2007-11-29 | Paper |
| State of the Union: Type Inference Via Craig Interpolation Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science | 2007-05-02 | Paper |
| Computer Aided Verification Lecture Notes in Computer Science | 2006-01-10 | Paper |
| Static Analysis Lecture Notes in Computer Science | 2005-08-24 | Paper |
| scientific article; zbMATH DE number 2038762 (Why is no real title available?) | 2004-02-08 | Paper |
| scientific article; zbMATH DE number 1982210 (Why is no real title available?) | 2003-09-16 | Paper |
| scientific article; zbMATH DE number 1903378 (Why is no real title available?) | 2003-05-01 | Paper |
| scientific article; zbMATH DE number 1863173 (Why is no real title available?) | 2003-02-03 | Paper |
| scientific article; zbMATH DE number 1796150 (Why is no real title available?) | 2002-09-04 | Paper |
Research outcomes over time
This page was built for person: Ranjit Jhala
