PLDI 2020 (series) / MAPL 2020 (series) /
MAPL 2020 Program
This is the MAPL 2020 program - see the full program for PLDI 2020 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 16 JunDisplayed time zone: Pacific Time (US & Canada) change
Tue 16 Jun
Displayed time zone: Pacific Time (US & Canada) change
08:00 - 10:00 | |||
08:00 30mTalk | Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs MAPL Elizabeth Dinella University of Pennsylvania | ||
08:30 60mTutorial | A Gentle Tutorial on Graph Neural Networks and Its Application to Programming Languages MAPL Yizhou Sun UCLA | ||
09:30 30mTalk | LambdaNet: Probabilistic Type Inference using Graph Neural Networks MAPL Işıl Dillig University of Texas at Austin, USA |
10:00 - 10:30 | |||
10:30 - 11:30 | Deep Learning and Program VerificationMAPL at MAPL live stream Chair(s): Xujie Si McGill University, Canada | ||
10:30 30mTalk | An Abstraction-Based Framework for Neural Network Verification MAPL Guy Katz Hebrew University | ||
11:00 30mTalk | Generating Correctness Proofs with Neural Networks MAPL Alex Sanchez-Stern University of California, San Diego, Yousef Alhessi University of California, San Diego, Lawrence Saul University of California, San Diego, Sorin Lerner University of California at San Diego, USA |
11:30 - 12:30 | Compilers for Deep Learning FrameworksMAPL at MAPL live stream Chair(s): Charles Sutton Google Research | ||
11:30 30mTalk | On the Challenges in Programming Mixed-Precision Deep Neural Networks MAPL Ruizhe Zhao Imperial College London, Wayne Luk Imperial College London, Chao Xiong Corerain Technologies, Xinyu Niu Corerain Technologies, Kuen Hung Tsoi Corerain Technologies | ||
12:00 30mTalk | Semi-static Type, Shape and Symbolic Shape Inference for Dynamic Computation Graphs MAPL Momoko Hattori The University of Tokyo, Shimpei Sawada Preferred Networks, Shinichiro Hamaji Preferred Networks, Masahiro Sakai Preferred Networks, Shunsuke Shimizu Preferred Networks |
12:30 - 13:00 | |||
13:00 - 14:00 | |||
13:00 60mTalk | Program Optimization for Machine Learning MAPL Alex Aiken Stanford University, USA |
14:00 - 15:00 | Formal Methods and Reinforcement LearningMAPL at MAPL live stream Chair(s): Aws Albarghouthi University of Wisconsin-Madison, USA | ||
14:00 30mTalk | Learned Garbage Collection MAPL Lujing Cen MIT CSAIL, Ryan Marcus MIT CSAIL / Intel Labs, Hongzi Mao MIT CSAIL, Justin Gottschlich Intel Labs / Penn, Mohammad Alizadeh MIT CSAIL, Tim Kraska MIT CSAIL | ||
14:30 30mTalk | Trustworthy Autonomy through Program Synthesis MAPL Swarat Chaudhuri Rice University |
15:00 - 15:30 | |||
15:30 - 17:00 | |||
15:30 30mTalk | Neurosymbolic Reasoning and the Third Wave of Program Synthesis MAPL Armando Solar-Lezama Massachusetts Institute of Technology, USA | ||
16:00 30mTalk | Learning Quantitative Representation Synthesis MAPL Mayur Patil University of California, Riverside, Farzin Houshmand University of California, Riverside, Mohsen Lesani University of California, Riverside | ||
16:30 30mTalk | Towards Human-Like Program Synthesis MAPL Rishabh Singh Google Brain |
17:00 - 17:30 | |||