Kumar Madhukar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
13
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | TACAS | PROTON 2.1: Synthesizing Ranking Functions via fine-tuned locally Hosted LLM (Competition Contribution). | Diganta Mukhopadhyay, Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar |
| 2024 | FMICS | Unifying Syntactic and Semantic Abstractions for Deep Neural Networks. | Sanaa Siddiqui, Diganta Mukhopadhyay, Mohammad Afzal, Hrishikesh Karmarkar, Kumar Madhukar |
| 2024 | TACAS | PROTON: PRObes for Termination Or Not (Competition Contribution). | Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty |
| 2023 | ATVA | Automated Property Directed Self Composition. | Akshatha Shenoy, Sumanth Prabhu S, Kumar Madhukar, Ron Shemer, Mandayam K. Srivas |
| 2023 | ISSRE | Towards Multi-Language Static Code Analysis. | Sanaa Siddiqui, Ravindra Metta, Kumar Madhukar |
| 2023 | PRDC | Efficient Adversarial Input Generation via Neural Net Patching. | Tooba Khan, Kumar Madhukar, Subodh Vishnu Sharma |
| 2021 | PLDI | Specification synthesis with constrained Horn clauses. | Sumanth Prabhu S, Grigory Fedyukovich, Kumar Madhukar, Deepak D'Souza |
| 2020 | ICSE | Using hypersafety verification for proving correctness of programming assignments. | Jude K. Anil, Sumanth Prabhu S, Kumar Madhukar, R. Venkatesh |
| 2019 | CAV | Quantified Invariants via Syntax-Guided Synthesis. | Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta |
| 2018 | FMCAD | Solving Constrained Horn Clauses Using Syntax and Data. | Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta |
| 2018 | ICSE | Generalizing specific-instance interpolation proofs with SyGuS. | Muqsit Azeem, Kumar Madhukar, R. Venkatesh |
| 2018 | SAS | Efficiently Learning Safety Proofs from Appearance as well as Behaviours. | Sumanth Prabhu, Kumar Madhukar, R. Venkatesh |
| 2017 | ATVA | Compositional Safety Refutation Techniques. | Kumar Madhukar, Peter Schrammel, Mandayam K. Srivas |
| 2017 | TAMC | Sequentialization Using Timestamps. | Anand Yeolekar, Kumar Madhukar, Dipali Bhutada, R. Venkatesh |
| 2015 | DATE | Verifying synchronous reactive systems using lazy abstraction. | Kumar Madhukar, Mandayam K. Srivas, Bjrn Wachter, Daniel Kroening, Ravindra Metta |
| 2015 | FMCAD | Accelerating Invariant Generation. | Kumar Madhukar, Bjrn Wachter, Daniel Kroening, Matt Lewis, Mandayam K. Srivas |
| 2013 | ICSE | Trace based reachability verification for statecharts. | Kumar Madhukar, Ravindra Metta, Ulka Shrotri, R. Venkatesh |
| 2013 | ICST | Reachability Verification of Rhapsody Statecharts. | Kumar Madhukar, Ravindra Metta, Priyanka Singh, R. Venkatesh |