The thirty-nine papers. Continuity Analysis of Programs. By Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman. Compositional May-Must Program Analysis: Unleashing the Power of Alternation. By Patrice Godefroid, Aditya Nori, Sriram Rajamani, Sai Tetali. Nominal System T. By Andrew Pitts. Structuring the verification of heap-manipulating programs. By Aleks Nanevski, Viktor Vefeiadi