Abstracts due: PAPERPRESUBMISSION Submission: PAPERSUBMISSION Notification: PAPERNOTIFICATION Camera-ready: PAPERCAMERAREADY Workshop: CONFERENCEDAYS

Ras Bodik (University of California, Berkeley). Program Synthesis by Sketching. Monica Lam (Stanford University): Combining Static and Dynamic Analysis for Securing ...