- Evaluating the Effectiveness of
Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Matthew B. Dwyer, John Hatcliff,
Matthew Hoosier, Venkatesh Ranganath ,Robby, 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.
- Slicing Concurrent
Java Programs using Indus and Kaveri -- Venkatesh Prasad Ranganath and John Hatcliff.
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.
- Enriching Component
Interfaces with Checkable Dependence Specifications -- Venkatesh Prasad Ranganath, Georg Jung, John
Hatcliff, and Matthew B. Dwyer.
Technical Report, SAnToS-TR2005-5, 2005. Last updated: September 10, 2005
This report describes how component interface specifications can be enriched with dependence and flow information to enable automated checking based program dependences.
- A New Foundation For
Control-Dependence and Slicing for Modern Program Structures -- Venkatesh Prasad Ranganath, Torben Amtoft,
Anindya Banerjee, Matthew B. Dwyer, and John Hatcliff.
Accepted at European Symposium On Programming (ESOP'05) held as part of ETAPS 2005. (extended version)
This document provides new definitions for control and control-based dependences for CFGs independent of the number of exit nodes and their reducibility. It also provides complete proofs for correctness of slicing based on proposed definitions along with algorithms to calculate the proposed notions of dependences.
- Kaveri: Delivering Indus Java
Program Slicer to Eclipse -- Ganeshan Jayaraman, Venkatesh Prasad Ranganath, and John Hatcliff.
Accepted at Fundamental Approaches to Software Engineering (FASE'05) held as part of ETAPS 2005. (extended version)
This document describes the Kaveri, a Eclipse-based Java program slicing tool.
- Pruning Interference and Ready
Dependence for Slicing Concurrent Java Programs. -- Venkatesh Prasad Ranganath, John Hatcliff.
Accepted at 13th International Conference on Compiler Construction (CC) 2004 held as part of ETAPS 2004. (extended version)
This document describes the extension and application of escape analysis for Java in the context of interference dependence and program slicing.