The following pages link to Ranjit Jhala (Q2225085):
Displaying 28 items.
- Stratified abstraction of access control policies (Q2225096) (← links)
- Predicate Abstraction for Linked Data Structures (Q2796037) (← links)
- Refinement types for Haskell (Q2819690) (← links)
- Nested refinements (Q2942876) (← links)
- Bounded refinement types (Q2981942) (← links)
- Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong) (Q2985773) (← links)
- Predicate Abstraction for Program Verification (Q3176373) (← links)
- Interprocedural analysis of asynchronous programs (Q3189813) (← links)
- Abstractions from proofs (Q3452263) (← links)
- Structural Invariants (Q3613379) (← links)
- Verifying Reference Counting Implementations (Q3617768) (← links)
- (Q4426387) (← links)
- (Q4449227) (← links)
- (Q4551174) (← links)
- (Q4791844) (← links)
- (Q4804923) (← links)
- Lazy abstraction (Q5178898) (← links)
- Software model checking (Q5228112) (← links)
- Low-level liquid types (Q5255068) (← links)
- Verification: Theory and Practice (Q5305649) (← links)
- Abstract Refinement Types (Q5326287) (← links)
- Array Abstractions from Proofs (Q5429322) (← links)
- Interpolant-Based Transition Relation Approximation (Q5453494) (← links)
- Static Analysis (Q5466565) (← links)
- Computer Aided Verification (Q5716597) (← links)
- State of the Union: Type Inference Via Craig Interpolation (Q5758131) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899073) (← links)
- Computer Aided Verification (Q5900683) (← links)
