[TYPES/announce] PLMW 2015: Final Programme

Derek Dreyer dreyer at mpi-sws.org
Thu Jan 8 17:53:17 EST 2015


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)


More information about the Types-announce mailing list