关注
Ravi Kandhadai Madhavan
Ravi Kandhadai Madhavan
Apple Inc (previously at EPFL, Switzerland)
在 apple.com 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Contract-based resource verification for higher-order functions with memoization
R Madhavan, S Kulal, V Kuncak
Acm Sigplan Notices 52 (1), 330-343, 2017
402017
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
Orthologic with Axioms
R Raya, J Hamza, V Kuncak, GS Schmid, R Raya, V Kuncak, A Reynolds, ...
Proc. ACM Program. Lang.(POPL) 39, 8, 2021
12021
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
系统目前无法执行此操作,请稍后再试。
文章 1–15