Venkatesh-Prasad Ranganath's HomePage

I am a researcher at Microsoft Research, India. More info can be found in my CV.

Projects: Bandera, Cadena, Indus, LYE, and Tark

Conferences: ASE'12, ECOOP'12, ESEM'12, ETAPS'12, FSE'12, ICSE'12, +ISSRE'12, ISSTA'12, MSR'12, +PADTAD'12, +RV'12, SPLASH'12, and +ISEC'13.

Publications

2012:

Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation by David Lo, G. Ramalingam, Venkatesh-Prasad Ranganath, and Kapil Vaswani.
Science of Computer Programming (SCP), Volume 77, Issue 6, 2012.

2011:

Logical Concurrency Control From Sequential Proofs by Jyotirmoy Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath, and Kapil Vaswani.
Logical Methods in Computer Science (LMCS), Volume 7, Issue 3, 2011.

2010:

Logical Concurrency Control From Sequential Proofs by Jyotirmoy Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath, and Kapil Vaswani.
European Symposium on Programming (ESOP) held as part of ETAPS 2010. Received Best Paper award.

2009:

Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation by David Lo, G. Ramalingam, Venkatesh-Prasad Ranganath, and Kapil Vaswani.
Working Conference on Reverse Engineering (WCRE) 2009.
Isolator: Dynamically Ensuring Isolation in Concurrent Programs by Sriram K. Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, and Kapil Vaswani.
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2009.

2008:

Controlling Non-determinism for Semantic Guarantees by Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, and Kapil Vaswani.
Exploiting Concurrency Efficiently and Correctly -- (EC)², a CAV 2008 Workshop.
Component-Oriented Programming and Datacenter Applications by Venkatesh-Prasad Ranganath.
The Rise and Rise of Declarative Datacenter, a workshop on programming for datacenters.

2007:

Slicing Concurrent Java Programs using Indus and Kaveri by Venkatesh Prasad Ranganath and John Hatcliff.
International Journal on Software Tools for Technology Transfer (STTT) dedicated to the best papers from FASE 2004-05 (2007).
This document is in part an extension of the FASE 2005 effort titled "Kaveri: Delivering Indus Java Program Slicer to Eclipse" with detailed exposition about the Indus program slicing framework and Kaveri.
A New Foundation For Control-Dependence and Slicing for Modern Program Structures by Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, and John Hatcliff.
Special issue of ACM Transactions on Programming languages and Systems (TOPLAS) dedicated to the best papers from ESOP 2005 (2007).
This document is an extended version of our ESOP 2005 effort (with the same title) with techniques to handle irreducible graphs, complete proofs for slicing correctness, and algorithms to calculate the proposed notions of dependence along with their correctness proofs.
Enabling Efficient Partial Order Reductions for Model Checking Object-Oriented Programs Using Static Calculation of Program Dependences by Venkatesh Prasad Ranganath, John Hatcliff, and Robby.
Notes on Interference Dependences by Venkatesh Prasad Ranganath.
This document contains informal notes about intransitivity of interference dependence.

2006:

Scalable and Accurate Approaches to Program Dependence Analysis, Slicing, and Verification of Concurrent Object Oriented Programs by Venkatesh Prasad Ranganath.
Doctoral Dissertation, December 2006.
An Overview of the Indus Framework for Analysis and Slicing of Concurrent Java Software by Venkatesh Prasad Ranganath and John Hatcliff.
Keynote at Source Code Analysis and Manipulation (SCAM) 2006.
Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs by Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, and Todd Wallentine.
Tools and Algorithms for the Construction and Analysis of Systems (TACAS) held as part of ETAPS 2006. Invited for best paper collection from TACAS 2006.
This document describes an empirical evaluation of the effectiveness of Slicing as a model reduction technique in the realm of verifying concurrent Java programs via software model checking.
Automatic code generation for LYE, a high-performance caching SOAP implementation by Venkatesh Prasad Ranganath, Andrew King, and Daniel Andresen.
International Conference on Semantic Web & Web Services (SWWS) 2006.
This document describes the automatic code generation support in LYE along with the two approaches available for SOAP message serialization.
Context-Specific Middleware Specialization Techniques for Optimizing Software Product-line Architecture by Arvind S Krishna, Aniruddha Gokhale, Douglas C. Schmidt, Venkatesh Prasad Ranganath, and John Hatcliff.
EuroSys 2006.
This document describes and reports about context-specific middleware specific optimizations that are amenable to automation.
Notes on Atomicity by Venkatesh Prasad Ranganath.
This document contains informal notes about atomicity.

