Research Topics in Software Engineering

Overview

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

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