PLDI 2018 (series) / PLMW @ PLDI 2018 (series) /
PLMW @ PLDI 2018 Program
This is the PLMW @ PLDI 2018 program - see the full program for PLDI 2018 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 19 JunDisplayed time zone: Eastern Time (US & Canada) change
Tue 19 Jun
Displayed time zone: Eastern Time (US & Canada) change
08:45 - 10:30 | |||
08:45 10mDay opening | Introduction and Welcome PLMW @ PLDI | ||
08:55 20mSocial Event | Icebreaker PLMW @ PLDI Michelle Strout University of Arizona | ||
09:15 45mTalk | What Programming Language Researchers Do and How to Become One PLMW @ PLDI Kathryn S McKinley Google | ||
10:00 30mTalk | Intermittent Computing Systems PLMW @ PLDI Brandon Lucia Carnegie Mellon University | ||
11:00 - 12:15 | |||
11:00 45mTalk | Crossing the Divide: Becoming a (Programming Languages) Researcher PLMW @ PLDI Alex Aiken Stanford University | ||
11:45 30mTalk | Program verification using abductive reasoning PLMW @ PLDI Işıl Dillig UT Austin | ||
13:15 - 15:30 | |||
13:15 75mOther | Panel: "Charting your Path" PLMW @ PLDI Sara Achour MIT, Shoaib Kamil Adobe, Jennifer B. Sartor Vrije Universiteit Brussel, Zachary Tatlock University of Washington, Seattle | ||
14:30 30mTalk | Evaluating Evaluations PLMW @ PLDI Milind Kulkarni Purdue University | ||
15:00 30mTalk | The Importance of Communication PLMW @ PLDI Michael Carbin MIT | ||
16:00 - 17:15 | |||
16:00 60mPoster | Poster Session PLMW @ PLDI Milind Kulkarni Purdue University, James Larus EPFL, Adrian Sampson Cornell University, Santosh Nagarakatte Rutgers University, USA, Eva Darulova MPI-SWS, Osbert Bastani Stanford University, Emery D. Berger University of Massachusetts, Amherst, Mayur Naik University of Pennsylvania, Joseph Devietti University of Pennsylvania, Sasa Misailovic University of Illinois at Urbana-Champaign, USA, John Wickerson Imperial College London, Xin Zhang Massachusetts Institute of Technology, USA, Sara Achour MIT, Michael Carbin MIT, Michelle Strout University of Arizona | ||
17:00 15mDay closing | Wrap up PLMW @ PLDI | ||