2005:

A New Foundation For Control-Dependence and Slicing for Modern Program Structures by Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, and John Hatcliff.
European Symposium On Programming (ESOP) held as part of ETAPS 2005. Appeared in best papers collection from ETAPS 2005. (extended version)
This document provides new definitions for control dependences for CFGs that have zero or more exit (sink) nodes. It also provides proofs for correctness of slicing based on the proposed definitions.
Kaveri: Delivering Indus Java Program Slicer to Eclipse by Ganeshan Jayaraman, Venkatesh Prasad Ranganath, and John Hatcliff.
Fundamental Approaches to Software Engineering (FASE) held as part of ETAPS 2005. Appeared in best papers collection from FASE 2004-05. (extended version)
This document describes Kaveri, a Eclipse-based Java program slicing tool.
Enriching Component Interfaces with Checkable Dependence Specifications by Venkatesh Prasad Ranganath, Matt Dwyer, John Hatcliff, and Georg Jung.
This report describes how component interface specifications can be enriched with dependence and flow information to enable automated checking based program dependences.

2004:

Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs by Matthew B. Dwyer, John Hatcliff, Robby, and Venkatesh Prasad Ranganath.
Formal Methods in System Design (FMSD) 2004.
This document describes the application of static and dynamic escape analysis as a partial-order reduction technique in the context of explicit state model checking.
LYE: high performance SOAP with multi-level caching by Venkatesh Prasad Ranganath, David Saxton, and Daniel Andresen.
Parallel and Distributed Computing and Systems (PDCS) 2004. Nominated for best paper award.
This document describes multi-level caching techniques along with template-based approach to optimize the performance of SOAP by focusing on SOAP response serialization.
LYE: a high performance caching SOAP implementation by Daniel Andresen, David Saxton, Kiran Devaram, and Venkatesh Prasad Ranganath.
International Conference on Parallel Processing (ICPP) 2004.
This document describes various server-side caching techniques to optimize SOAP performance by reducing the cost associated with SOAP response serialization.
Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs by Venkatesh Prasad Ranganath and John Hatcliff.
International Conference on Compiler Construction (CC) held as part of ETAPS 2004. (extended version)
This document describes an extension and application of escape analysis for Java in the context of interference dependence and program slicing.
A Correlation Framework for CORBA Component Model by Georg Jung, John Hatcliff, and Venkatesh Prasad Ranganath.
Fundamental Approaches to Software Engineering (FASE) held as part of ETAPS 2004.
Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-based Systems by Adams Child, Jesse Greenewald, Venkatesh Ranganath, Xianghua Deng, Matthew Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, and Gurdip Singh.
Fundamental Approaches to Software Engineering (FASE) held as part of ETAPS 2004.
This document provides tool-oriented description of Cadena, a Eclipse-based model driven development environment targeted for component-oriented programming.

2003:

A Set-based Approach to Packet Classification by Venkatesh Prasad Ranganath and Daniel Andresen.
Parallel and Distributed Computing and Systems (PDCS) 2003. Nominated for best paper award.
This document describes a simple and fast set theoretic approach to network packet classification.
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems by John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, and Venkatesh Prasad Ranganath.
International Conference on Software Engineering (ICSE) 2003.
This document describes Cadena, a Eclipse-based model driven development environment targeted for component-oriented programming.
CADENA: Enabling CCM-based Application Development in Eclipse by Venkatesh Prasad Ranganath, Adam Childs, Jesse Greenewald, Matthew B. Dwyer, John Hatcliff, and Gurdip Singh.
eTX (eclipse Technology eXchange) workshop held as part of OOPSLA 2003.
This document provides Eclipse-oriented description of Cadena, a model driven development environment targeted for component-oriented programming.
Slicing and Partial Evaluation of CORBA Component Model Designs for Avionics System by John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, and Robby.
Invited talk at Partial Evaluation and Program Manipulation (PEPM) 2003.

2002:

Object-Flow Analysis for Optimizing Finite-State Models of Java Software by Venkatesh Prasad Ranganath.
Master's Thesis, May 2002.