Kumar Madhukar

Indian Institute of Technology Delhi — India

Computer Science · Physical Sciences

7h-index179citations27works1.42yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(15), Software Testing and Debugging Techniques(12), Adversarial Robustness in Machine Learning(7), Software Reliability and Analysis Research(7), Logic, programming, and type systems(6)

Publications27 total

PROTON 2.1: Synthesizing Ranking Functions via fine-tuned locally Hosted LLM (Competition Contribution)
Lecture notes in computer science·2025· 1 citedOpen Access
Learning DNN Abstractions using Gradient Descent
2024
A shallow dive into the depths of non-termination checking for C programs
arXiv (Cornell University)·2024Open Access
Unifying Syntactic and Semantic Abstractions for Deep Neural Networks
Lecture notes in computer science·2024
PROTON: PRObes for Termination Or Not (Competition Contribution)
Lecture notes in computer science·2024· 6 citedOpen Access
Efficient Adversarial Input Generation via Neural Net Patching
2023
Towards Multi-Language Static Code Analysis
2023
Automated Property Directed Self Composition
Lecture notes in computer science·2023· 1 cited
Efficient Adversarial Input Generation via Neural Net Patching
arXiv (Cornell University)·2022Open Access
Efficiently Finding Adversarial Examples with DNN Preprocessing
arXiv (Cornell University)·2022Open Access
Permutation Invariance of Deep Neural Networks with ReLUs
Lecture notes in computer science·2022
Permutation Invariance of Deep Neural Networks with ReLUs
arXiv (Cornell University)·2021Open Access
Direct Construction of Program Alignment Automata for Equivalence Checking
arXiv (Cornell University)·2021· 1 citedOpen Access
Specification synthesis with constrained Horn clauses
2021· 22 cited
Using hypersafety verification for proving correctness of programming assignments
2020· 2 cited
Quantified Invariants via Syntax-Guided Synthesis
Lecture notes in computer science·2019· 55 citedOpen Access
Solving Constrained Horn Clauses Using Syntax and Data
2018· 43 cited
Generalizing specific-instance interpolation proofs with SyGuS
2018· 2 cited
Efficiently Learning Safety Proofs from Appearance as well as Behaviours
Lecture notes in computer science·2018· 14 cited
Sequentialization Using Timestamps
Lecture notes in computer science·2017· 1 cited
page 1 of 2Next →

Frequent Co-authors

R. Venkatesh(9), Ravindra Metta(8), Mandayam Srivas(7), Sumanth Prabhu(5), Hrishikesh Karmarkar(5), Diganta Mukhopadhyay(5), Grigory Fedyukovich(3), Björn Wachter(3), Daniel Kroening(3), Sanaa Siddiqui(3), Aarti Gupta(2), Supratik Chakraborty(2), Muqsit Azeem(2), Tooba Khan(2), Subodh Sharma(2), Guy Katz(2), Deepak D’Souza(1), Tukaram Muske(1), Advaita Datar(1), Mayur Khanzode(1)