Write a Blog >>
PLDI 2020
Mon 15 - Sat 20 June 2020
VenueOnline!
Room nameMAPL
Floor0
Additional informationThere is no additional information of this room available.
Program

This program is tentative and subject to change.

Tue 16 Jun (GMT-07:00) Pacific Time (US & Canada) change

mapl-2020-papers
08:00 - 10:00: MAPL - GNNs for Program Reasoning at MAPL
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:30 - 11:30: MAPL - Deep Learning and Program Verification at MAPL
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
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
13:00 - 14:00: MAPL - Keynote Talk at MAPL
mapl-2020-papers13:00 - 14:00
Talk
Alex AikenStanford University, USA
mapl-2020-papers
14:00 - 15:00: MAPL - Program Synthesis at MAPL
mapl-2020-papers14:00 - 14:30
Talk
Mayur PatilUniversity of California, Riverside, Farzin HoushmandUniversity of California, Riverside, Mohsen LesaniUniversity of California, Riverside
mapl-2020-papers14:30 - 15:00
Talk
Rishabh SinghGoogle Brain
mapl-2020-papers
15:30 - 17:00: MAPL - Formal Methods and Reinforcement Learning at MAPL
mapl-2020-papers15:30 - 16:00
Talk
Armando Solar-LezamaMassachusetts Institute of Technology, USA
mapl-2020-papers16:00 - 16: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-papers16:30 - 17:00
Talk
Swarat ChaudhuriRice University

This program is tentative and subject to change.

This program is tentative and subject to change.