REMS-DeepSpec 2020
Mon 15 - Tue 16 June 2020
co-located with PLDI 2020
VenueOnline!
Room nameMAPL live stream
Floor0
Room 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

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
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
30m
Talk
An Abstraction-Based Framework for Neural Network Verification
MAPL
Guy Katz Hebrew University
11:00
30m
Talk
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
30m
Talk
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
30m
Talk
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
Keynote TalkMAPL at MAPL live stream
Chair(s): Justin Gottschlich Intel Labs / Penn
13:00
60m
Talk
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
30m
Talk
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
30m
Talk
Trustworthy Autonomy through Program Synthesis
MAPL
Swarat Chaudhuri Rice University
15:00 - 15:30
15:30 - 17:00
Program SynthesisMAPL at MAPL live stream
Chair(s): Satish Chandra Facebook
15:30
30m
Talk
Neurosymbolic Reasoning and the Third Wave of Program Synthesis
MAPL
Armando Solar-Lezama Massachusetts Institute of Technology, USA
16:00
30m
Talk
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
30m
Talk
Towards Human-Like Program Synthesis
MAPL
Rishabh Singh Google Brain
17:00 - 17:30