The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ranjit Jhala: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido
    Extreme Model Checking. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:332-358 [Conf]
  2. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer
    Temporal-Safety Proofs for Systems Code. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:526-538 [Conf]
  3. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer
    Thread-Modular Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:262-274 [Conf]
  4. Ranjit Jhala, Kenneth L. McMillan
    Microarchitecture Verification by Compositional Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:396-410 [Conf]
  5. Ranjit Jhala, Kenneth L. McMillan
    Interpolant-Based Transition Relation Approximation. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:39-51 [Conf]
  6. Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala
    Compositional Methods for Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:351-365 [Conf]
  7. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Checking Memory Safety with Blast. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:2-18 [Conf]
  8. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Counterexample-Guided Control. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:886-902 [Conf]
  9. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Generating Tests from Counterexamples. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:326-335 [Conf]
  10. Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner
    OPIUM: Optimal Package Install/Uninstall Manager. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:178-188 [Conf]
  11. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    An Eclipse Plug-in for Model Checking. [Citation Graph (0, 0)][DBLP]
    IWPC, 2004, pp:251-255 [Conf]
  12. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Invited talk: the blast query language for software verification. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:201-202 [Conf]
  13. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Race checking by context inference. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:1-13 [Conf]
  14. Ranjit Jhala, Rupak Majumdar
    Path slicing. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:38-47 [Conf]
  15. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan
    Abstractions from proofs. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:232-244 [Conf]
  16. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre
    Lazy abstraction. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:58-70 [Conf]
  17. Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar
    Lock allocation. [Citation Graph (0, 0)][DBLP]
    POPL, 2007, pp:291-296 [Conf]
  18. Ranjit Jhala, Rupak Majumdar
    Interprocedural analysis of asynchronous programs. [Citation Graph (0, 0)][DBLP]
    POPL, 2007, pp:339-350 [Conf]
  19. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Invited talk: the blast query language for software verification. [Citation Graph (0, 0)][DBLP]
    PPDP, 2004, pp:1-2 [Conf]
  20. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    The Blast Query Language for Software Verification.. [Citation Graph (0, 0)][DBLP]
    SAS, 2004, pp:2-18 [Conf]
  21. Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
    Structural Invariants. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:71-87 [Conf]
  22. Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar
    Joining dataflow with predicates. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:227-236 [Conf]
  23. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Permissive interfaces. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:31-40 [Conf]
  24. Ranjit Jhala, Rupak Majumdar
    Bit level types for high level reasoning. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2006, pp:128-140 [Conf]
  25. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    The BLAST Software Verification System. [Citation Graph (0, 0)][DBLP]
    SPIN, 2005, pp:25-26 [Conf]
  26. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre
    Software Verification with BLAST. [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:235-239 [Conf]
  27. Ranjit Jhala, Kenneth L. McMillan
    A Practical and Complete Approach to Predicate Refinement. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:459-473 [Conf]
  28. Ranjit Jhala, Kenneth L. McMillan
    Array Abstractions from Proofs. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:193-206 [Conf]
  29. Weihaw Chuang, Satish Narayanasamy, Brad Calder, Ranjit Jhala
    Bounds Checking with Taint-Based Analysis. [Citation Graph (0, 0)][DBLP]
    HiPEAC, 2007, pp:71-86 [Conf]
  30. Charles Edwin Killian, James W. Anderson, Ranjit Jhala, Amin Vahdat
    Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code (Awarded Best Paper). [Citation Graph (0, 0)][DBLP]
    NSDI, 2007, pp:- [Conf]
  31. Charles Edwin Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, Amin Vahdat
    Mace: language support for building distributed systems. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:179-188 [Conf]
  32. Jan Wen Voung, Ranjit Jhala, Sorin Lerner
    RELAY: static race detection on millions of lines of code. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:205-214 [Conf]
  33. Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
    State of the Union: Type Inference Via Craig Interpolation. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:553-567 [Conf]
  34. Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Counterexample-guided Planning. [Citation Graph (0, 0)][DBLP]
    UAI, 2005, pp:104-111 [Conf]
  35. Ranjit Jhala, Kenneth L. McMillan
    Interpolant-Based Transition Relation Approximation [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  36. Dsolve: Safety Verification via Liquid Types. [Citation Graph (, )][DBLP]


  37. Deep typechecking and refactoring. [Citation Graph (, )][DBLP]


  38. Building Distributed Systems Using Mace. [Citation Graph (, )][DBLP]


  39. Dataflow analysis for concurrent programs using datarace detection. [Citation Graph (, )][DBLP]


  40. Liquid types. [Citation Graph (, )][DBLP]


  41. Type-based data structure verification. [Citation Graph (, )][DBLP]


  42. Staged information flow for javascript. [Citation Graph (, )][DBLP]


  43. Low-level liquid types. [Citation Graph (, )][DBLP]


  44. Verifying Reference Counting Implementations. [Citation Graph (, )][DBLP]


  45. Refinement type inference via abstract interpretation [Citation Graph (, )][DBLP]


  46. Software model checking. [Citation Graph (, )][DBLP]


Search in 0.021secs, Finished in 0.023secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002