Here is a list of my papers, in reverse chronological order.
An almost up-to-date list can also be found on my dblp page.

• Efficient Adversarial Input Generation via Neural Net Patching (PRDC 2023, pdf)
  Tooba Khan, Kumar Madhukar, Subodh Sharma


• Automated Property Directed Self Composition (ATVA 2023, pdf)
  Akshatha Shenoy, Sumanth Prabhu, Kumar Madhukar, Ron Shemer, Mandayam Srivas


• Permutation Invariance of Deep Neural Networks with ReLUs (NFM 2022, pdf)
  Diganta Mukhopadhyay, Kumar Madhukar, Mandayam Srivas


• Specification Synthesis with Constrained Horn Clauses (PLDI 2021, pdf)
  Sumanth Prabhu, Grigory Fedyukovich, Kumar Madhukar, Deepak D'Souza


• Using Hypersafety Verification for Proving Correctness of Programming Assignments (NIER, ICSE 2020, pdf)
  Jude Anil, Sumanth Prabhu, Kumar Madhukar, R. Venkatesh


• Quantified Invariants via Syntax-Guided Synthesis (CAV 2019, pdf)
  Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta


• Solving Constrained Horn Clauses Using Syntax and Data (FMCAD 2018, pdf)
  Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta


• Efficiently Learning Safety Proofs from Appearance as well as Behaviours (SAS 2018, pdf)
  Sumanth Prabhu, Kumar Madhukar, R. Venkatesh


• Generalizing Specific-Instance Interpolation Proofs with SyGuS (NIER, ICSE 2018, pdf)
  Muqsit Azeem, Kumar Madhukar, R. Venkatesh


• Compositional Safety Refutation Techniques (ATVA 2017, pdf)
  Kumar Madhukar, Peter Schrammel, Mandayam Srivas


• Sequentialization Using Timestamps (TAMC 2017, pdf)
  Anand Yeolekar, Kumar Madhukar, Dipali Bhutada, R. Venkatesh


• Accelerating Invariant Generation (FMCAD 2015, pdf)
  Kumar Madhukar, Björn Wachter, Daniel Kroening, Matt Lewis, Mandayam Srivas


• Verifying Synchronous Reactive Systems using Lazy Abstraction (DATE 2015, pdf)
  Kumar Madhukar, Mandayam Srivas, Björn Wachter, Daniel Kroening, Ravindra Metta


• Efficient Elimination of False Positives Using Bounded Model Checking (VALID 2013, pdf)
  Tukaram Muske, Advaita Datar, Mayur Khanzode, Kumar Madhukar


• Reachability Verification of Rhapsody Statecharts (TAIC PART Workshop, ICST 2013, pdf)
  Kumar Madhukar, Ravindra Metta, Priyanka Singh, R. Venkatesh


• Trace Based Reachability Verification for Statecharts (FormaliSE Workshop, ICSE 2013, pdf)
  Kumar Madhukar, Ravindra Metta, Ulka Shrotri, R. Venkatesh