Ravichandhran (Kandhadai) Madhavan
Ravichandhran (Kandhadai) Madhavan
Apple Inc (previously at EPFL, Switzerland)
Bestätigte E-Mail-Adresse bei epfl.ch - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Contract-based resource verification for higher-order functions with memoization
R Madhavan, S Kulal, V Kuncak
Acm Sigplan Notices 52 (1), 330-343, 2017
282017
Null dereference verification via over-approximated weakest pre-conditions analysis
R Madhavan, R Komondoor
ACM Sigplan Notices 46 (10), 1033-1052, 2011
252011
Symbolic resource bound inference for functional programs
R Madhavan, V Kuncak
International Conference on Computer Aided Verification, 762-778, 2014
222014
Modular heap analysis for higher-order programs
R Madhavan, G Ramalingam, K Vaswani
International Static Analysis Symposium, 370-387, 2012
192012
Purity analysis: An abstract interpretation formulation
R Madhavan, G Ramalingam, K Vaswani
International Static Analysis Symposium, 7-24, 2011
172011
Automating grammar comparison
R Madhavan, M Mayer, S Gulwani, V Kuncak
Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015
122015
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
Now Publishers, 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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–14