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

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

08:00 - 10:00
Graph Neural Networks for Program ReasoningMAPL at MAPL live stream
Chair(s): Ke Wang Visa Research
08:00
30m
Talk
Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs
MAPL
Elizabeth Dinella University of Pennsylvania
08:30
60m
Tutorial
A Gentle Tutorial on Graph Neural Networks and Its Application to Programming Languages
MAPL
09:30
30m
Talk
LambdaNet: Probabilistic Type Inference using Graph Neural Networks
MAPL
Isil Dillig University of Texas at Austin, USA