Kumar Madhukar -

Registered user since Wed 30 May 2018

Name:Kumar Madhukar

Country:India

Affiliation:TCS Research

Research interests:Formal Methods, Program Verification, Synthesis

Contributions

2021

PLDI

Author of Specification Synthesis with Constrained Horn Clauses within the PLDI-track

2020

ICSE

Author of Using Hypersafety Verification for Proving Correctness of Programming Assignments within the New Ideas and Emerging Results-track

2018

ICSE

Author of Generalizing Specific-Instance Interpolation Proofs with SyGuS within the NIER - New Ideas and Emerging Results -track