FMS 2018
co-located with PLDI 2018
VenueHilton Philadelphia at Penn's Landing
Room nameGrand Ballroom
Floor0
Room InformationNo extra information available
Program

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

Wed 20 Jun

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

08:45 - 09:00
WelcomePLDI Invited Speakers at Grand Ballroom
Chair(s): Jeffrey S. Foster University of Maryland, College Park / Tufts University, Dan Grossman University of Washington
09:00 - 10:00
KeynotePLDI Invited Speakers at Grand Ballroom
Chair(s): Michael Hicks University of Maryland, College Park
09:00
60m
Talk
Language-Integrated Verification
PLDI Invited Speakers
Ranjit Jhala University of California, San Diego
Media Attached
10:00 - 10:30
Lightning Overview - Day 1PLDI Research Papers at Grand Ballroom
Chair(s): Dan Grossman University of Washington

Thu 21 Jun

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

08:45 - 09:00
PLDI 2019 IntroductionPLDI Invited Speakers at Grand Ballroom
Chair(s): Kathleen Fisher Tufts University, Kathryn S McKinley Google
08:45
15m
Talk
PLDI 2019 Introduction
PLDI Invited Speakers
Kathryn S McKinley Google, Kathleen Fisher Tufts University
Media Attached
09:00 - 10:00
KeynotePLDI Invited Speakers at Grand Ballroom
Chair(s): Cormac Flanagan University of California, Santa Cruz
09:00
60m
Talk
Machine Learning: Alchemy for the Modern Computer Scientist
PLDI Invited Speakers
Media Attached
10:00 - 10:30
Lightning Overview - Day 2PLDI Research Papers at Grand Ballroom
Chair(s): Dan Grossman University of Washington
17:30 - 18:30
SIGPLAN and SRC AwardsPLDI Invited Speakers at Grand Ballroom
Chair(s): Maria Christakis MPI-SWS, Satnam Singh X, the moonshot factory

Fri 22 Jun

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

09:00 - 10:00
KeynotePLDI Invited Speakers at Grand Ballroom
Chair(s): Emery D. Berger University of Massachusetts, Amherst
09:00
60m
Talk
A “Post-ISA” Era in Computer Systems: Challenges and Opportunities
PLDI Invited Speakers
Media Attached
10:00 - 10:30
Lightning Overview - Day 3PLDI Research Papers at Grand Ballroom
Chair(s): Dan Grossman University of Washington

Thu 21 Jun

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

Fri 22 Jun

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

Wed 20 Jun

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

Thu 21 Jun

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

Fri 22 Jun

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