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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ranjit Jhala