Welcome to ML4PL, the first workshop on machine learning techniques applied to programming language-related applications. 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.
Tue 7 Jul Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
| 10:15 - 11:00 Talk | Martin VechevETH Zurich | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Marc BrockschmidtMicrosoft Research | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Suresh JagannathanDARPA | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | Emery BergerUniversity of Massachusetts, Amherst | |||||||||||||||||||||||||||||||||||||||||
| 13:45 - 14:15 Talk | Eran YahavTechnion | |||||||||||||||||||||||||||||||||||||||||
| 14:15 - 14:45 Talk | Miltiadis AllamanisUniversity of Edinburgh, Earl T. BarrUniversity College London, Christian BirdMicrosoft Research, Charles SuttonUniversity of Edinburgh | |||||||||||||||||||||||||||||||||||||||||
| 14:45 - 15:15 Talk | Kathleen FisherTufts University | |||||||||||||||||||||||||||||||||||||||||
| 15:15 - 15:45 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:10 - 16:40 Talk | Molham ArefLogicblox | |||||||||||||||||||||||||||||||||||||||||
| 16:40 - 17:10 Talk | Andrew D. GordonMicrosoft Research and University of Edinburgh | |||||||||||||||||||||||||||||||||||||||||
| 17:10 - 17:40 Talk | Pavel KordikCzech Technical University in Prague | |||||||||||||||||||||||||||||||||||||||||
Call for Papers
Over the last few 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
The workshop will feature a couple of longer talks, and the short problem statements.
Submissions should take the form of talk abstract or 2 page problem statements.
- Submission site: https://easychair.org/conferences/?conf=ml4pl2015
| Tue 7 Jul 2015 Workshop |
| Fri 1 May 2015 Notification |
| Thu 9 Apr 2015 Submissions |
Molham ArefCommittee Member
Logicblox
Emery BergerCommittee Member
University of Massachusetts, Amherst
United States
Kathleen FisherCommittee Member
Tufts University
United States
Björn FrankeCommittee Member
University of Edinburgh
Germany
Andrew D. GordonCommittee Member
Microsoft Research and University of Edinburgh
United Kingdom
Suresh JagannathanCommittee Member
DARPA
United States
Pavel KordikCommittee Member
Czech Technical University in Prague
Prasad KulkarniChair
University of Kansas
India
Aditya NoriCommittee Member
Microsoft Research, UK
India
Martin VechevCommittee Member
ETH Zurich
Bulgaria
Zheng WangCommittee Member
Lancaster University
China
Eran YahavCommittee Member
Technion
Israel