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.


22 Sep Introduction to the seminar Jingxuan He PDF
13 Oct Detecting Numerical Bugs in Neural Network Architectures Jonas Derissen Daming
13 Oct Detecting Floating-Point Errors via Atomic Conditions Remo Zumsteg Daming
20 Oct Metamorphic Testing of Datalog Engines Gregory Rozanski Manuel
27 Oct Who’s Debugging the Debuggers? Exposing Debug Information Bugs in Optimized Binaries Jonas Maier Theo
27 Oct Exploring the Space of Optimization Sequences for Code-size Reduction: Insights and Tools Tim Weisser Theo
3 Nov Refinement Reflection: Complete Verification with SMT Cedric Gebistorf Dominik
3 Nov Alive2: Bounded Translation Validation for LLVM Robin Rudin Dominik
10 Nov Quickly Generating Diverse Valid Test Inputs with Reinforcement Learning Alex Thillen Reza
10 Nov Coverage Guided, Property Based Testing Malte Wächter Reza
17 Nov Semantic Fuzzing with Zest Luca Maier Zuming
17 Nov GREYONE: Data Flow Sensitive Fuzzing Dominic Wüst Zuming
24 Nov Logic and Lattices for Distributed Programming Michael Hartmann Luca
24 Nov Static Analysis of Shape in TensorFlow Programs Nicolae Binica Luca
1 Dec Detecting Violations of Differential Privacy Alexandre Reol Benjamin
1 Dec DP-Sniper: Black-Box Discovery of Differential Privacy Violations using Classifiers Moritz Reihs Benjamin
8 Dec Compiler Validation via Equivalence Modulo Inputs Marvin Thomet Anouk
8 Dec Stochastic Superoptimization Michael Keller Anouk
15 Dec Concolic Program Repair Curdin Schenkel Dimitar
15 Dec Blended, Precise Semantic Program Embeddings Svenja Scherrer Dimitar
22 Dec NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion Otar Regös Sam
22 Dec zkay: Specifying and Enforcing Data Privacy in Smart Contracts Elitsa Popova Sam