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!!