Follow
Ravi Kandhadai Madhavan
Ravi Kandhadai Madhavan
Apple Inc (previously at EPFL, Switzerland)
Verified email at apple.com - Homepage
Title
Cited by
Cited by
Year
Contract-based resource verification for higher-order functions with memoization
R Madhavan, S Kulal, V Kuncak
Acm Sigplan Notices 52 (1), 330-343, 2017
362017
Null dereference verification via over-approximated weakest pre-conditions analysis
R Madhavan, R Komondoor
ACM Sigplan Notices 46 (10), 1033-1052, 2011
342011
Automating grammar comparison
R Madhavan, M Mayer, S Gulwani, V Kuncak
Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015
242015
Modular heap analysis for higher-order programs
R Madhavan, G Ramalingam, K Vaswani
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012
222012
Symbolic resource bound inference for functional programs
R Madhavan, V Kuncak
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
202014
Purity analysis: An abstract interpretation formulation
R Madhavan, G Ramalingam, K Vaswani
Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011
172011
A framework for efficient modular heap analysis
R Madhavan, G Ramalingam, K Vaswani
Foundations and Trends® in Programming Languages 1 (4), 269-381, 2015
92015
Symbolic resource bound inference
R Madhavan, V Kuncak
EPFL-REPORT-190578. Technical report, EPFL, 2014
72014
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