Ranjit Jhala

Available identifiers

zbMath Open jhala.ranjitWikidataQ102290712 ScholiaQ102290712MaRDI QIDQ2225085

List of research outcomes

Publication	Date of Publication	Type
Embedded domain specific verifiers	2023-08-10	Paper
Stratified abstraction of access control policies	2021-02-04	Paper
Software model checking	2019-08-09	Paper
Predicate Abstraction for Program Verification	2018-07-20	Paper
Bounded refinement types	2017-05-10	Paper
Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)	2017-05-10	Paper
Refinement types for Haskell	2016-09-29	Paper
Predicate Abstraction for Linked Data Structures	2016-03-23	Paper
Abstractions from proofs	2015-11-11	Paper
Nested refinements	2015-09-11	Paper
Low-level liquid types	2015-06-11	Paper
Lazy abstraction	2015-03-17	Paper
Interprocedural analysis of asynchronous programs	2014-09-12	Paper
Abstract Refinement Types	2013-08-05	Paper
Computer Aided Verification	2010-04-20	Paper
Verification: Theory and Practice	2010-03-23	Paper
Verifying Reference Counting Implementations	2009-03-31	Paper
Structural Invariants	2009-03-12	Paper
Interpolant-Based Transition Relation Approximation	2008-04-01	Paper
Array Abstractions from Proofs	2007-11-29	Paper
State of the Union: Type Inference Via Craig Interpolation	2007-09-03	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
Computer Aided Verification	2006-01-10	Paper
Static Analysis	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4449227	2004-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4426387	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4804923	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4791844	2003-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4551174	2002-09-04	Paper

Research outcomes over time

This page was built for person: Ranjit Jhala