Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Jhala, Ranjit - Department of Computer Science and Engineering, University of California at San Diego
Structural Invariants # Ranjit Jhala 1 Rupak Majumdar 2 RuGang Xu 2
Path Slicing Ranjit Jhala
Bit Level Types for High Level Reasoning Ranjit Jhala
Race Checking by Context Inference Thomas A. Henzinger Ranjit Jhala Rupak Majumdar
Interpolant-based Transition Relation Approximation
Mace: Language Support for Building Distributed Systems Charles Killian James W. Anderson Ryan Braud Ranjit Jhala Amin Vahdat
OPIUM: Optimal Package Install/Uninstall Manager Chris Tucker
Joining Dataflow with Predicates Jeffrey Fischer
State of the Union: Dependent Type Inference via Craig Interpolation
Bit Level Types for High Level Reasoning Ranjit Jhala
Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code
Interpolant-based Transition Relation Approximation
Interprocedural Analysis of Asynchronous Programs # Ranjit Jhala
Interprocedural Analysis of Asynchronous Programs # Ranjit Jhala
Lock Allocation # Michael Emmi Jeffrey S. Fischer
Lock Allocation Michael Emmi Jeffrey S. Fischer
Structural Invariants Ranjit Jhala1
Path Slicing Ranjit Jhala
State of the Union: Type Inference via Craig Interpolation #
Lazy Abstraction Ranjit Jhala
Interprocedural Analysis of Asynchronous Programs Ranjit Jhala
State of the Union: Type Inference via Craig Interpolation
Permissive Interfaces Thomas A. Henzinger Ranjit Jhala Rupak Majumdar
Mace: Language Support for Building Distributed Systems Charles Killian James W. Anderson Ryan Braud Ranjit Jhala Amin Vahdat
Interprocedural Analysis of Asynchronous Programs Ranjit Jhala
A Practical and Complete Approach to Predicate Re nement
Microarchitecture veri cation by Compositional Model Checking
State of the Union: Dependent Type Inference via Craig Interpolation
Permissive Interfaces Thomas A. Henzinger Ranjit Jhala Rupak Majumdar
Joining Dataflow with Predicates Jeffrey Fischer
OPIUM: Optimal Package Install/Uninstall Manager Chris Tucker
