Papers

  • 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.
    Submitted.
    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.