The Third Programming Languages Mentoring Workshop (PLMW) will take place as part of the flagship programming language conference, Principles of Programming Languages (POPL 2013), which is being held in San Diego California. This grant will support approximately 20 students to attend the PLMW event plus the POPL conference. While there is other funding available (through ACM SIGPLAN PAC) for students who are presenting papers at POPL, this proposal is intended specifically to increase the numbers of students from underrepresented groups and gives priority to US citizens and permanent residents. The broader impacts of the grant relate to the need to broaden participation, provide opportunities for students to receive mentoring from top members of the programming languages community, and build the next generation of researchers and knowledgeable practitioners in this important research arena.
, co-located with POPL 2014. The goal of the workshop is to increase the participation of women and under-represented minorities in the POPL research community. The workshop took place on Jan 21, 2014, co-organized by Amal Ahmed, Benjamin Pierce, and Alan Schmitt. Besides NSF, significant funding was obtained from Google, Facebook, Jane Street, MSR, Resource Reasoning, SIGPLAN, and an anonymous private donor. In all, about $100,000 was raised, nearly all of which was used to support student travel to PLMW and POPL. 156 applications were submitted, of which 87 eventually received full or partial funding. Preference was given to women and members of underrepresented minorities. (There were 21 women among those who received funding; after some discussion, the organizers decided not to attempt to keep statistics on minority applications.) The program of speakers was as follows: Peter O'Hearn : Program Logic and Analysis.Andrew Appel : Software Verification.Stephanie Weirich : Why You Should Care About Dependent Types.Greg Morrisett : Think Big: Some Crazy Thesis Topics.Nate Foster : A Pretty Handy Degree.Tom Ball: Industry Internships: Where Theory meets Practice.Derek Dreyer: Progress and Preservation Considered Boring: A Paean to Parametricity parametric Facebook.Philip Wadler : You and Your Research and the Elements of Style blog post.Isil Dillig : Program Analysis.John Hughes : Unaccustomed as I am to Public Speaking.Peter Sewell : From POPL to the Jungle and Back.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).
