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
382017
Null dereference verification via over-approximated weakest pre-conditions analysis
R Madhavan, R Komondoor
ACM Sigplan Notices 46 (10), 1033-1052, 2011
362011
Automating grammar comparison
R Madhavan, M Mayer, S Gulwani, V Kuncak
Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015
282015
Modular heap analysis for higher-order programs
R Madhavan, G Ramalingam, K Vaswani
International Static Analysis Symposium, 370-387, 2012
222012
Symbolic resource bound inference for functional programs
R Madhavan, V Kuncak
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
212014
Purity analysis: An abstract interpretation formulation
R Madhavan, G Ramalingam, K Vaswani
International Static Analysis Symposium, 7-24, 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
112015
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
42015
On the complexity of convex and reverse convex prequadratic constraints
R Raya, J Hamza, V Kunčak
EPiC Series in Computing 94, 350-368, 2023
22023
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–15