You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 13 Jun

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:00
TalkPLMW at Kon-Tiki
09:00
60m
Talk
Verified Trustworthy Software Specification
PLMW
Philippa Gardner Imperial College London
10:00 - 10:30
PLTea (Mon AM)PLMW at Kon-Tiki Foyer
Chair(s): Rachit Nigam Cornell University
10:00
30m
Social Event
PLTeasocial
PLMW

10:30 - 12:00
Panel DiscussionPLMW at Kon-Tiki
10:30
90m
Panel
Mentoring Panel: Surviving Grad School
PLMW
Sunjay Cauligi University of California at San Diego, USA, Ethan Cecchetti University of Maryland, College Park, Niki Vazou IMDEA Software Institute, Ningning Xie University of Cambridge, S: Tamara Rezk INRIA
13:30 - 15:00
TalkPLMW at Kon-Tiki +12h
13:30
90m
Talk
Your Research and Everyone Else
PLMW
Martin C. Rinard Massachusetts Institute of Technology
15:30 - 17:00
TalkPLMW at Kon-Tiki +12h
15:30
90m
Talk
How to Write a Technical Paper
PLMW
Michael Hicks University of Maryland at College Park

Tue 14 Jun

Displayed time zone: Pacific Time (US & Canada) change

01:30 - 03:00
TalkPLMW at Kon-Tiki
01:30
90m
Talk
Your Research and Everyone Else
PLMW
Martin C. Rinard Massachusetts Institute of Technology
03:30 - 05:00
TalkPLMW at Kon-Tiki
03:30
90m
Talk
How to Write a Technical Paper
PLMW
Michael Hicks University of Maryland at College Park
09:00 - 10:00
TalkPLMW at Kon-Tiki +12h
09:00
60m
Talk
A Research Mindset
PLMW
10:00 - 10:30
PLTea (Tue AM)PLMW at Kon-Tiki Foyer
Chair(s): Rachit Nigam Cornell University
10:00
30m
Social Event
PLTeasocial
PLMW

10:30 - 12:00
PanelPLMW at Kon-Tiki +12h
10:30
90m
Panel
Mentoring Panel: Post-graduate Career Paths
PLMW
Michael Greenberg Stevens Institute of Technology, Chris Hawblitzel Microsoft Research, Hila Peleg Technion, Sukyoung Ryu KAIST, S: Deian Stefan University of California at San Diego
13:30 - 15:00
TalkPLMW at Kon-Tiki +12h
13:30
90m
Talk
Whose Life Are You Making Better
PLMW
John Regehr University of Utah
15:30 - 17:00
PanelPLMW at Kon-Tiki +12h
15:30
90m
Panel
Mentoring Panel: Hot Topics in PL
PLMW
Michael Carbin Massachusetts Institute of Technology, Andrew Myers Cornell University, Nadia Polikarpova University of California at San Diego, S: Limin Jia Carnegie Mellon University, Nikhil Swamy Microsoft Research
21:00 - 22:00
TalkPLMW at Kon-Tiki
21:00
60m
Talk
A Research Mindset
PLMW
22:30 - 00:00
PanelPLMW at Kon-Tiki
22:30
90m
Panel
Mentoring Panel: Post-graduate Career Paths
PLMW
Michael Greenberg Stevens Institute of Technology, Chris Hawblitzel Microsoft Research, Hila Peleg Technion, Sukyoung Ryu KAIST, S: Deian Stefan University of California at San Diego

Wed 15 Jun

Displayed time zone: Pacific Time (US & Canada) change

01:30 - 03:00
TalkPLMW at Kon-Tiki
01:30
90m
Talk
Whose Life Are You Making Better
PLMW
John Regehr University of Utah
03:30 - 05:00
PanelPLMW at Kon-Tiki
03:30
90m
Panel
Mentoring Panel: Hot Topics in PL
PLMW
Michael Carbin Massachusetts Institute of Technology, Andrew Myers Cornell University, Nadia Polikarpova University of California at San Diego, S: Limin Jia Carnegie Mellon University, Nikhil Swamy Microsoft Research