Ravichandhran Madhavan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2011–2017
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | POPL | Contract-based resource verification for higher-order functions with memoization. | Ravichandhran Madhavan, Sumith Kulal, Viktor Kuncak |
| 2015 | OOPSLA | Automating grammar comparison. | Ravichandhran Madhavan, Mikal Mayer, Sumit Gulwani, Viktor Kuncak |
| 2014 | CAV | Symbolic Resource Bound Inference for Functional Programs. | Ravichandhran Madhavan, Viktor Kuncak |
| 2012 | SAS | Modular Heap Analysis for Higher-Order Programs. | Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani |
| 2011 | OOPSLA | Null dereference verification via over-approximated weakest pre-conditions analysis. | Ravichandhran Madhavan, Raghavan Komondoor |
| 2011 | SAS | Purity Analysis: An Abstract Interpretation Formulation. | Ravichandhran Madhavan, Ganesan Ramalingam, Kapil Vaswani |