Kumar Madhukar

According to our database1, Kumar Madhukar authored at least 18 papers between 2013 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Efficient Adversarial Input Generation via Neural Net Patching.
Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

Towards Multi-Language Static Code Analysis.
Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

Automated Property Directed Self Composition.
Proceedings of the Automated Technology for Verification and Analysis, 2023

2022
Efficiently Finding Adversarial Examples with DNN Preprocessing.
CoRR, 2022

Permutation Invariance of Deep Neural Networks with ReLUs.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021
Direct Construction of Program Alignment Automata for Equivalence Checking.
CoRR, 2021

Specification synthesis with constrained Horn clauses.
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.
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.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Efficiently Learning Safety Proofs from Appearance as well as Behaviours.
Proceedings of the Static Analysis - 25th International Symposium, 2018

Generalizing specific-instance interpolation proofs with SyGuS.
Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

Solving Constrained Horn Clauses Using Syntax and Data.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017
Sequentialization Using Timestamps.
Proceedings of the Theory and Applications of Models of Computation, 2017

Compositional Safety Refutation Techniques.
Proceedings of the Automated Technology for Verification and Analysis, 2017

2015
Accelerating Invariant Generation.
Proceedings of the Formal Methods in Computer-Aided Design, 2015

Verifying synchronous reactive systems using lazy abstraction.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2013
Reachability Verification of Rhapsody Statecharts.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Trace based reachability verification for statecharts.
Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013


  Loading...