This seminar is an opportunity to become familiar with current research in software engineering and more generally with the methods and challenges of scientific research.

Each student will be asked to study some papers from the recent software engineering literature and review them. This is an exercise in critical review and analysis. Active participation is required (a presentation of a paper as well as participation in discussions).

The aim of this seminar is to introduce students to recent research results in the area of programming languages and software engineering. To accomplish that, students will study and present research papers in the area as well as participate in paper discussions. The papers will span topics in both theory and practice, including papers on program verification, program analysis, testing, programming language design, and development tools.

Zoom Link

Please join our sessions using this Zoom link. The password will be sent to students by email.


25 Feb Introduction to the seminar Manuel Rigger PDF
11 Mar Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution Silas Walker Theo
11 Mar zkay: Specifying and Enforcing Data Privacy in Smart Contracts Jan Kleine Sam
25 Mar p4v: Practical Verification for Programmable Data Planes Liming Han Dimitar
25 Mar λPSI: Exact Inference for Higher-Order Probabilistic Programs Manuel Nowack Benjamin
1 Apr EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation Matthew Weingarten Sam
1 Apr Assertion-Based Optimization of Quantum Programs Nora Hossle Anouk
15 Apr GenSynth: Synthesizing Datalog Programs without Language Bias Youyuan Lu Momchil
15 Apr Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs Rik de Graaff Momchil
22 Apr Adding Interactive Visual Syntax to Textual Code Daniel Sparber Sverrir
22 Apr Using Hypotheses as a Debugging Aid Amro Abdrabo Sverrir
29 Apr egg: Fast and Extensible Equality Saturation Ellen Arlt Dominik
29 Apr Random Testing for C and C++ Compilers with YARPGen Pascal Huber Dominik
6 May An Approach to Generate Correctly Rounded Math Librariesfor New Floating Point Variants Jiale Chen Daming
6 May Discovering Discrepancies in Numerical Libraries Johannes de Fine Licht Daming
20 May Flow2Vec: Value-Flow-Based Precise Code Embedding Xindi Zuo Shaohua
20 May A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) Grzegorz Kwasniewski Shaohua
27 May Symbolic execution with SymCC: Don't interpret, compile! Jannik Gartmann Theo
27 May Understanding and Automatically Detecting Conflicting Interactions between Smart Home IoT Applications Mike Marti Pinjia
3 Jun Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics Guilherme Rito Benjamin