2nd International Workshop on Machine Learning techniques for Programming Languages
Welcome to ML4PL, a workshop on machine learning techniques applied to programming language-related research and development. This workshop puts an emphasis on identifying open problem rather than presenting solution, and encourages discussion amongst the participants. Attendance will be limited to ensure that meeting retains an interactive character.
Accepted Talks
Call for Submissions
Over the last years, we have seen a rapid growth in the use of machine-learning technologies in programming languages and systems. This growth is driven by the need to design programming languages to analyze, detect patterns, and make sense of Big Data, along with the increasing complexity of programming language tools, including analyzers and compilers, and computer architectures. The scale of complexity in available unstructured data and system tools has reached a stage where simple heuristics and solutions are no longer feasible or do not deliver adequate performance. At the same time, statistical and machine learning techniques have become more mainstream.
This workshop is a broad forum to bring together researchers with interests in the intersection of programming languages and system tools with machine learning.
Topics of interest include (but are not limited to):
- Program analysis + machine learning
- Programming languages + machine learning
- Compiler optimizations + machine learning
- Computer architecture + machine learning
- Probabilistic programming languages
- Design space exploration
Submissions should take the form of talk abstract or 2-page problem statements. Materials of accepted talks will be published in ACM DL.
Wed 18 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:30 | Session #1ML4PL at Bangkok Chair(s): Hila Peleg Technion, Israel, Artem Pelenitsyn Czech Technical University in Prague | ||
11:00 60mTalk | Inferring Input Structure for Machine LearningKeynote ML4PL Andreas Zeller Saarland University | ||
12:00 30mTalk | On the Importance of Common Sense in Program Synthesis ML4PL Hila Peleg Technion, Israel |
14:00 - 15:30 | |||
14:00 30mTalk | Buffer Overflow Detection for C Programs is Hard to Learn ML4PL | ||
14:30 30mTalk | Generating Software Adaptations using Machine Learning ML4PL | ||
15:00 30mTalk | Detecting anomalies in Kotlin code ML4PL Timofey Bryksin , Victor Petukhov ITMO University, Kirill Smirenko Saint Petersburg State University, Nikita Povarov JetBrains |
16:00 - 18:00 | |||
16:00 30mTalk | Subtype Polymorphism à la carte via Machine Learning on Dependent Types ML4PL Jerry Swan University of York, Colin Johnson University of Kent, Edwin Brady University of St. Andrews, UK | ||
16:30 30mTalk | Can We Learn Some PL Theory? How To Make Use of a Corpus of Subtype Checks ML4PL Artem Pelenitsyn Czech Technical University in Prague | ||
17:00 30mMeeting | Open Forum ML4PL |