Searching for authors named "Ranjit Jhala" – sorted by Relevance.
35 documents found, showing 1 through 10.
Next 10 →
-
Abstract Interpro cedural Analysis of Asynchro nous Programs ∗
- …Abstract Interpro cedural Analysis of Asynchro nous Programs ∗ Ranjit Jhala UC San Diego jhala…
- Add To MetaCart
-
Software Model Checking
- …Software Model Checking RANJIT JHALA University of California, San Diego RUPAK MAJUMDAR University…
- Add To MetaCart
-
Interpolant-based transition relation approximation
- …Interpolant-based Transition Relation Approximation Ranjit Jhala and K. L. McMillan 1 University…
- Cited by 22 (4 self) – Add To MetaCart
-
A practical and complete approach to predicate refinement
- …A Practical and Complete Approach to Predicate Refinement Ranjit Jhala and K. L. McMillan 1…
- Cited by 20 (2 self) – Add To MetaCart
-
Bounds checking with taint-based analysis
- …Bounds Checking with Taint-Based Analysis Weihaw Chuang† Satish Narayanasamy† Brad Calder†‡ Ranjit…
- Cited by 2 (1 self) – Add To MetaCart
-
Structural invariants
- …Structural Invariants ⋆ Ranjit Jhala 1 Rupak Majumdar 2 Ru-Gang Xu 2 1 UC San Diego 2 UC Los…
- Cited by 1 (0 self) – Add To MetaCart
-
Microarchitecture Verification by Compositional Model Checking
- …Microarchitecture verification by Compositional Model Checking Ranjit Jhala 1⋆ and Kenneth L. Mc…
- Cited by 26 (1 self) – Add To MetaCart
-
State of the union: Type inference via craig interpolation
- … State of the Union: Type Inference via Craig Interpolation ? Ranjit Jhala 1 Rupak Majumdar 2…
- Cited by 2 (0 self) – Add To MetaCart
-
Array abstractions from proofs
- …Array Abstractions from Proofs Ranjit Jhala 1 Kenneth L. McMillan 2 1 UC San Diego 2 Cadence…
- Cited by 6 (1 self) – Add To MetaCart
-
Verifying Reference Counting Implementations ⋆
- …Verifying Reference Counting Implementations ⋆ Michael Emmi 1 , Ranjit Jhala 2 , Eddie Kohler 1…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
