Venkatesh-Prasad Ranganath

Controlling Non-determinism for Semantic Guarantees

Sriram K. Rajamani, Kapil Vaswani, Ganesan Ramalingam, 2008 .

Scalable and accurate approaches for program dependence analysis, slicing, and verification of concurrent object oriented programs

John Hatcliff, Venkatesh Prasad Ranganath, Venkatesh-Prasad Ranganath, 2006 .

While models are good, simple explanations are better

Venkatesh-Prasad Ranganath, 2016, Perspectives on Data Science for Software Engineering.

LYE: a high-performance caching SOAP implementation

Daniel Andresen, Kiran Devaram, Venkatesh-Prasad Ranganath, 2004 .

OBJECT-FLOW ANALYSIS FOR OPTIMIZING FINITE-STATE MODELS OF JAVA SOFTWARE

Venkatesh Prasad Ranganath, Venkatesh-Prasad Ranganath, 2002 .

Embrace dynamic artifacts

Venkatesh-Prasad Ranganath, 2016, Perspectives on Data Science for Software Engineering.