Sumanth Prabhu and Deepak D’Souza win Distinguished Paper award at PLDI 2021

Sumanth Probhu  and  Prof. Deepak D’Souza have won the Distinguished paper award at PLDI 2021 for his paper entitled “Specification Synthesis with Constrained Horn Clauses”. Click here for more Details