Venkatesh Prasad Ranganath

Publication Activity (10 Years)

Years Active: 2003-2015
Publications (10 Years): 1

Top Topics

Security Analysis

Experimental Study

Peculiarity Oriented Mining

Top Venues

Sci. Comput. Program.

Publications

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