Two papers accepted at PLDI’19!

with 1 Comment

Our groupĀ just got two papersĀ (conditionally) accepted at PLDI’19. One of the papers, co-authored by Greg and Shankara, describes a new technique for verifying robustness of deep neural networks. The other paper, co-authored by Yuepeng, James, and Rushi, presents a synthesis technique that can be used to automatically migrate database applications to a new schema. Congratulations to Greg, Shankara, Yuepeng, James, and Rushi!!

One Response

  1. Xinyu Wang


Leave a Reply

You must be logged in to post a comment.