portrait

CS Academic|Engineer interested in formal+empirical methods, security, and systems

  1. Are Free Android App Security Analysis Tools Effective in Detecting Known Vulnerabilities? by Venkatesh-Prasad Ranganath and Joydeep Mitra.
    Technical Report, 2018. [Artifacts Repository]
  2. Why do Users Kill HPC Jobs? by Venkatesh-Prasad Ranganath and Daniel Andresen.
    International Conference on High Performance Computing, Data, and Analytics (HiPC), 2018. [Artifacts Repository]
  3. Ghera: A Repository of Android App Vulnerability Benchmarks by Joydeep Mitra and Venkatesh-Prasad Ranganath.
    International Conference on Predictive Models and Data Analytics in Software Engineering (PROMISE), 2017. [Artifacts Repository]
  4. Localized Disaster Networks Platform by Venkatesh-Prasad Ranganath, Hyung Jin Kim, and Daniel Andresen.
    White paper, 2017.
  5. Embrace Dynamic Artifacts by Venkatesh-Prasad Ranganath.
    Chapter in Perspectives on Data Science for Software Engineering, 2016.
  6. While models are good, simple explanations are better by Venkatesh-Prasad Ranganath.
    Chapter in Perspectives on Data Science for Software Engineering, 2016.
  7. Experimental Study with Real-world Data for Android App Security Analysis using Machine Learning by Sankardas Roy, Jordan DeLoach, Yuping Li, Doina Caragea, Xinming Ou, Nicolae Herndon, Venkatesh Prasad Ranganath, HongMin Li, and Nicolais Guevara.
    Annual Computer Security Applications Conference (ACSAC), 2015.
  8. Ecosphere Principles for Medical Application Platforms by Yu Jin Kim, Venkatesh-Prasad Ranganath, John Hatcliff, Robby and Sam Procter.
    International Conference on Healthcare Informatics (ICHI), 2015.
  9. Communication Patterns for Interconnecting and Composing Medical Systems (Extended Version) by Venkatesh-Prasad Ranganath, Yu Jin Kim, John Hatcliff, and Robby.
    International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2015.
  10. Integrated Clinical Environment Device Model: Stakeholders and High Level Requirements by Yu Jin Kim, John Hatcliff, Venkatesh-Prasad Ranganath, Robby, and Sandy Weininger.
    Medical Cyber Physical Systems Workshop (MedicalCPS), 2015.
  11. Compatibility Testing via Patterns-based Trace Comparison by Venkatesh-Prasad Ranganath, Pradip Vallathol, and Pankaj Gupta.
    International Conference on Automated Software Engineering (ASE), 2014. (Extended Version)
  12. Extrinsic Influence Factors in Software Reliability: A Study of 200,000 Windows Machines by Christian Bird, Venkatesh-Prasad Ranganath, Thomas Zimmermann, Nachiappan Nagappan, and Andreas Zeller.
    International Conference on Software Engineering (ICSE/SEIP track), 2014.
  13. Structural and Temporal Patterns-Based Features by Venkatesh-Prasad Ranganath and Jithin Thomas.
    International Workshop on Data Analysis Patterns in Software Engineering (DAPSE), 2013.
  14. Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation by David Lo, G. Ramalingam, Venkatesh-Prasad Ranganath, and Kapil Vaswani.
    Science of Computer Programming (SCP), Volume 77, Issue 6, 2012.
  15. Logical Concurrency Control From Sequential Proofs by Jyotirmoy Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath, and Kapil Vaswani.
    Logical Methods in Computer Science (LMCS), Volume 7, Issue 3, 2011.
  16. Logical Concurrency Control From Sequential Proofs by Jyotirmoy Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath, and Kapil Vaswani.
    European Symposium on Programming (ESOP), 2010.
    Received Best Paper award.
  17. Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation by David Lo, G. Ramalingam, Venkatesh-Prasad Ranganath, and Kapil Vaswani.
    Working Conference on Reverse Engineering (WCRE), 2009.
  18. Isolator: Dynamically Ensuring Isolation in Concurrent Programs by Sriram K. Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, and Kapil Vaswani.
    International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2009.
  19. Controlling Non-determinism for Semantic Guarantees by Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, and Kapil Vaswani.
    Exploiting Concurrency Efficiently and Correctly -- (EC)2, a CAV Workshop, 2008.
  20. Component-Oriented Programming and Datacenter Applications by Venkatesh-Prasad Ranganath.
    The Rise and Rise of Declarative Datacenter, a workshop on programming for datacenters, 2008
  21. Slicing Concurrent Java Programs using Indus and Kaveri by Venkatesh Prasad Ranganath and John Hatcliff.
    International Journal on Software Tools for Technology Transfer (STTT) dedicated to the best papers from FASE 2004-05, 2007.
  22. A New Foundation For Control-Dependence and Slicing for Modern Program Structures by Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, and John Hatcliff.
    Special issue of ACM Transactions on Programming languages and Systems (TOPLAS) dedicated to the best papers from ESOP 2005, 2007.
  23. Enabling Efficient Partial Order Reductions for Model Checking Object-Oriented Programs Using Static Calculation of Program Dependences by Venkatesh Prasad Ranganath, John Hatcliff, and Robby.
    Technical Report, 2007.
  24. Notes on Interference Dependences by Venkatesh Prasad Ranganath.
    Informal notes about intransitivity of interference dependence, 2007.
  25. Scalable and Accurate Approaches to Program Dependence Analysis, Slicing, and Verification of Concurrent Object Oriented Programs by Venkatesh Prasad Ranganath.
    Doctoral Dissertation, 2006.
  26. An Overview of the Indus Framework for Analysis and Slicing of Concurrent Java Software by Venkatesh Prasad Ranganath and John Hatcliff.
    Keynote at Source Code Analysis and Manipulation (SCAM), 2006.
  27. Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs by Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, and Todd Wallentine.
    Tools and Algorithms for the Construction and Analysis of Systems (TACAS).
    Invited to appear in the collection of best papers from TACAS 2006.
  28. Automatic code generation for LYE, a high-performance caching SOAP implementation by Venkatesh Prasad Ranganath, Andrew King, and Daniel Andresen.
    International Conference on Semantic Web & Web Services (SWWS), 2006.
  29. Towards highly optimized real-time middleware for software product-line architectures by Arvind S Krishna, Aniruddha Gokhale, Douglas C. Schmidt, Venkatesh Prasad Ranganath, and John Hatcliff.
    ACM SIGBED Review - Special issue: The work-in-progress (WIP) session of the RTSS 2005.
  30. Notes on Atomicity by Venkatesh Prasad Ranganath.
    Informal notes about atomicity, 2006.
  31. A New Foundation For Control-Dependence and Slicing for Modern Program Structures by Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, and John Hatcliff.
    European Symposium On Programming (ESOP), 2005.
    Appeared in best papers collection from ETAPS 2005.(extended version)
  32. Kaveri: Delivering Indus Java Program Slicer to Eclipse by Ganeshan Jayaraman, Venkatesh Prasad Ranganath, and John Hatcliff.
    Fundamental Approaches to Software Engineering (FASE), 2005.
    Appeared in best papers collection from FASE 2004-05.
  33. Enriching Component Interfaces with Checkable Dependence Specifications by Venkatesh Prasad Ranganath, Matt Dwyer, John Hatcliff, and Georg Jung.
    Technical Report, 2005.
  34. Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs by Matthew B. Dwyer, John Hatcliff, Robby, and Venkatesh Prasad Ranganath.
    Formal Methods in System Design (FMSD), 2004.
  35. LYE: high performance SOAP with multi-level caching by Venkatesh Prasad Ranganath, David Saxton, and Daniel Andresen.
    Parallel and Distributed Computing and Systems (PDCS), 2004.
    Nominated for best paper award.
  36. LYE: a high performance caching SOAP implementation by Daniel Andresen, David Saxton, Kiran Devaram, and Venkatesh Prasad Ranganath.
    International Conference on Parallel Processing (ICPP), 2004.
  37. Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs by Venkatesh Prasad Ranganath and John Hatcliff.
    International Conference on Compiler Construction (CC), 2004. (extended version)
  38. A Correlation Framework for CORBA Component Model by Georg Jung, John Hatcliff, and Venkatesh Prasad Ranganath.
    Fundamental Approaches to Software Engineering (FASE), 2004.
  39. Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-based Systems by Adams Child, Jesse Greenewald, Venkatesh Ranganath, Xianghua Deng, Matthew Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, and Gurdip Singh.
    Fundamental Approaches to Software Engineering (FASE), 2004.
  40. A Set-based Approach to Packet Classification by Venkatesh Prasad Ranganath and Daniel Andresen.
    Parallel and Distributed Computing and Systems (PDCS), 2003.
    Nominated for best paper award.
  41. Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems by John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, and Venkatesh Prasad Ranganath.
    International Conference on Software Engineering (ICSE), 2003.
  42. CADENA: Enabling CCM-based Application Development in Eclipse by Venkatesh Prasad Ranganath, Adam Childs, Jesse Greenewald, Matthew B. Dwyer, John Hatcliff, and Gurdip Singh.
    eTX (eclipse Technology eXchange) workshop, 2003.
  43. Slicing and Partial Evaluation of CORBA Component Model Designs for Avionics System by John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, and Robby.
    Invited talk at Partial Evaluation and Program Manipulation (PEPM), 2003.
  44. Object-Flow Analysis for Optimizing Finite-State Models of Java Software by Venkatesh Prasad Ranganath.
    Master's Thesis, 2002.

Patents

  1. Compatibility Testing Using Traces, Linear Temporal Rules, and Behavioral Models. Patent US 8892493
  2. Temporal Rule-Based Feature Definition and Extraction. Patent US 8538909
  3. Abstracting Events for Data Mining. Patent US 8280899
  4. Identifying Concurrency Control from a Sequential Proof. Patent US 20100169618
  5. System to Reduce Interference in Concurrent Programs. Patent US 7941616