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.

Presentation Schedule

Sep 21 Introduction to the seminar (topics, objectives, structure) Prof. Dr. Martin Vechev PDF
Oct 5 Privacy-Preserving Deep Learning Aline Abler PDF Petar Tsankov
Query-guided maximum satisfiability Tobias Raphael Ballat PDF Pavol Bielik
Oct 12 Declarative Datalog Debugging for Mere Mortals Steven Battilana PDF Pavol Bielik
Distributed Time-aware Provenance Lukas Ernst PDF Rudiger Birkner
Oct 19 Semantics-Based Program Verifiers for All Languages Jan Gilcher PDF Gagandeep Singh
Automated Classification of Data Races Under Both Strong and Weak Memory Models Dino Mario Bollinger PDF Andrei Dan
Oct 26 Symbolic Implementation of the Best Transformer Pascal Blöchlinger PDF Dimitar Dimitrov
Automating Abstract Interpretation Cédric Nicolas Della Casa PDF Gagandeep Singh
Nov 2 Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations Patrick Elsener PDF Ahmed El-Hassany
Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations Nick Baumann PDF Petar Tsankov
Nov 9 Human Level Concept Learning through Probabilistic Induction David Lanzenberger PDF Timon Gehr
Slicing Probabilistic Programs Luca Wolf PDF Timon Gehr
Nov 16 Deep Learning of Code Fragments for Clone Detection Noël Jonas Rimensberger PDF Pavol Bielik
Event-Driven Network Programming Patrizio Bonzani PDF Ahmed El-Hassany
Nov 23 Learning Program Embeddings to Propagate Feedback on Student Code, ICML 2015 Dmytro Yuriyovych Polyanskyy PDF Timon Gehr
Decentralizing SDN Policies Alexander Daniel Heuzeroth PDF Petar Tsankov
Nov 30 Diagnosing Missing Events in Distributed Systemswith Negative Provenance Simon Ringeisen PDF Rudiger Birkner
The Good, the Bad, and the Differences:Better Network Diagnostics with Differential Provenance Philipp Mario Schaad PDF Rudiger Birkner
Dec 7 From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models Pirmin Schmid PDF Andrei Dan
Exposing Errors Related to Weak Memory in GPU Applications Joel Wanner PDF Andrei Dan
Dec 14 Software Dataplane Verification Claude Hähni PDF Ahmed El-Hassany
Precise, Dynamic Information Flow for Database-Backed Applications Marc Wyss PDF Dimitar Dimitrov