Kumar Madhukar

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 18

Top Topics

Invariant Representations

Top Venues

Publications

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