Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
VenueOnline!
Room nameISMM live stream
Floor0
Additional information

Slack channel: #ismm

YouTube live streams:

Program

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

Tue 16 Jun
Times are displayed in time zone: Pacific Time (US & Canada) change

03:00 - 05:00: Hallway TrackISMM at ISMM live stream
04:30 - 05:00
Day opening
ISMM
Martin MaasGoogle Research, Chen DingUniversity of Rochester
05:00 - 07:00: Session 1AISMM at ISMM live stream
Chair(s): Erez PetrankTechnion, Israel
05:00 - 05:30
Talk
ISMM
Aman BansalIIT Bombay, India, Saksham GoelIndian Institute of Technology, Bombay, Preey ShahIIT Bombay, India, Amitabha SanyalIIT Bombay, Prasanna KumarIIT Bombay
05:30 - 06:00
Talk
ISMM
Sam AinsworthUniversity of Cambridge, Timothy M. JonesUniversity of Cambridge, UK
06:00 - 06:30
Talk
ISMM
Shihao SongDrexel University, Anup DasDrexel University, Onur MutluETH Zurich, Nagarajan KandasamyDrexel University
06:30 - 07:00
Talk
ISMM
Albert Mingkun YangUppsala University, Sweden, Erik ÖsterlundOracle, Sweden, Jesper WilhelmssonOracle, Hanna NyblomKTH, Tobias WrigstadUppsala University, Sweden
07:00 - 09:00: Session 2AISMM at ISMM live stream
Chair(s): Stefano MarkidisKTH Royal Institute of Technology
07:00 - 07:30
Talk
ISMM
Andrew AppelPrinceton, David NaumannStevens Institute of Technology
07:30 - 08:00
Talk
ISMM
Ben GamariWell-Typed LLP, Laura DietzUniversity of New Hampshire
08:00 - 08:30
Talk
ISMM
Wentao CaiUniversity of Rochester, Haosen WenUniversity of Rochester, H. Alan BeadleUniversity of Rochester, Chris KjellqvistUniversity of Rochester, Mohammad HedayatiUniversity of Rochester, Michael ScottUniversity of Rochester
08:30 - 09:00
Talk
ISMM
Shihao SongDrexel University, Anup DasDrexel University, Nagarajan KandasamyDrexel University
09:00 - 11:00: Session 1B (Repeat of Session 1A)ISMM at ISMM live stream
Chair(s): Ian RogersGoogle, USA
09:00 - 09:30
Talk
ISMM
Sam AinsworthUniversity of Cambridge, Timothy M. JonesUniversity of Cambridge, UK
09:30 - 10:00
Talk
ISMM
Aman BansalIIT Bombay, India, Saksham GoelIndian Institute of Technology, Bombay, Preey ShahIIT Bombay, India, Amitabha SanyalIIT Bombay, Prasanna KumarIIT Bombay
10:00 - 10:30
Talk
ISMM
Albert Mingkun YangUppsala University, Sweden, Erik ÖsterlundOracle, Sweden, Jesper WilhelmssonOracle, Hanna NyblomKTH, Tobias WrigstadUppsala University, Sweden
10:30 - 11:00
Talk
ISMM
Shihao SongDrexel University, Anup DasDrexel University, Onur MutluETH Zurich, Nagarajan KandasamyDrexel University
11:00 - 13:00: Keynote & Social HourISMM at ISMM live stream
Chair(s): Chen DingUniversity of Rochester, Martin MaasGoogle Research
11:00 - 12:00
Talk
ISMM
Richard JonesUniversity of Kent
12:00 - 13:00
Social Event
ISMM
13:00 - 15:00: Hallway TrackISMM at ISMM live stream
15:00 - 17:00: Session 2B (Repeat of Session 2A)ISMM at ISMM live stream
Chair(s): Po-An TsaiNVIDIA
15:00 - 15:30
Talk
ISMM
Shihao SongDrexel University, Anup DasDrexel University, Nagarajan KandasamyDrexel University
15:30 - 16:00
Talk
ISMM
Wentao CaiUniversity of Rochester, Haosen WenUniversity of Rochester, H. Alan BeadleUniversity of Rochester, Chris KjellqvistUniversity of Rochester, Mohammad HedayatiUniversity of Rochester, Michael ScottUniversity of Rochester
16:00 - 16:30
Talk
ISMM
Ben GamariWell-Typed LLP, Laura DietzUniversity of New Hampshire
16:30 - 17:00
Talk
ISMM
Andrew AppelPrinceton, David NaumannStevens Institute of Technology
17:00 - 19:00: Hallway TrackISMM at ISMM live stream
17:00 - 17:10
Day closing
ISMM
Chen DingUniversity of Rochester, Martin MaasGoogle Research

Tue 16 Jun
Times are displayed in time zone: Pacific Time (US & Canada) change

Tue 16 Jun
Times are displayed in time zone: Pacific Time (US & Canada) change