Venkatesh Prasad Ranganath

2009
15	EE	Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani: ISOLATOR: dynamically ensuring isolation in comcurrent programs. ASPLOS 2009: 181-192
2007
14	EE	Venkatesh 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)
13	EE	Venkatesh 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
11	EE	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. TACAS 2006: 73-89
2005
10	EE	Venkatesh 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
9	EE	Ganeshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff: Kaveri: Delivering the Indus Java Program Slicer to Eclipse. FASE 2005: 269-272
2004
8	EE	Venkatesh Prasad Ranganath, John Hatcliff: Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs. CC 2004: 39-56
7	EE	Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath: A Correlation Framework for the CORBA Component Model. FASE 2004: 144-159
6	EE	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. FASE 2004: 160-164
5	EE	Daniel Andresen, David Sexton, Kiran Devaram, Venkatesh Prasad Ranganath: LYE: A High-Performance Caching SOAP Implementation. ICPP 2004: 143-150
4	EE	Matthew 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
3	EE	John 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
2	EE	Venkatesh 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
1	EE	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. PEPM 2003: 1-2

Coauthor Index

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

Colors in the list of coauthors