Ravichandhran Madhavan

According to our database, Ravichandhran Madhavan authored at least 9 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Algorithmic Resource Verification.

Ravichandhran Madhavan

PhD thesis, 2017

Contract-based resource verification for higher-order functions with memoization.

Ravichandhran Madhavan, Sumith Kulal, Viktor Kuncak

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

A Scala library for testing student assignments on concurrent programming.

Mikaël Mayer, Ravichandhran Madhavan

Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

2015

A Framework For Efficient Modular Heap Analysis.

Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani

Found. Trends Program. Lang., 2015

Automating grammar comparison.

Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, Viktor Kuncak

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014

Symbolic Resource Bound Inference for Functional Programs.

Ravichandhran Madhavan, Viktor Kuncak

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2012

Modular Heap Analysis for Higher-Order Programs.

Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani

Proceedings of the Static Analysis - 19th International Symposium, 2012

2011

Purity Analysis: An Abstract Interpretation Formulation.

Ravichandhran Madhavan, Ganesan Ramalingam, Kapil Vaswani

Proceedings of the Static Analysis - 18th International Symposium, 2011

Null dereference verification via over-approximated weakest pre-conditions analysis.

Ravichandhran Madhavan, Raghavan Komondoor

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011