Ravichandhran Madhavan

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 4

Top Topics

Signature Verification

Concurrent Programming

Item Response Theory

Top Venues

Found. Trends Program. Lang.

Publications

Ravichandhran Madhavan, Sumith Kulal, Viktor Kuncak
Contract-based resource verification for higher-order functions with memoization. POPL (2017)
Mikaël Mayer, Ravichandhran Madhavan
A Scala library for testing student assignments on concurrent programming. SCALA@SPLASH (2016)
Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani
A Framework For Efficient Modular Heap Analysis. Found. Trends Program. Lang. 1 (4) (2015)
Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, Viktor Kuncak
Automating grammar comparison. OOPSLA (2015)
Ravichandhran Madhavan, Viktor Kuncak
Symbolic Resource Bound Inference for Functional Programs. CAV (2014)
Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani
Modular Heap Analysis for Higher-Order Programs. SAS (2012)
Ravichandhran Madhavan, Ganesan Ramalingam, Kapil Vaswani
Purity Analysis: An Abstract Interpretation Formulation. SAS (2011)
Ravichandhran Madhavan, Raghavan Komondoor
Null dereference verification via over-approximated weakest pre-conditions analysis. OOPSLA (2011)