Venkatesh Prasad Ranganath Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani: ISOLATOR: dynamically ensuring isolation in comcurrent programs. ASPLOS 2009: 181-192
2007
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer: A new foundation for control dependence and slicing for modern program structures. ACM Trans. Program. Lang. Syst. 29(5): (2007)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh Prasad Ranganath, John Hatcliff: Slicing concurrent Java programs using Indus and Kaveri. STTT 9(5-6): 489-504 (2007)
2006
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh Prasad Ranganath, Andrew King, Daniel Andresen: Automatic Code Generation for LYE, a High-Performance Caching SOAP Implementation. SWWS 2006: 73-79
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew 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. TACAS 2006: 73-89
2005
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff: A New Foundation for Control-Dependence and Slicing for Modern Program Structures. ESOP 2005: 77-93
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGaneshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff: Kaveri: Delivering the Indus Java Program Slicer to Eclipse. FASE 2005: 269-272
2004
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh Prasad Ranganath, John Hatcliff: Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs. CC 2004: 39-56
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Jung, John Hatcliff, Venkatesh Prasad Ranganath: A Correlation Framework for the CORBA Component Model. FASE 2004: 144-159
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam 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. FASE 2004: 160-164
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Andresen, David Sexton, Kiran Devaram, Venkatesh Prasad Ranganath: LYE: A High-Performance Caching SOAP Implementation. ICPP 2004: 143-150
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath: Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. Formal Methods in System Design 25(2-3): 199-240 (2004)
2003
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath: Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. ICSE 2003: 160-173
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh Prasad Ranganath, Adam Childs, Jesse Greenwald, Matthew B. Dwyer, John Hatcliff, Gurdip Singh: Cadena: enabling CCM-based application development in Eclipse. OOPSLA Workshop on Eclipse Technology eXchange 2003: 20-24
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby: Slicing and partial evaluation of CORBA component model designs for avionics system. PEPM 2003: 1-2

Coauthor Index

1Torben Amtoft (Torben Amtoft Hansen) [10] [14]
2Daniel Andresen [5] [12]
3Anindya Banerjee [10] [14]
4Adam Childs [2] [6]
5William Deng [1]
6Xianghua Deng [3] [6]
7Kiran Devaram [5]
8Matthew B. Dwyer [1] [2] [3] [4] [6] [10] [11] [14]
9Jesse Greenwald [2] [6]
10John Hatcliff [1] [2] [3] [4] [6] [7] [8] [9] [10] [11] [13] [14]
11Matthew Hoosier [11]
12Ganeshan Jayaraman [9]
13Georg Jung [1] [3] [6] [7]
14Andrew King [12]
15Sriram K. Rajamani [15]
16G. Ramalingam (Ganesan Ramalingam) [15]
17 Robby [1] [4] [11]
18David Sexton [5]
19Prashant Shanti [6]
20Gurdip Singh [2] [6]
21Kapil Vaswani [15]
22Todd Wallentine [11]

Copyright © Mon Nov 23 18:13:59 2009 by Michael Ley (ley@uni-trier.de)