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

Ph.D. Student Sumanth Prabhu and Prof. Deepak D’Souza both from the Department of CSA, have won a Distinguished Paper Award for their work, titled “Specification Synthesis with Constrained Horn Clauses,” at the prestigious PLDI’21 conference (International Conference on Programming Languages, Design, and Implementation).