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: (GMT-07:00) Pacific Time (US & Canada) change

ismm-2020
03:00 - 05:00: ISMM 2020 - Hallway Track at ISMM live stream
ismm-202004:30 - 05:00
Day opening
Martin MaasGoogle Research, Chen DingUniversity of Rochester
ismm-2020
05:00 - 07:00: ISMM 2020 - Session 1A at ISMM live stream
Chair(s): Erez PetrankTechnion, Israel
ismm-202005:00 - 05:30
Talk
Aman BansalIIT Bombay, India, Saksham GoelIndian Institute of Technology, Bombay, Preey ShahIIT Bombay, India, Amitabha SanyalIIT Bombay, Prasanna KumarIIT Bombay
ismm-202005:30 - 06:00
Talk
Sam AinsworthUniversity of Cambridge, Timothy M. JonesUniversity of Cambridge, UK
ismm-202006:00 - 06:30
Talk
Shihao SongDrexel University, Anup DasDrexel University, Onur MutluETH Zurich, Nagarajan KandasamyDrexel University
ismm-202006:30 - 07:00
Talk
Albert Mingkun YangUppsala University, Sweden, Erik ÖsterlundOracle, Sweden, Jesper WilhelmssonOracle, Hanna NyblomKTH, Tobias WrigstadUppsala University, Sweden
ismm-2020
07:00 - 09:00: ISMM 2020 - Session 2A at ISMM live stream
Chair(s): Stefano MarkidisKTH Royal Institute of Technology
ismm-202007:00 - 07:30
Talk
Andrew AppelPrinceton, David NaumannStevens Institute of Technology
ismm-202007:30 - 08:00
Talk
Ben GamariWell-Typed LLP, Laura DietzUniversity of New Hampshire
ismm-202008:00 - 08:30
Talk
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
ismm-202008:30 - 09:00
Talk
Shihao SongDrexel University, Anup DasDrexel University, Nagarajan KandasamyDrexel University
ismm-2020
09:00 - 11:00: ISMM 2020 - Session 1B (Repeat of Session 1A) at ISMM live stream
Chair(s): Ian RogersGoogle, USA
ismm-202009:00 - 09:30
Talk
Sam AinsworthUniversity of Cambridge, Timothy M. JonesUniversity of Cambridge, UK
ismm-202009:30 - 10:00
Talk
Aman BansalIIT Bombay, India, Saksham GoelIndian Institute of Technology, Bombay, Preey ShahIIT Bombay, India, Amitabha SanyalIIT Bombay, Prasanna KumarIIT Bombay
ismm-202010:00 - 10:30
Talk
Albert Mingkun YangUppsala University, Sweden, Erik ÖsterlundOracle, Sweden, Jesper WilhelmssonOracle, Hanna NyblomKTH, Tobias WrigstadUppsala University, Sweden
ismm-202010:30 - 11:00
Talk
Shihao SongDrexel University, Anup DasDrexel University, Onur MutluETH Zurich, Nagarajan KandasamyDrexel University
ismm-2020
11:00 - 13:00: ISMM 2020 - Keynote & Social Hour at ISMM live stream
Chair(s): Chen DingUniversity of Rochester, Martin MaasGoogle Research
ismm-202011:00 - 12:00
Talk
Richard JonesUniversity of Kent
ismm-202012:00 - 13:00
Social Event
ismm-2020
13:00 - 15:00: ISMM 2020 - Hallway Track at ISMM live stream
ismm-2020
15:00 - 17:00: ISMM 2020 - Session 2B (Repeat of Session 2A) at ISMM live stream
Chair(s): Po-An TsaiNVIDIA
ismm-202015:00 - 15:30
Talk
Shihao SongDrexel University, Anup DasDrexel University, Nagarajan KandasamyDrexel University
ismm-202015:30 - 16:00
Talk
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
ismm-202016:00 - 16:30
Talk
Ben GamariWell-Typed LLP, Laura DietzUniversity of New Hampshire
ismm-202016:30 - 17:00
Talk
Andrew AppelPrinceton, David NaumannStevens Institute of Technology
ismm-2020
17:00 - 19:00: ISMM 2020 - Hallway Track at ISMM live stream
ismm-202017:00 - 17:10
Day closing
Chen DingUniversity of Rochester, Martin MaasGoogle Research

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

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