Venkatesh Prasad Ranganath

Joydeep Mitra, Venkatesh Prasad Ranganath, Joydeep Mitra, 2019, 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW).

Logical Concurrency Control from Sequential Proofs

Jyotirmoy V. Deshmukh, G. Ramalingam, Kapil Vaswani, 2010, Log. Methods Comput. Sci..

A new foundation for control dependence and slicing for modern program structures

Matthew B. Dwyer, Torben Amtoft, Anindya Banerjee, 2005, TOPL.

Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs

Matthew B. Dwyer, John Hatcliff, Robby, 2004, Formal Methods Syst. Des..

BenchPress: Analyzing Android App Vulnerability Benchmark Suites

Joydeep Mitra, Venkatesh Prasad Ranganath, 2019, 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW).

Logical Concurrency Control from Sequential Proofs

Jyotirmoy V. Deshmukh, G. Ramalingam, Kapil Vaswani, 2010, ESOP.

Compatibility testing using patterns-based trace comparison

Pankaj Gupta, Venkatesh Prasad Ranganath, Pradip Vallathol, 2014, ASE.

Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems

Matthew B. Dwyer, Gurdip Singh, John Hatcliff, 2004, FASE.

Slicing and partial evaluation of CORBA component model designs for avionics system

Matthew B. Dwyer, John Hatcliff, Georg Jung, 2003, PEPM '03.

Why do Users Kill HPC Jobs?

Daniel Andresen, Venkatesh Prasad Ranganath, Daniel Andresen, 2018, 2018 IEEE 25th International Conference on High Performance Computing (HiPC).

Communication patterns for interconnecting and composing medical systems

John Hatcliff, Robby, Venkatesh Prasad Ranganath, 2015, 2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).

ISOLATOR: dynamically ensuring isolation in comcurrent programs

Sriram K. Rajamani, G. Ramalingam, Kapil Vaswani, 2009, ASPLOS.

Ghera: A Repository of Android App Vulnerability Benchmarks

Joydeep Mitra, Venkatesh Prasad Ranganath, Joydeep Mitra, 2017, PROMISE.

Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation

David Lo, G. Ramalingam, Kapil Vaswani, 2009, 2009 16th Working Conference on Reverse Engineering.

Structural and temporal patterns-based features

Venkatesh Prasad Ranganath, Jithin Thomas, 2013, 2013 1st International Workshop on Data Analysis Patterns in Software Engineering (DAPSE).

Kaveri: Delivering the Indus Java Program Slicer to Eclipse

John Hatcliff, Venkatesh Prasad Ranganath, Ganeshan Jayaraman, 2005, FASE.

Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs

John Hatcliff, Venkatesh Prasad Ranganath, J. Hatcliff, 2004, CC.

Automatic Code Generation for LYE, a High-Performance Caching SOAP Implementation

Daniel Andresen, Andrew L. King, Venkatesh Prasad Ranganath, 2006, SWWS.

Ecosphere Principles for Medical Application Platforms

John Hatcliff, Robby, Venkatesh Prasad Ranganath, 2015, 2015 International Conference on Healthcare Informatics.

Cadena: enabling CCM-based application development in Eclipse

Matthew B. Dwyer, Gurdip Singh, John Hatcliff, 2003, eclipse '03.

Slicing concurrent Java programs using Indus and Kaveri

John Hatcliff, Venkatesh Prasad Ranganath, J. Hatcliff, 2007, International Journal on Software Tools for Technology Transfer.

Using Static and Dynamic Escape Analysis To Enable Model Reductions in Model-Checking Concurrent Object-Oriented Programs ?

Matthew B. Dwyer, John Hatcliff, Robby, 2003 .

Enriching Component Interfaces with Checkable Dependence Specifications ∗ ( Technical Report # 2005-5 )

Venkatesh Prasad Ranganath, J. Hatcliff, G. Jung, 2005 .

Indus-Java Program Slicer

Venkatesh Prasad Ranganath, .

LYE : HIGH-PERFORMANCE SOAP WITH MULTI-LEVEL CACHING

Venkatesh Prasad Ranganath, David M. Sexton, Daniel A. Andresen, 2004 .

Enabling Efficient Partial Order Reductions for Model Checking Object-Oriented Programs Using Static Calculation of Program Dependences

John Hatcliff, Robby, Venkatesh Prasad Ranganath, 2007 .

Honing the Detection of Interference and Ready Dependence for Slicing Concurrent Java Programs ∗

John Hatcliff, Venkatesh Prasad Ranganath, 2003 .

A SET-BASED APPROACH TO PACKET CLASSIFICATION

Venkatesh Prasad Ranganath, Daniel Andresen, 2003 .

Model-driven Middleware Specialization Techniques for Software Product-line Architectures in Distributed Real-time and Embedded Systems

Venkatesh Prasad Ranganath, A. Gokhale, D. Schmidt, 2005 .

Model-driven Middleware Specialization Techniques for Software Product-line Architectures in Distributed Real-time and Embedded Systems

Venkatesh Prasad Ranganath, A. Gokhale, D. Schmidt, 2005 .

OBJECT-FLOW ANALYSIS FOR OPTIMIZING FINITE-STATE MODELS OF JAVA SOFTWARE

Venkatesh Prasad Ranganath, Venkatesh-Prasad Ranganath, 2002 .

Scalable and accurate approaches for program dependence analysis, slicing, and verification of concurrent object oriented programs

John Hatcliff, Venkatesh Prasad Ranganath, Venkatesh-Prasad Ranganath, 2006 .

An Overview of the Indus Framework for Analysis and Slicing of Concurrent Java Software (Keynote Talk - Extended Abstract)

John Hatcliff, Venkatesh Prasad Ranganath, Venkatesh Ranganath, 2006, 2006 Sixth IEEE International Workshop on Source Code Analysis and Manipulation.