CDL Group Seminar

In this seminar, members and guests of our group as well as students preparing a bachelor or master thesis in our group meet weekly to present their work. Furthermore, all participants discuss recent research papers.

Bachelor/Master Seminar
If you want to do a thesis in our group, you will have to attend this seminar. For UdS students: This seminar counts as the Bachelor/Master Seminar.
Reading Group
Other students are cordially invited to discuss recent research papers. These students obtain 3 credit points.

General Information

When Wednesday at 14:00 (sine tempore)
Where Online, see email

The first seminar meeting will be on April 2, 2020.

Modus Operandi - Bachelor/Master Seminar

You need to:

The first time you show up at the master seminar, make sure to give us your email address. It will be added to the mailing list and you will receive email notifications before each upcoming session.

After getting the Schein, students need to register their thesis at the Prüfungsamt.

Proposal Regulations

Although the thesis proposal is not part of the master seminar itself, we require a proposal to contain:

A presentation of such a thesis proposal must meet the following requirements:

Research Papers

If we do not have any presentation in the pipeline, we will discuss a recent research paper instead. This is the list of research papers:

  1. An Inductive Synthesis Framework for Verifiable Reinforcement Learning
  2. FaCT: A DSL for Timing-Sensitive Computation
  3. Composable, Sound Transformations of Nested Recursion and Loops
  4. SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic


Date Speaker Topic Comments
2020-04-02 10:00 Yannick Schillo RustiC - A Rust-like type system for temporal memory safety in C Bachelor proposal
2020-04-08 14:00 Matthis Kruse An Introduction to Probabilistic Programming , Chapter 1+2 Paper discussion
2020-04-15 14:00 Fabian Ritter Opt. and Abstr.: A Synergistic Approach for Analyzing NN Robustness Paper discussion
2020-04-22 14:00 Julian Rosemann Bidirectional type checking for relational properties Paper discussion
2020-04-29 14:00 Roland Leißa Computing Summaries of String Loops in C for Better Testing and Refactoring Paper discussion
2020-05-13 14:00 Tina Jung A Fast Analytical Model of Fully Associative Caches Paper discussion
2020-05-20 14:00 Ilka Kopping Automatic Alarm Slicing Bachelor talk
2020-07-08 14:00 Jan Reineke Hardware-Software Contracts for Secure Speculation -
2020-07-22 14:00 Corinna Schäfer
Leon Barth
Experimental evaluation of inaccuracies in cache analysis
Micro-ops: Zyklengenaue Messungen des Verhaltens moderner Intel-x86-Prozessoren
Bachelor talks
2020-08-05 14:00 Canberk Morelli
Maximilian Köhl
Warping Cache Simulation
A Structural Operational Semantics for Python
Bachelor talks
2020-09-02 14:00 Matthias Kurtenacker Register Allocation for Vector-Predicated Codes Master talk
2020-09-16 14:00 Yannick Schillo RustiC, a Rust-Like Type System for Temporal Memory Safety in C Bachelor talk

In cases of questions, do not hesitate to ask Roland Leißa.