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.


21 Sep Introduction to the seminar Jingxuan He PDF
12 Oct A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code Samuel Räber Benjamin
12 Oct Scalable Taint Specification Inference with Big Code Luca Sichi Benjamin
19 Oct Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing Colin Pfingstl Anouk
19 Oct Type-Directed Program Synthesis for RESTful APIs Andrej Scheuer Anouk
26 Oct ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs Pascal Bucher Sam
26 Oct EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation Aaron Bojarski Sam
02 Nov The Adverse Effects of Code Duplication in Machine Learning Models of Code Tim Kluser Luca
02 Nov Synchromesh: Reliable Code Generation from Pre-trained Language Models Fabian Epp Luca
09 Nov Explaining Mispredictions of Machine Learning Models using Rule Induction Alan Boyle Momchil
09 Nov CodeBERT: A Pre-Trained Model for Programming and Natural Languages Cashen Adkins Momchil
16 Nov TOGA: A Neural Method for Test Oracle Generation Oliver Saravanja Shaohua
16 Nov Finding typing compiler bugs Max Wierse Shaohua
23 Nov Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers Mark Csurgay Dominik
23 Nov “Synthesizing Input Grammars”: A Replication Study João Patrick Lopes Müller Dominik
30 Nov Random Testing for C and C++ Compilers with YARPGen Adrien Schär Chengyu
30 Nov Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers Berkay Aydogdu Chengyu
07 Dec BOLT: a practical binary optimizer for data centers and beyond Alexander Schlieper Theo
07 Dec An Experience with Code-Size Optimization for Production iOS Mobile Applications René Čáky Theo
14 Dec BEACON : Directed Grey-Box Fuzzing with Provable Path Pruning Isabel Haas Zu-Ming
14 Dec Effective Seed Scheduling for Fuzzing with Graph Centrality Analysis Konstantin Sturm Zu-Ming
21 Dec Automatic Generation of Programming Exercises and Code Explanations Using Large Language Models Amos Herz Sverrir
21 Dec Synthesis of Web Layouts from Examples Noah Schlüssel Sverrir