Venkatesh Prasad Ranganath

According to our database, Venkatesh Prasad Ranganath authored at least 32 papers between 2003 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Are free Android app security analysis tools effective in detecting known vulnerabilities?

Venkatesh-Prasad Ranganath, Joydeep Mitra

Empir. Softw. Eng., 2020

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps.

Joydeep Mitra, Venkatesh-Prasad Ranganath

CoRR, 2020

2019

BenchPress: Analyzing Android App Vulnerability Benchmark Suites.

Joydeep Mitra, Venkatesh-Prasad Ranganath

CoRR, 2019

BenchPress: Analyzing Android App Vulnerability Benchmark Suites.

Joydeep Mitra, Venkatesh-Prasad Ranganath, Aditya Narkar

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2019

SeMA: A Design Methodology for Building Secure Android Apps.

Joydeep Mitra, Venkatesh-Prasad Ranganath

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2019

2018

Why do Users Kill HPC Jobs?

Venkatesh-Prasad Ranganath, Daniel Andresen

Proceedings of the 25th IEEE International Conference on High Performance Computing, 2018

2017

Ghera: A Repository of Android App Vulnerability Benchmarks.

Joydeep Mitra, Venkatesh-Prasad Ranganath

Proceedings of the 13th International Conference on Predictive Models and Data Analytics in Software Engineering, 2017

2016

While models are good, simple explanations are better.

Venkatesh-Prasad Ranganath

Proceedings of the Perspectives on Data Science for Software Engineering, 2016

Embrace dynamic artifacts.

Venkatesh-Prasad Ranganath

Proceedings of the Perspectives on Data Science for Software Engineering, 2016

2015

Ecosphere Principles for Medical Application Platforms.

Yu Jin Kim, Sam Procter, John Hatcliff, Venkatesh-Prasad Ranganath, Robby

Proceedings of the 2015 International Conference on Healthcare Informatics, 2015

Communication patterns for interconnecting and composing medical systems.

Venkatesh-Prasad Ranganath, Yu Jin Kim, John Hatcliff, Robby

Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

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

Proceedings of the 31st Annual Computer Security Applications Conference, 2015

2014

Compatibility testing using patterns-based trace comparison.

Venkatesh-Prasad Ranganath, Pradip Vallathol, Pankaj Gupta

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Extrinsic influence factors in software reliability: a study of 200, 000 windows machines.

Christian Bird, Venkatesh-Prasad Ranganath, Thomas Zimmermann, Nachiappan Nagappan, Andreas Zeller

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Structural and temporal patterns-based features.

Venkatesh-Prasad Ranganath, Jithin Thomas

Proceedings of the 1st International Workshop on Data Analysis Patterns in Software Engineering, 2013

2012

Mining quantified temporal rules: Formalism, algorithms, and evaluation.

David Lo, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani

Sci. Comput. Program., 2012

2011

Logical Concurrency Control from Sequential Proofs

Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani

Log. Methods Comput. Sci., 2011

2009

ISOLATOR: dynamically ensuring isolation in comcurrent programs.

Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani

Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, 2009

2007

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

Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer

ACM Trans. Program. Lang. Syst., 2007

Slicing concurrent Java programs using Indus and Kaveri.

Venkatesh Prasad Ranganath, John Hatcliff

Int. J. Softw. Tools Technol. Transf., 2007

2006

Towards highly optimized real-time middleware for software product-line architectures.

Arvind S. Krishna, Aniruddha S. Gokhale, Douglas C. Schmidt, Venkatesh Prasad Ranganath, John Hatcliff

SIGBED Rev., 2006

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

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

Venkatesh Prasad Ranganath, Andrew L. King, Daniel Andresen

Proceedings of the 2006 International Conference on Semantic Web & Web Services, 2006

2005

Kaveri: Delivering the Indus Java Program Slicer to Eclipse.

Ganeshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff

Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004

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

Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath

Formal Methods Syst. Des., 2004

LYE: A High-Performance Caching SOAP Implementation.

Daniel Andresen, David Sexton, Kiran Devaram, Venkatesh Prasad Ranganath

Proceedings of the 33rd International Conference on Parallel Processing (ICPP 2004), 2004

A Correlation Framework for the CORBA Component Model.

Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath

Proceedings of the Fundamental Approaches to Software Engineering, 2004

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

Proceedings of the Fundamental Approaches to Software Engineering, 2004

Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs.

Venkatesh Prasad Ranganath, John Hatcliff

Proceedings of the Compiler Construction, 13th International Conference, 2004

2003

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

Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003

Cadena: enabling CCM-based application development in Eclipse.

Venkatesh Prasad Ranganath, Adam Childs, Jesse Greenwald, Matthew B. Dwyer, John Hatcliff, Gurdip Singh

Proceedings of the 2003 OOPSLA Workshop on Eclipse Technology eXchange, 2003

Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems.

John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath

Proceedings of the 25th International Conference on Software Engineering, 2003