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 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:50 - 09:00 Day opening | Welcome Sesssion PLMW |
09:00 - 09:30 Talk | Time management, family and quality of life PLMW Kathleen FisherTufts University File Attached | ||
09:30 - 10:00 Talk | Abductive Reasoning in Deductive Verification PLMW Isil DilligUT Austin File Attached |
10:30 - 11:00 Talk | What is research and how to do it? Thinking globally and acting locally. PLMW Michael HicksUniversity of Maryland at College Park, USA File Attached | ||
11:00 - 11:30 Talk | Mechanizing Meta-Theory in Beluga PLMW Brigitte PientkaMcGill University File Attached | ||
11:30 - 12:00 Talk | Research: The Industrial Culture PLMW Nikhil SwamyMicrosoft Research File Attached |
14:00 - 15:00 Talk | Student Interaction Activity PLMW Eva DarulovaMPI-SWS, Loris D'AntoniUniversity of Wisconsin–Madison, Alexandra SilvaUniversity College London, Dimitrios VytiniotisMicrosoft Research, Cambridge | ||
15:00 - 15:30 Talk | How to Give Talks That People Can Follow PLMW Derek DreyerMPI-SWS File Attached |
16:00 - 16:30 Talk | Machine Learning and Programming Languages: latest directions and research opportunities PLMW Martin VechevETH Zurich File Attached | ||
16:30 - 17:00 Talk | The Curse of Knowledge PLMW Benjamin C. PierceUniversity of Pennsylvania File Attached | ||
17:00 - 18:00 Talk | Young Researcher Panel Session PLMW Roopsha SamantaPurdue University, Nada AminEPFL, Jonathan ProtzenkoMicrosoft Research, Zachary KincaidPrinceton University |
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.
Accepted Papers
Title | |
---|---|
Welcome Sesssion PLMW |