What is PLMW?
The Programming Languages Mentoring Workshop (PLMW) aims to encourage graduate students and senior undergraduate students to pursue careers in programming language research. The workshop brings together world leaders in programming languages research and teaching from academia and industry to provide (a) technical sessions on cutting edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop aims to engage students in a process of imagining how they might contribute to our research community. We especially encourage women and under-represented minority students and students with disabilities to attend PLMW.
PLMW 2017
After the resounding success of the first five Programming Languages Mentoring Workshops at POPL 2012 - 2016, the 6th SIGPLAN Programming Languages Mentoring Workshop will be co-located with POPL 2017 in Paris, France. PLMW will be held immediately before POPL on Tuesday, January 17. PLMW 2017 is open for registration to all students interested in programming languages research (funded or not).
Attending and social activities
Accommodation for all funded students will be provided at the Kellermann Centre. On the evening of the 17th, after the last PLMW session, organizers, speakers, and panellists plan to form groups with students and have dinner together in nearby restaurants, where the PLMW discussions can continue in a more casual setting.
Confirmed speakers:
Derek Dreyer, Kathleen Fisher, Michael Hicks, Brigitte Pientka, Benjamin Pierce, Nikhil Swamy, Isil Dillig, Martin Vechev
Sponsors
(Platinum)
(Platinum)
An Anonymous Donor (Platinum)
(Silver)
(Silver)
(Silver)
Tue 17 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:50 - 09:00 | |||
08:50 10mDay opening | Welcome Sesssion PLMW | ||
09:00 - 10:00 | |||
09:00 30mTalk | Time management, family and quality of life PLMW Kathleen Fisher Tufts University File Attached | ||
09:30 30mTalk | Abductive Reasoning in Deductive Verification PLMW Işil Dillig UT Austin File Attached | ||
10:30 - 12:00 | |||
10:30 30mTalk | What is research and how to do it? Thinking globally and acting locally. PLMW Michael Hicks University of Maryland at College Park, USA File Attached | ||
11:00 30mTalk | Mechanizing Meta-Theory in Beluga PLMW Brigitte Pientka McGill University File Attached | ||
11:30 30mTalk | Research: The Industrial Culture PLMW Nikhil Swamy Microsoft Research File Attached | ||
14:00 - 15:30 | |||
14:00 60mTalk | Student Interaction Activity PLMW Eva Darulova MPI-SWS, Loris D'Antoni University of Wisconsin–Madison, Alexandra Silva University College London, Dimitrios Vytiniotis Microsoft Research, Cambridge | ||
15:00 30mTalk | How to Give Talks That People Can Follow PLMW Derek Dreyer MPI-SWS File Attached | ||
16:00 - 18:00 | |||
16:00 30mTalk | Machine Learning and Programming Languages: latest directions and research opportunities PLMW Martin Vechev ETH Zurich File Attached | ||
16:30 30mTalk | The Curse of Knowledge PLMW Benjamin C. Pierce University of Pennsylvania File Attached | ||
17:00 60mTalk | Young Researcher Panel Session PLMW Roopsha Samanta Purdue University, Nada Amin EPFL, Jonathan Protzenko Microsoft Research, Zachary Kincaid Princeton University | ||
Accepted Papers
| Title | |
|---|---|
| Welcome Sesssion PLMW |
Scholarship applications
PLMW sponsors have generously donated scholarship funds for qualified students to attend PLMW. These scholarships should 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 as well.
Access the scholarship application form here.
The deadline for full consideration of funding is Sunday, October 23. Selected participants will be notified by November 20 or earlier.
Confirmed sponsors so far:
NSF, ACM SIGPLAN, Amazon, Facebook, Jane Street Capital, Microsoft, Google and an Anonymous Donor.
| Sun 20 Nov 2016 Notification for Scholarship Applications |
| Sun 23 Oct 2016 Deadline for Scholarship Applications |
Nada Amin
EPFL
Switzerland
Işil Dillig
UT Austin
Derek Dreyer
MPI-SWS
Kathleen Fisher
Tufts University
Michael Hicks
University of Maryland at College Park, USA
Zachary Kincaid
Princeton University
United States
Brigitte Pientka
McGill University
Benjamin C. Pierce
University of Pennsylvania
United States
Jonathan Protzenko
Microsoft Research
United States
Roopsha Samanta
Purdue University
Nikhil Swamy
Microsoft Research
United States
Martin Vechev
ETH Zurich
