Jun 2 2017 Congratulations Alex, who just defended his Ph.D! Alex will graduate at the end of the quarter and begin working on combining program synthesis with deep learning to improve programming productivity and AI capabilities.

May 1 2017UW PLSE has two papers in ICFP 2017! Congratulations to Jared and his collaborators for their paper on Lean, and to Konstantin, Steven, Emina, Mike, Zach, and their collaborator Stefan for their paper on SpaceSearch!

Apr 15 2017 Congrats to Ryan and Luke, who have chosen graduate schools where they will pursue their PhDs. Ryan's going to Cornell, while Luke is staying here at UW!

Apr 12 2017 Congratulations to Sarah and Mangpo for their paper, “Data-Driven Synthesis of Full Probabilistic Programs”, at CAV 2017.

Mar 7 2017 Congratulations to Konstantin on passing his Ph.D. Defense! Konstantin will graduate at the end of the quarter and move on to applying his research on verifying network configuration at the Google networking team.

Mar 3 2017Joe’s YOLO9000 has been accepted to CVPR’17: better, faster, strong object detection with a single net.