dblp.uni-trier.dewww.uni-trier.de

Venkatesh Prasad Ranganath

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
15EESriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani: ISOLATOR: dynamically ensuring isolation in comcurrent programs. ASPLOS 2009: 181-192
2007
14EEVenkatesh 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)
13EEVenkatesh Prasad Ranganath, John Hatcliff: Slicing concurrent Java programs using Indus and Kaveri. STTT 9(5-6): 489-504 (2007)
2006
12 Venkatesh Prasad Ranganath, Andrew King, Daniel Andresen: Automatic Code Generation for LYE, a High-Performance Caching SOAP Implementation. SWWS 2006: 73-79
11EEMatthew 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
10EEVenkatesh 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
9EEGaneshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff: Kaveri: Delivering the Indus Java Program Slicer to Eclipse. FASE 2005: 269-272
2004
8EEVenkatesh Prasad Ranganath, John Hatcliff: Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs. CC 2004: 39-56
7EEGeorg Jung, John Hatcliff, Venkatesh Prasad Ranganath: A Correlation Framework for the CORBA Component Model. FASE 2004: 144-159
6EEAdam 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
5EEDaniel Andresen, David Sexton, Kiran Devaram, Venkatesh Prasad Ranganath: LYE: A High-Performance Caching SOAP Implementation. ICPP 2004: 143-150
4EEMatthew 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
3EEJohn 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
2EEVenkatesh 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
1EEJohn 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]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)