Kumar Madhukar

25 papers A* 2A 1B 5C 3Journal 5Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — conf
PROTON 2.1: Synthesizing Ranking Functions via fine-tuned locally Hosted LLM (Competition Contribution).
TACAS (3)
Diganta Mukhopadhyay, Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar
2024 J jnl
A shallow dive into the depths of non-termination checking for C programs.
CoRR
Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty, Samarjit Chakraborty
2024 A* conf
Learning DNN Abstractions using Gradient Descent.
ASE
Diganta Mukhopadhyay, Sanaa Siddiqui, Hrishikesh Karmarkar, Kumar Madhukar, Guy Katz
2024 — conf
PROTON: PRObes for Termination Or Not (Competition Contribution).
TACAS (3)
Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty
2024 C conf
Unifying Syntactic and Semantic Abstractions for Deep Neural Networks.
FMICS
Sanaa Siddiqui, Diganta Mukhopadhyay, Mohammad Afzal, Hrishikesh Karmarkar, Kumar Madhukar
2023 B conf
Automated Property Directed Self Composition.
ATVA
Akshatha Shenoy, Sumanth Prabhu S, Kumar Madhukar, Ron Shemer, Mandayam K. Srivas
2023 C conf
Efficient Adversarial Input Generation via Neural Net Patching.
PRDC
Tooba Khan, Kumar Madhukar, Subodh Vishnu Sharma
2023 — conf
Towards Multi-Language Static Code Analysis.
ISSREW
Sanaa Siddiqui, Ravindra Metta, Kumar Madhukar
2022 J jnl
Efficient Adversarial Input Generation via Neural Net Patching.
CoRR
Tooba Khan, Kumar Madhukar, Subodh Vishnu Sharma
2022 J jnl
Efficiently Finding Adversarial Examples with DNN Preprocessing.
CoRR
Avriti Chauhan, Mohammad Afzal, Hrishikesh Karmarkar, Yizhak Yisrael Elboher, Kumar Madhukar, Guy Katz
2022 — conf
Permutation Invariance of Deep Neural Networks with ReLUs.
NFM
Diganta Mukhopadhyay, Kumar Madhukar, Mandayam K. Srivas
2021 J jnl
Direct Construction of Program Alignment Automata for Equivalence Checking.
CoRR
Manish Goyal, Muqsit Azeem, Kumar Madhukar, R. Venkatesh
2021 J jnl
Permutation Invariance of Deep Neural Networks with ReLUs.
CoRR
Diganta Mukhopadhyay, Kumar Madhukar, Mandayam K. Srivas
2021 A* conf
Specification synthesis with constrained Horn clauses.
PLDI
Sumanth Prabhu S, Grigory Fedyukovich, Kumar Madhukar, Deepak D'Souza
2020 — conf
Using hypersafety verification for proving correctness of programming assignments.
ICSE (NIER)
Jude K. Anil, Sumanth Prabhu S, Kumar Madhukar, R. Venkatesh
2019 — conf
Quantified Invariants via Syntax-Guided Synthesis.
CAV (1)
Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta
2018 B conf
Efficiently Learning Safety Proofs from Appearance as well as Behaviours.
SAS
Sumanth Prabhu, Kumar Madhukar, R. Venkatesh
2018 — conf
Generalizing specific-instance interpolation proofs with SyGuS.
ICSE (NIER)
Muqsit Azeem, Kumar Madhukar, R. Venkatesh
2018 B conf
Solving Constrained Horn Clauses Using Syntax and Data.
FMCAD
Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta
2017 B conf
Compositional Safety Refutation Techniques.
ATVA
Kumar Madhukar, Peter Schrammel, Mandayam K. Srivas
2017 C conf
Sequentialization Using Timestamps.
TAMC
Anand Yeolekar, Kumar Madhukar, Dipali Bhutada, R. Venkatesh
2015 B conf
Accelerating Invariant Generation.
FMCAD
Kumar Madhukar, Björn Wachter, Daniel Kroening, Matt Lewis, Mandayam K. Srivas
2015 A conf
Verifying synchronous reactive systems using lazy abstraction.
DATE
Kumar Madhukar, Mandayam K. Srivas, Björn Wachter, Daniel Kroening, Ravindra Metta
2013 — conf
Reachability Verification of Rhapsody Statecharts.
ICST Workshops
Kumar Madhukar, Ravindra Metta, Priyanka Singh, R. Venkatesh
2013 — conf
Trace based reachability verification for statecharts.
FormaliSE@ICSE
Kumar Madhukar, Ravindra Metta, Ulka Shrotri, R. Venkatesh