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.


22 Feb Introduction to the seminar Momchil Peychev PDF
7 Mar Fuzz4All: Universal Fuzzing with Large Language Models Levin Winter Zuming
Large Language Models are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models Alejandro Cuadrón Lafuente Zuming
21 Mar WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration Matteo Agnoletto Jasper
28 Mar A Grounded Conceptual Model for Ownership Types in Rust Timon Herzog Johannes
Verifiable Learning for Robust Tree Ensembles Noemi Marty Jasper
11 Apr Large Language Models for Code: Security Hardening and Adversarial Testing Elena Lyulina Robin
SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embeddings Matej Martincek Robin
18 Apr TrivialSpy: Identifying Software Triviality via Fine-grained and Dataflow-based Value Profiling Daniele Del Giudice Theodoros
What every scientific programmer should know about compiler optimizations? Oana Rosca Theodoros
25 Apr Prompting Is Programming: A Query Language for Large Language Models Jeremy Bitar Luca
Code Llama: Open Foundation Models for Code Yiqun Liu Luca
2 May Generation of Code Tracing Problems from Open-Source Code Georgios Drosos Sverrir
Detecting the Reasons for Program Decomposition in CS1 and Evaluating Their Impact Roman Fischer Sverrir
16 May Understanding and exploiting optimal function inlining Krishna Le Moing Michel
ORAQL - Optimistic Responses to Alias Queries in LLVM Thomas Mayerl Michel
23 May Generating Well-Typed Terms That Are Not "Useless" Jonas Maier Max
30 May Implementation Strategies for Mutable Value Semantics Florence Kissling Isaac
Reference Capabilities for Flexible Memory Management Oliver Graf Isaac