PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / PLDI 2017 (series) / PLMW 2017 (series) /
PLMW 2017 Program
This is the PLMW 2017 program - see the full program for PLDI 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 18 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 45mTalk | Welcome PLMW | ||
09:45 45mTalk | Hot, Classic, and Unrecognized Problems in Programming Languages PLMW Kathryn S McKinley Microsoft Research |
11:00 - 12:30 | |||
11:00 45mTalk | What is research and how to do it? Thinking globally and acting locally. PLMW Michael Hicks University of Maryland, College Park | ||
11:45 45mTalk | Program synthesis PLMW Armando Solar-Lezama MIT CSAIL |
14:00 - 15:30 | |||
14:00 45mTalk | Preventing Information Flow by Construction PLMW Jean Yang Carnegie Mellon University | ||
14:45 45mTalk | Giving good talks PLMW Ben Wiedermann Harvey Mudd College |
16:00 - 18:00 | |||
16:00 45mTalk | Formal methods research: The what, the why and the how PLMW Roopsha Samanta Purdue University | ||
16:45 60mOther | Career paths in Computer Science PLMW Stephen N. Freund Williams College, Martin Huschenbett Jane Street, Kathryn S McKinley Microsoft Research, Roopsha Samanta Purdue University |