Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Tue 16 Jun 2020 08:00 - 08:30 at MAPL live stream - Graph Neural Networks for Program Reasoning Chair(s): Ke Wang

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

mapl-2020-papers
08:00 - 10:00: MAPL - Graph Neural Networks for Program Reasoning at MAPL live stream
Chair(s): Ke WangVisa Research
mapl-2020-papers08:00 - 08:30
Talk
Elizabeth DinellaUniversity of Pennsylvania
mapl-2020-papers08:30 - 09:30
Tutorial
mapl-2020-papers09:30 - 10:00
Talk
Isil DilligUniversity of Texas at Austin, USA