PLMW 2014

Programming Languages Mentoring Workshop 2014


co-located with POPL 2014



08:00-08:50 BREAKFAST
08:50-09:00 Benjamin C. Pierce : opening slides
09:00-09:30 Peter O'Hearn : Program Logic and Analysis
09:30-10:00 Andrew Appel : Software Verification
10:00-10:30 COFFEE BREAK
10:30-11:00 Stephanie Weirich : Why You Should Care About Dependent Types slides
11:00-11:30 Greg Morrisett : Think Big: Some Crazy Thesis Topics slides
11:30-12:00 Nate Foster : A Pretty Handy Degree slides
12:00-13:30 LUNCH
13:30-14:00 Tom Ball: Industry Internships: Where Theory meets Practice slides
14:00-14:30 Derek Dreyer: Progress and Preservation Considered Boring: A Paean to Parametricity slides parametric Facebook
14:30-15:00 Philip Wadler : You and Your Research and the Elements of Style blog post slides
15:00-15:30 COFFEE BREAK
15:30-16:30 Isil Dillig : Program Analysis slides
16:00-16:30 John Hughes : Unaccustomed as I am to Public Speaking slides
16:30-16:45 SHORT BREAK
16:45-17:15 Peter Sewell : From POPL to the Jungle and Back slides
17:15-18:00 Young researcher panel: Jade Alglave (lecturer, University College London), Todd J. Green (LogicBlox & adjunct professor, UC Davis), Gareth Smith (postdoc, Imperial), Ross Tate (assistant professor, Cornell), Dimitrios Vytiniotis (researcher, MSR Cambridge)
18:00-20:00 RECEPTION & one minute madness slides