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.


24 Feb Introduction to the seminar Dimitar I. Dimitrov PDF
10 Mar Learning to Explore Paths for Symbolic Execution Zikai Liu Jingxuan
10 Mar Validating SMT Solvers via Semantic Fusion Pascal Strebel Chengyu
17 Mar Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing Eric Enzler Reza
17 Mar Input Algebras Robin Schmidiger Reza
24 Mar Interval Constraint-Based Mutation Testing of Numerical Specifications Fabian Bösiger Daming
24 Mar Probabilistic Delta Debugging Jasmin Schult Daming
31 Mar Alive2: bounded translation validation for LLVM Dennis Buitendijk Theodoros
31 Mar Test-Case Prioritization for Configuration Testing Gianluca Moro Manuel
7 Apr Favocado: Fuzzing the Binding Code of JavaScript Engines Using Semantically Correct Test Cases Benjamin Simmonds Zuming
7 Apr DifuzzRTL: Differential Fuzz Testing to Find CPU Bugs Simon Hrabec Zuming
14 Apr Abstracting Failure-Inducing Inputs Rahul Goli Chengyu
14 Apr Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing Mihajlo Djokic Anouk
28 Apr DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning Yunfan Zou Momchil
28 Apr Compositional Generalization via Neural-Symbolic Stack Machines Yuxin Sun Momchil
5 May zkay: Specifying and Enforcing Data Privacy in Smart Contracts Jonathan Lampérth Sam
5 May EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation Roman Sobkuliak Sam
12 May Towards Self-Adaptable Languages Oliver Schwarzenbach Sverrir
12 May Example-Based Live Programming for Everyone Viktor Gsteiger Sverrir
19 May No presentations
2 Jun Systematically covering input structure Niels Mündler Dominik