| Contract-based resource verification for higher-order functions with memoization R Madhavan, S Kulal, V Kuncak Acm Sigplan Notices 52 (1), 330-343, 2017 | 40 | 2017 |
| Null dereference verification via over-approximated weakest pre-conditions analysis R Madhavan, R Komondoor ACM Sigplan Notices 46 (10), 1033-1052, 2011 | 38 | 2011 |
| Automating grammar comparison R Madhavan, M Mayer, S Gulwani, V Kuncak Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015 | 30 | 2015 |
| Modular heap analysis for higher-order programs R Madhavan, G Ramalingam, K Vaswani International Static Analysis Symposium, 370-387, 2012 | 22 | 2012 |
| Symbolic resource bound inference for functional programs R Madhavan, V Kuncak Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 21 | 2014 |
| Purity analysis: An abstract interpretation formulation R Madhavan, G Ramalingam, K Vaswani International Static Analysis Symposium, 7-24, 2011 | 17 | 2011 |
| A framework for efficient modular heap analysis R Madhavan, G Ramalingam, K Vaswani Foundations and Trends® in Programming Languages 1 (4), 269-381, 2015 | 12 | 2015 |
| Symbolic resource bound inference R Madhavan, V Kuncak EPFL-REPORT-190578. Technical report, EPFL, 2014 | 7 | 2014 |
| Towards automating grammar equivalence checking R Madhavan, M Mayer, S Gulwani, V Kuncak Technical Report. 206921, 2015 | 5 | 2015 |
| On the Complexity of Convex and Reverse Convex Prequadratic Constraints. R Raya, J Hamza, V Kuncak LPAR, 350-368, 2023 | 2 | 2023 |
| Verifying resource bounds of programs with lazy evaluation and memoization R Madhavan, S Kulal, V Kuncak EPFL-REPORT-215783. Technical report, EPFL, 2016 | 1 | 2016 |
| 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 | | |
Viktor KunčakEPFLVerified email at epfl.ch
