Search the dblp DataBase

Publications of Author

1. Venkatesh Prasad Ranganath, John Hatcliff
   Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs. [Citation Graph (0, 0)][DBLP]
   CC, 2004, pp:39-56 [Conf]
   
2. Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff
   A New Foundation for Control-Dependence and Slicing for Modern Program Structures. [Citation Graph (0, 0)][DBLP]
   ESOP, 2005, pp:77-93 [Conf]
   
3. Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh
   Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. [Citation Graph (0, 0)][DBLP]
   FASE, 2004, pp:160-164 [Conf]
   
4. Ganeshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff
   Kaveri: Delivering the Indus Java Program Slicer to Eclipse. [Citation Graph (0, 0)][DBLP]
   FASE, 2005, pp:269-272 [Conf]
   
5. Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath
   A Correlation Framework for the CORBA Component Model. [Citation Graph (0, 0)][DBLP]
   FASE, 2004, pp:144-159 [Conf]
   
6. Daniel Andresen, David Sexton, Kiran Devaram, Venkatesh Prasad Ranganath
   LYE: A High-Performance Caching SOAP Implementation. [Citation Graph (0, 0)][DBLP]
   ICPP, 2004, pp:143-150 [Conf]
   
7. John Hatcliff, Xinghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath
   Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. [Citation Graph (0, 0)][DBLP]
   ICSE, 2003, pp:160-173 [Conf]
   
8. Venkatesh Prasad Ranganath, Adam Childs, Jesse Greenwald, Matthew B. Dwyer, John Hatcliff, Gurdip Singh
   Cadena: enabling CCM-based application development in Eclipse. [Citation Graph (0, 0)][DBLP]
   OOPSLA Workshop on Eclipse Technology eXchange, 2003, pp:20-24 [Conf]
   
9. John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby
   Slicing and partial evaluation of CORBA component model designs for avionics system. [Citation Graph (0, 0)][DBLP]
   PEPM, 2003, pp:1-2 [Conf]
   
10. Venkatesh Prasad Ranganath, Andrew King, Daniel Andresen
    Automatic Code Generation for LYE, a High-Performance Caching SOAP Implementation. [Citation Graph (0, 0)][DBLP]
    SWWS, 2006, pp:73-79 [Conf]
    
11. Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, Todd Wallentine
    Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:73-89 [Conf]
    
12. Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath
    Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:25, n:2-3, pp:199-240 [Journal]
    
13. Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer
    A new foundation for control dependence and slicing for modern program structures. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:5, pp:- [Journal]
    
14. 
    ISOLATOR: dynamically ensuring isolation in comcurrent programs. [Citation Graph (, )][DBLP]
    
    
15. 
    Logical Concurrency Control from Sequential Proofs. [Citation Graph (, )][DBLP]
    
    
16. 
    Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation. [Citation Graph (, )][DBLP]