Ravichandhran (Kandhadai) Madhavan
Ravichandhran (Kandhadai) Madhavan
Apple Inc (previously at EPFL, Switzerland)
Verified email at epfl.ch - Homepage
TitleCited byYear
Null dereference verification via over-approximated weakest pre-conditions analysis
R Madhavan, R Komondoor
ACM Sigplan Notices 46 (10), 1033-1052, 2011
232011
Symbolic resource bound inference for functional programs
R Madhavan, V Kuncak
International Conference on Computer Aided Verification, 762-778, 2014
182014
Modular heap analysis for higher-order programs
R Madhavan, G Ramalingam, K Vaswani
International Static Analysis Symposium, 370-387, 2012
172012
Purity analysis: An abstract interpretation formulation
R Madhavan, G Ramalingam, K Vaswani
International Static Analysis Symposium, 7-24, 2011
172011
Contract-based resource verification for higher-order functions with memoization
R Madhavan, S Kulal, V Kuncak
Acm Sigplan Notices 52 (1), 330-343, 2017
142017
Automating grammar comparison
R Madhavan, M Mayer, S Gulwani, V Kuncak
Acm Sigplan Notices 50 (10), 183-200, 2015
82015
Symbolic resource bound inference
R Madhavan, V Kuncak
EPFL-REPORT-190578. Technical report, EPFL, 2014
72014
A framework for efficient modular heap analysis
R Madhavan, G Ramalingam, K Vaswani
Foundations and Trends® in Programming Languages 1 (4), 269-381, 2015
52015
Towards automating grammar equivalence checking
R Madhavan, M Mayer, S Gulwani, V Kuncak
Technical Report. 206921, 2015
32015
Verifying resource bounds of programs with lazy evaluation and memoization
R Madhavan, S Kulal, V Kuncak
EPFL-REPORT-215783. Technical report, EPFL, 2016
12016
Algorithmic Resource Verification
RK Madhavan
Ecole Polytechnique Fédérale de Lausanne, 2017
2017
A Scala library for testing student assignments on concurrent programming
M Mayer, R Madhavan
Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala, 1-10, 2016
2016
Resource Verification for Higher-order Functions with Memoization
R Madhavan, S Kulal, V Kuncak
On Template-Based Inference of Rich Invariants in Leon
R Madhavan, V Kuncak
The system can't perform the operation now. Try again later.
Articles 1–14