Venkatesh Prasad Ranganath

21 papers A* 2A 4B 5C 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2015 A conf
Experimental Study with Real-world Data for Android App Security Analysis using Machine Learning.
ACSAC
Sankardas Roy, Jordan DeLoach, Yuping Li, Nic Herndon, Doina Caragea, Xinming Ou, Venkatesh Prasad Ranganath, Hongmin Li, Nicolais Guevara
2012 J jnl
Mining quantified temporal rules: Formalism, algorithms, and evaluation.
Sci. Comput. Program.
David Lo, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani
2011 J jnl
Logical Concurrency Control from Sequential Proofs
Log. Methods Comput. Sci.
Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani
2010 A conf
Logical Concurrency Control from Sequential Proofs.
ESOP
Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani
2009 A* conf
ISOLATOR: dynamically ensuring isolation in comcurrent programs.
ASPLOS
Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani
2009 — conf
Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation.
WCRE
David Lo, Ganesan Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani
2007 J jnl
A new foundation for control dependence and slicing for modern program structures.
ACM Trans. Program. Lang. Syst.
Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer
2007 J jnl
Slicing concurrent Java programs using Indus and Kaveri.
Int. J. Softw. Tools Technol. Transf.
Venkatesh Prasad Ranganath, John Hatcliff
2006 — conf
Automatic Code Generation for LYE, a High-Performance Caching SOAP Implementation.
SWWS
Venkatesh Prasad Ranganath, Andrew L. King, Daniel Andresen
2006 A conf
Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs.
TACAS
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, Todd Wallentine
2006 J jnl
Towards highly optimized real-time middleware for software product-line architectures.
SIGBED Rev.
Arvind S. Krishna, Aniruddha S. Gokhale, Douglas C. Schmidt, Venkatesh Prasad Ranganath, John Hatcliff
2005 A conf
A New Foundation for Control-Dependence and Slicing for Modern Program Structures.
ESOP
Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff
2005 B conf
Kaveri: Delivering the Indus Java Program Slicer to Eclipse.
FASE
Ganeshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff
2004 B conf
A Correlation Framework for the CORBA Component Model.
FASE
Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath
2004 B conf
Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems.
FASE
Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh
2004 J jnl
Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs.
Formal Methods Syst. Des.
Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath
2004 B conf
LYE: A High-Performance Caching SOAP Implementation.
ICPP
Daniel Andresen, David Sexton, Kiran Devaram, Venkatesh Prasad Ranganath
2004 B conf
Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs.
CC
Venkatesh Prasad Ranganath, John Hatcliff
2003 A* conf
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems.
ICSE
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath
2003 — conf
Cadena: enabling CCM-based application development in Eclipse.
eTX
Venkatesh Prasad Ranganath, Adam Childs, Jesse Greenwald, Matthew B. Dwyer, John Hatcliff, Gurdip Singh
2003 C conf
Slicing and partial evaluation of CORBA component model designs for avionics system.
PEPM
John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby