Venkatesh Prasad Ranganath
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
10
Active years
2003–2015
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ACSAC | Experimental Study with Real-world Data for Android App Security Analysis using Machine Learning. | Sankardas Roy, Jordan DeLoach, Yuping Li, Nic Herndon, Doina Caragea, Xinming Ou, Venkatesh Prasad Ranganath, Hongmin Li, Nicolais Guevara |
| 2010 | ESOP | Logical Concurrency Control from Sequential Proofs. | Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
| 2009 | ASPLOS | ISOLATOR: dynamically ensuring isolation in comcurrent programs. | Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
| 2006 | TACAS | Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. | Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, Todd Wallentine |
| 2005 | ESOP | A New Foundation for Control-Dependence and Slicing for Modern Program Structures. | Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff |
| 2005 | FASE | Kaveri: Delivering the Indus Java Program Slicer to Eclipse. | Ganeshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff |
| 2004 | CC | Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs. | Venkatesh Prasad Ranganath, John Hatcliff |
| 2004 | FASE | Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. | Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh |
| 2004 | FASE | A Correlation Framework for the CORBA Component Model. | Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath |
| 2004 | ICPP | LYE: A High-Performance Caching SOAP Implementation. | Daniel Andresen, David Sexton, Kiran Devaram, Venkatesh Prasad Ranganath |
| 2003 | ICSE | Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. | John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath |
| 2003 | OOPSLA | Cadena: enabling CCM-based application development in Eclipse. | Venkatesh Prasad Ranganath, Adam Childs, Jesse Greenwald, Matthew B. Dwyer, John Hatcliff, Gurdip Singh |
| 2003 | PEPM | Slicing and partial evaluation of CORBA component model designs for avionics system. | John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby |