| Quantified invariants via syntax-guided synthesis G Fedyukovich, S Prabhu, K Madhukar, A Gupta Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 73 | 2019 |
| Solving constrained horn clauses using syntax and data G Fedyukovich, S Prabhu, K Madhukar, A Gupta 2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018 | 52 | 2018 |
| VeriAbs: Verification by Abstraction and Test Generation: (Competition Contribution) P Darke, S Prabhu, B Chimdyalwar, A Chauhan, S Kumar, ... Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 21 | 2018 |
| Specification synthesis with constrained Horn clauses S Prabhu, G Fedyukovich, K Madhukar, D D'Souza Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 20 | 2021 |
| Efficiently learning safety proofs from appearance as well as behaviours S Prabhu, K Madhukar, R Venkatesh Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018 | 13 | 2018 |
| Concurrent program verification with invariant-guided underapproximation S Prabhu, P Schrammel, M Srivas, M Tautschnig, A Yeolekar Automated Technology for Verification and Analysis: 15th International …, 2017 | 5 | 2017 |
| Using hypersafety verification for proving correctness of programming assignments JK Anil, K Madhukar, R Venkatesh Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 3 | 2020 |
| Weakest precondition inference for non-deterministic linear array programs S Sumanth Prabhu, D D’Souza, S Chakraborty, R Venkatesh, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 2 | 2024 |
| Maximal Quantified Precondition Synthesis for Linear Array Loops S Sumanth Prabhu, G Fedyukovich, D D’Souza European Symposium on Programming, 245-274, 2024 | | 2024 |
| Automated Property Directed Self Composition A Shenoy, S Prabhu, K Madhukar, R Shemer, M Srivas International Symposium on Automated Technology for Verification and …, 2023 | | 2023 |
Kumar MadhukarIIT DelhiVerified email at cse.iitd.ac.in
