[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
FINAL PROGRAMME PLMW 2015 ACM SIGPLAN Programming Languages Mentoring Workshop Mumbai, India Wednesday, January 14, 2015 Co-located with POPL 2015 PLMW'15 web page: http://plmw15.iisc-seal.net/ After the resounding success of the first three Programming Languages Mentoring Workshops at POPL 2012, 2013, and 2014, we proudly announce the final programme for the 4th ACM SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2015 and organised by Derek Dreyer, Aditya Kanade, Ruzica Piskac, Alan Schmitt, and Ross Tate. The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research, with a particular emphasis on women and under-represented minorities. The workshop will provide technical talks on cutting-edge research in programming languages, as well as mentoring sessions on how to prepare for a research career. The final programme for the workshop is now set and is viewable at: http://plmw15.iisc-seal.net/program ---------------- 8:50 - 9:00 Opening remarks -- PLMW Organizers 9:00 - 9:30 You and your graduate research -- Nate Foster (Cornell University) 9:30 - 10:00 Building automatic program verifiers -- Peter Müller (ETH Zürich) 10:00 - 10:30 Proof theory and its role in programming language research -- Frank Pfenning (Carnegie Mellon University) 10:30 - 11:00 COFFEE BREAK 11:00 - 11:30 How to write a good research paper -- Stephanie Weirich (University of Pennsylvania) 11:30 - 12:00 Coinductive techniques, from automata to coalgebra -- Damien Pous (CNRS, LIP, ENS Lyon) 12:00 - 12:30 The story of Arjun Guha, or: The arc of a research project -- Shriram Krishnamurthi (Brown University) 12:30 - 14:00 LUNCH 14:00 - 14:30 Proof engineering: Implementation challenges in rigorously verified software -- Adam Chlipala (MIT) 14:30 - 15:00 Formal verification of compilers and static analyzers -- Sandrine Blazy (IRISA, University of Rennes 1) 15:00 - 15:30 Cultivating research taste (illustrated via a journey in program synthesis research) -- Sumit Gulwani (Microsoft Research) 15:30 - 16:00 COFFEE BREAK 16:00 - 16:30 Separation logic for weak memory models -- Viktor Vafeiadis (MPI-SWS, Germany) 16:30 - 17:00 Repeatability, reproducibility and rigor in CS research -- Jan Vitek (Northeastern University) 17:00 - 17:30 How to give a good research talk -- Stephanie Weirich (University of Pennsylvania) The workshop will be followed by a reception for PLMW participants. ---------------- PLMW is part of the activities surrounding POPL, the Symposium on Principles of Programming Languages, and takes place the day before the main conference. One goal of the workshop is to make the POPL conference more accessible to newcomers. We hope that participants will stay through the entire conference. A number of sponsors (listed below) have generously donated scholarship funds for qualified students to attend PLMW. These scholarships are being used to cover reasonable expenses (airfare, hotel, and registration fees) for attendance at both the workshop and the POPL conference. Students attending this year will get one year free student membership of SIGPLAN, unless they prefer to opt out during their application. The workshop registration is open to all. Students with alternative sources of funding are welcome. PLATINUM Sponsors: An Anonymous Donor National Science Foundation ACM SIGPLAN SILVER Sponsors: Facebook Jane Street Capital BRONZE Sponsors: Google IBM Research ---------------- PLMW'15 Organizers: Derek Dreyer (MPI-SWS, Germany) Aditya Kanade (Indian Institute of Science) Ruzica Piskac (Yale University) Alan Schmitt (INRIA) Ross Tate (Cornell University)