Kumar Madhukar

According to our database, Kumar Madhukar authored at least 21 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A shallow dive into the depths of non-termination checking for C programs.

Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty, Samarjit Chakraborty

CoRR, 2024

PROTON: PRObes for Termination Or Not (Competition Contribution).

Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Unifying Syntactic and Semantic Abstractions for Deep Neural Networks.

Sanaa Siddiqui, Diganta Mukhopadhyay, Mohammad Afzal, Hrishikesh Karmarkar, Kumar Madhukar

Proceedings of the Formal Methods for Industrial Critical Systems, 2024

2023

Efficient Adversarial Input Generation via Neural Net Patching.

Tooba Khan, Kumar Madhukar, Subodh Vishnu Sharma

Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

Towards Multi-Language Static Code Analysis.

Sanaa Siddiqui, Ravindra Metta, Kumar Madhukar

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

Automated Property Directed Self Composition.

Akshatha Shenoy, Sumanth Prabhu S, Kumar Madhukar, Ron Shemer, Mandayam K. Srivas

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Efficiently Finding Adversarial Examples with DNN Preprocessing.

Avriti Chauhan, Mohammad Afzal, Hrishikesh Karmarkar, Yizhak Yisrael Elboher, Kumar Madhukar, Guy Katz

CoRR, 2022

Permutation Invariance of Deep Neural Networks with ReLUs.

Diganta Mukhopadhyay, Kumar Madhukar, Mandayam K. Srivas

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

Direct Construction of Program Alignment Automata for Equivalence Checking.

Manish Goyal, Muqsit Azeem, Kumar Madhukar, R. Venkatesh

CoRR, 2021

Specification synthesis with constrained Horn clauses.

Sumanth Prabhu S, Grigory Fedyukovich, Kumar Madhukar, Deepak D'Souza

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Using hypersafety verification for proving correctness of programming assignments.

Jude K. Anil, Sumanth Prabhu S, Kumar Madhukar, R. Venkatesh

Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

2019

Quantified Invariants via Syntax-Guided Synthesis.

Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Efficiently Learning Safety Proofs from Appearance as well as Behaviours.

Sumanth Prabhu, Kumar Madhukar, R. Venkatesh

Proceedings of the Static Analysis - 25th International Symposium, 2018

Generalizing specific-instance interpolation proofs with SyGuS.

Muqsit Azeem, Kumar Madhukar, R. Venkatesh

Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

Solving Constrained Horn Clauses Using Syntax and Data.

Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

Sequentialization Using Timestamps.

Anand Yeolekar, Kumar Madhukar, Dipali Bhutada, R. Venkatesh

Proceedings of the Theory and Applications of Models of Computation, 2017

Compositional Safety Refutation Techniques.

Kumar Madhukar, Peter Schrammel, Mandayam K. Srivas

Proceedings of the Automated Technology for Verification and Analysis, 2017

2015

Accelerating Invariant Generation.

Kumar Madhukar, Björn Wachter, Daniel Kroening, Matt Lewis, Mandayam K. Srivas

Proceedings of the Formal Methods in Computer-Aided Design, 2015

Verifying synchronous reactive systems using lazy abstraction.

Kumar Madhukar, Mandayam K. Srivas, Björn Wachter, Daniel Kroening, Ravindra Metta

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2013

Reachability Verification of Rhapsody Statecharts.

Kumar Madhukar, Ravindra Metta, Priyanka Singh, R. Venkatesh

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Trace based reachability verification for statecharts.

Kumar Madhukar, Ravindra Metta, Ulka Shrotri, R. Venkatesh

Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013