Browsing by Author Madhukar, Kumar
Showing results 1 to 2 of 2
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2019 | Quantified Invariants via Syntax-Guided Synthesis | Fedyukovich, Grigory; Prabhu, Sumanth; Madhukar, Kumar; Gupta, Aarti |
| 2018 | Solving Constrained Horn Clauses Using Syntax and Data | Fedyukovich, Grigory; Prabhu, Sumanth; Madhukar, Kumar; Gupta, Aarti |