Congratulations to Sumanth Prabhu, Grigory Fedyukovich, Kumar Madhukar, and Deepak D’Souza for their work, titled “Specification Synthesis with Constrained Horn Clauses”, which has received a Distinguished Paper Award at PLDI’21

Congratulations to Sumanth Prabhu, Grigory Fedyukovich, Kumar Madhukar, and Deepak D’Souza for their work, titled “Specification Synthesis with Constrained Horn Clauses”, which has received a Distinguished Paper Award at PLDI’21.