Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020

Due to recent algorithmic and computational advances, machine learning has seen a surge of interest in both research and practice. However, the impact of these advances on programming languages remains mostly untapped. Yet, incredible research opportunities exist when combining machine learning and programming languages in novel ways.

This workshop seeks to bring together programming language and machine learning communities to encourage collaboration and exploration in areas of mutual benefit. The workshop will include a combination of peer-reviewed papers and invited events. The workshop will seek papers on a diverse range of topics related to programming languages and machine learning including (and not limited to):

  • Application of machine learning to compilation and run-time scheduling
  • Collaborative human / computer programming
  • Inductive programming
  • Tools and techniques for mining and analyzing large code bases
  • Interoperability between machine learning frameworks and existing code bases
  • Probabilistic and differentiable programming
  • Programming language and compiler support for machine learning applications
  • Programming language support and implementation of deep learning frameworks
  • Intersection of cybersecurity and machine learning
  • Application of machine learning to code recommendation and autocompletion, test generation, program repair, and debugging, and vice-versa.
  • Novel structural representations of programming languages and machine learning
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

Call for Papers

The 4th Annual ACM SIGPLAN Machine Learning and Programming Languages Workshop (MAPL)

Call for Papers

Due to recent algorithmic and computational advances, machine learning has seen a surge of interest in both research and practice. From natural language processing to self-driving cars, machine learning is creating new possibilities that are changing the way we live and interact with computers. However, the impact of these advances on programming languages remains mostly untapped. Yet, incredible research opportunities exist when combining machine learning and programming languages in novel ways.

This workshop seeks to bring together programming language and machine learning communities to encourage collaboration and exploration in areas of mutual benefit. The workshop will include a combination of peer-reviewed papers and invited events. The workshop will seek papers on a diverse range of topics related to programming languages and machine learning including (and not limited to):

  • Application of machine learning to compilation and run-time scheduling
  • Collaborative human / computer programming
  • Inductive programming
  • Tools and techniques for mining and analyzing large code bases
  • Interoperability between machine learning frameworks and existing code bases
  • Probabilistic and differentiable programming
  • Programming language and compiler support for machine learning applications
  • Programming language support and implementation of deep learning frameworks
  • Testing, debugging, and fault-localization support for deep learning frameworks
  • Intersection of cybersecurity and machine learning
  • Application of machine learning to code recommendation and autocompletion, test generation, program repair, and debugging
  • Novel structural representations of programming languages and machine learning

Evaluation Criteria

As in previous years, reviewers will evaluate each contribution for its significance, originality, and clarity to the topics listed above. Submissions should clearly state how their novelty and how they improve upon existing work.

This year we will be using double-blind reviewing. This means that author names and affiliations must be omitted from the submission. Additionally, if the submission refers to prior work done by the authors, that reference should be made in third person. These are firm submission requirements. If you have questions about making your paper double blind, please contact the Program Chair.

Paper Submissions

Submissions must be in English. Papers should be in PDF format and no more than 8 pages in standard two-column SIGPLAN conference format including figures and tables but excluding references. Shorter submissions are welcome. The submissions will be judged based on the merit of the ideas rather than the length. Submissions must be made through an online submission site.

All accepted papers will appear in the published proceedings and available on the ACM Digital Library. Authors will have the option of having their final paper accessible from the workshop website as well.

Authors must be familiar with and abide by SIGPLAN’s republication policy, which forbids simultaneous submission to multiple venues and requires disclosing prior publication of closely related work.

Posters

Besides papers, MAPL this year will also have a poster session. We invite poster submissions that are related to the workshop topics. For each poster, please prepare a maximum 1 page abstract summarizing your project. All reasonable posters will be accepted. The poster titles will be posted on the workshop website but will not be included as part of the official proceedings, hence authors will be able to submit their work as a full paper to other venues. See below for submission deadlines. Note that posters should be submitted to a separate website. Use the ACM standard two-column SIGPLAN conference format for your poster abstract.

General Chair: Koushik Sen (UC Berkeley)

Program Chair: Mayur Naik (University of Pennsylvania)

Publicity Chair: Nesime Tatbul (Intel Labs / MIT)

Program Committee:

  • Aws Albarghouthi, University of Wisconsin-Madison
  • Satish Chandra, Facebook
  • Sarah Chasins, University of California, Berkeley
  • Dana Drachsler Cohen, Technion
  • Vinod Grover, NVIDIA
  • Ryan Marcus, Intel Labs and MIT CSAIL
  • Ayman Nadeem, GitHub, Inc.
  • Baishakhi Ray, Columbia University
  • Rahul Sharma, Microsoft Research
  • Xujie Si, University of Pennsylvania
  • Charles Sutton, Google Research
  • Ke Wang, Visa Research

Steering Committee:

  • Raj Barik (Uber)
  • Alvin Cheung (UC-Berkeley)
  • Stefano Ermon (Stanford University)
  • Justin Gottschlich (chair, Intel Labs / Penn)
  • Costin Iancu (Lawrence Berkeley National Lab)
  • Kunle Olukotun (Stanford University)
  • Tatiana Shpeisman (Google)
  • Armando Solar-Lezama (MIT)