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

Slack channel: #mapl

YouTube live stream

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

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
mapl-2020-papers
10:00 - 10:30: MAPL - Break at MAPL live stream
mapl-2020-papers
10:30 - 11:30: MAPL - Deep Learning and Program Verification at MAPL live stream
Chair(s): Xujie SiMcGill University, Canada
mapl-2020-papers10:30 - 11:00
Talk
Guy KatzHebrew University
mapl-2020-papers11:00 - 11:30
Talk
Alex Sanchez-SternUniversity of California, San Diego, Yousef AlhessiUniversity of California, San Diego, Lawrence SaulUniversity of California, San Diego, Sorin LernerUniversity of California at San Diego, USA
mapl-2020-papers
11:30 - 12:30: MAPL - Compilers for Deep Learning Frameworks at MAPL live stream
Chair(s): Charles SuttonGoogle Research
mapl-2020-papers11:30 - 12:00
Talk
Ruizhe ZhaoImperial College London, Wayne LukImperial College London, Chao XiongCorerain Technologies, Xinyu NiuCorerain Technologies, Kuen Hung TsoiCorerain Technologies
mapl-2020-papers12:00 - 12:30
Talk
Momoko HattoriThe University of Tokyo, Shimpei SawadaPreferred Networks, Shinichiro HamajiPreferred Networks, Masahiro SakaiPreferred Networks, Shunsuke ShimizuPreferred Networks
mapl-2020-papers
12:30 - 13:00: MAPL - Break at MAPL live stream
mapl-2020-papers
13:00 - 14:00: MAPL - Keynote Talk at MAPL live stream
Chair(s): Justin GottschlichIntel Labs / Penn
mapl-2020-papers13:00 - 14:00
Talk
Alex AikenStanford University, USA
mapl-2020-papers
14:00 - 15:00: MAPL - Formal Methods and Reinforcement Learning at MAPL live stream
Chair(s): Aws AlbarghouthiUniversity of Wisconsin-Madison, USA
mapl-2020-papers14:00 - 14:30
Talk
Lujing CenMIT CSAIL, Ryan MarcusMIT CSAIL / Intel Labs, Hongzi MaoMIT CSAIL, Justin GottschlichIntel Labs / Penn, Mohammad AlizadehMIT CSAIL, Tim KraskaMIT CSAIL
mapl-2020-papers14:30 - 15:00
Talk
Swarat ChaudhuriRice University
mapl-2020-papers
15:00 - 15:30: MAPL - Break at MAPL live stream
mapl-2020-papers
15:30 - 17:00: MAPL - Program Synthesis at MAPL live stream
Chair(s): Satish ChandraFacebook
mapl-2020-papers15:30 - 16:00
Talk
Armando Solar-LezamaMassachusetts Institute of Technology, USA
mapl-2020-papers16:00 - 16:30
Talk
Mayur PatilUniversity of California, Riverside, Farzin HoushmandUniversity of California, Riverside, Mohsen LesaniUniversity of California, Riverside
mapl-2020-papers16:30 - 17:00
Talk
Rishabh SinghGoogle Brain
mapl-2020-papers
17:00 - 17:30: MAPL - Break at MAPL live stream