The main goal of this seminar is to introduce students to the latest research trends in the field of programming languages and systems, including:
- Core automated program analysis and synthesis techniques (e.g., new algorithms, combinations with machine learning).
- Inter-disciplinary applications of these techniques to a variety of challenges in system reliability, security and performance (e.g., reasoning about networks).
The seminar is carried out as a set of presentatins (2 each lecture) chosen from a set of available papers (available below). The grade is determined as a function of the presentation, handling questions and answers, and participation.
Some of the papers below are available through ACM Digital Library which can be accessed using nethz credentials.
|Program Synthesis and Statistical Learning|
|Learning tractable probabilistic models for fault localization||AAAI 2016|
|Synthesizing Piece-wise Functions by Learning Classifiers||TACAS 2015|
|Transforming Spreadsheet Data Types using Examples||POPL 2016|
|Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation||OOPSLA 2015|
|Oracle guided component-based program synthesis||ICSE 2010|