Write a Blog >>
ISMM 2020
Tue 16 Jun 2020
co-located with PLDI 2020
Tue 16 Jun 2020 08:00 - 08:30 at ISMM live stream - Session 2A Chair(s): Stefano Markidis
Tue 16 Jun 2020 15:30 - 16:00 at ISMM live stream - Session 2B (Repeat of Session 2A) Chair(s): Po-An Tsai

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

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
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