Venkatesh-Prasad Ranganath's HomePage

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Venkatesh-Prasad Ranganath's HomePage

ASE'08, ETAPS'08, FSE'08, ICSE'08, ISSTA'08
CAV'08, CONCUR'08, ECOOP'08, ICALP'08, POPL'08, PLDI'08
GPCE'08, PASTE'08, PEPM'08, SCAM'08, SAS'08
HPDC'08, IPDPS'08, OSDI'08

I am a researcher in the Rigorous Software Engineering group at Microsoft Research, India. More info can be found in my CV.

I am interested in developing/applying preventive programming techniques, program analysis, and model driven development to address issues in concurrent programming, program verification, loosely coupled distributed system development, and automatic software adaptation.

Publications

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.
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.
Accepted at Tools and Algorithms for the Construction and Analysis of Systems (TACAS) held as part of ETAPS 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.
Accepted at 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.
Accepted at 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.
Accepted at European Symposium On Programming (ESOP) held as part of 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.
Accepted at Fundamental Approaches to Software Engineering (FASE) held as part of ETAPS 2005. (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.
Published in 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.
Accepted at 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.
Accepted at 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.
Accepted at 13th 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.
Accepted at Fundamental Approaches to Software Engineering (FASE) held as part of ETAPS 2004.
Cadena: An Integrated Development Environment for Analysis, Sythesis, 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.
Accepted at 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 targetted for component-oriented programming.

2003:

A Set-based Approach to Packet Classification by Venkatesh Prasad Ranganath and Daniel Andresen.
Accepted at 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.
Accepted at International Conference on Software Engineering (ICSE) 2003.
This document describes Cadena, a Eclipse-based model driven development environment targetted 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.
Accepted at eTX (eclipse Technology eXchange) workshop held as part of OOPSLA 2003.
This document provides Eclipse-oriented description of Cadena, a model driven development environment targetted 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.

Projects

At Kansas State University:

Indus focused on concurrent program slicing.
Bandera focused on program verification via explicit state model checking.
Cadena focused on model driven development of component based systems.
LYE focused on non-intrusive optimizations for handling SOAP messages.