Write a Blog >>

Please visit https://sites.google.com/view/mapl2017/home for detailed information on the MAPL workshop.

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. MAPL seeks to bring together programming language and machine learning communities to encourage collaboration and exploration in cross disciplinary research. The workshop will include a combination of peer-reviewed papers and invited events, such as invited talks, panels and/or town hall discussions.

MAPL seeks papers on a diverse range of topics related to programming languages and machine learning including:

  • Programming languages and compilers for machine learning
  • Deep learning frameworks
  • Machine learning for compilation and run-time scheduling
  • Improving programmer productivity via machine learning
  • Inductive programming
  • Formal verification of machine learning systems
  • Probabilistic programming
  • Collaborative human / computer programming
  • Interoperability of machine learning frameworks and existing code bases

Accepted Papers


Call for Papers

MAPL paper submissions should be made through EasyChair (link to follow soon).

Papers must be submitted in PDF and be no more than 8 pages in standard two-column SIGPLAN conference format including figures and tables but not including 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 the on-line submission site. Formal proceedings will be included in the ACM digital archive and available at the workshop.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 18 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:15 - 09:30: MAPL 2017 - Opening at Vertex WS219
mapl-2017-papers09:15 - 09:30
Day opening
09:30 - 10:30: MAPL 2017 - Keynote at Vertex WS219
mapl-2017-papers09:30 - 10:30
Sumit GulwaniMicrosoft Research
11:00 - 12:00: MAPL 2017 - Languages and Frameworks at Vertex WS219
mapl-2017-papers11:00 - 11:30
mapl-2017-papers11:30 - 12:00
Tim VieiraJohns Hopkins University, Matthew Francis-LandauThe Johns Hopkins University, Nathaniel Wesley Filardo, Farzad KhorasaniRice University, Jason EisnerThe Johns Hopkins University
12:00 - 12:30: MAPL 2017 - Debugging, Analysis, and Verification at Vertex WS219
mapl-2017-papers12:00 - 12:30
Chandrakana NandiUniversity of Washington, USA, Dan GrossmanUniversity of Washington, Adrian SampsonCornell University, Todd Mytkowicz, Kathryn S McKinleyMicrosoft Research
14:00 - 15:30: MAPL 2017 - Debugging, Analysis, and Verification 2 at Vertex WS219
mapl-2017-papers14:00 - 14:30
Xin ZhangGeorgia Tech, Xujie Si, Mayur NaikGeorgia Tech
mapl-2017-papers14:30 - 15:00
Ugur KocUniversity of Maryland, College Park, Parsa SaadatpanahUniversity of Maryland, Jeffrey S. FosterUniversity of Maryland, College Park, Adam PorterUniversity of Maryland
mapl-2017-papers15:00 - 15:30
Charlie MurphyPrinceton University, Gordon StewartOhio University
16:00 - 16:45: MAPL 2017 - Town Hall Discussion at Vertex WS219
mapl-2017-papers16:00 - 16:45
16:45 - 17:00: MAPL 2017 - Closing at Vertex WS219
mapl-2017-papers16:45 - 17:00
Day closing