Null dereference verification via over-approximated weakest pre-conditions analysis. - Ravichandhran Madhavan; Raghavan Komondoor (OOPSLA, 2011)

Purity Analysis: An Abstract Interpretation Formulation. - Ravichandhran Madhavan; Ganesan Ramalingam; Kapil Vaswani (SAS, 2011)

Modular Heap Analysis for Higher-Order Programs. - Ravichandhran Madhavan; G. Ramalingam; Kapil Vaswani (SAS, 2012)

Symbolic Resource Bound Inference for Functional Programs. - Ravichandhran Madhavan; Viktor Kuncak (CAV, 2014)

Automating grammar comparison. - Ravichandhran Madhavan; Mikaël Mayer; Sumit Gulwani; Viktor Kuncak (OOPSLA, 2015)

A Framework For Efficient Modular Heap Analysis. - Ravichandhran Madhavan; G. Ramalingam; Kapil Vaswani (Found. Trends Program. Lang., 2015)

A Scala library for testing student assignments on concurrent programming. - Mikaël Mayer; Ravichandhran Madhavan (SCALA@SPLASH, 2016)

Contract-based resource verification for higher-order functions with memoization. - Ravichandhran Madhavan; Sumith Kulal; Viktor Kuncak (POPL, 2017)

Algorithmic Resource Verification. - Ravichandhran Madhavan (2017)