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: biweekly at Wednesday at 16:00 (sine tempore)
Where: Online, see email

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:

Thesis Template

We provide a suggested template to use for Bachelor's and Master's Theses in our GitLab.

Research Papers

If we do not have any presentation in the pipeline, we will discuss a recent research paper instead.


Date Speaker Topic Comments
2022-10-19 16:00 Gideon Mohr Generating Hardware-Software Contracts -
2022-10-31 17:00 Luise Puhl TIPS: Teaching Interactive Program Semantics -
2022-11-08 14:00 Nils Husung Improving the Choice of Vectorization Factors -
2022-11-09 16:00 Gideon Geier Fuzzing RISC-V Cores Against Hardware-Software Contracts -
2023-02-15 16:00 Christopher Jung Automatische Differenzierung von Speicher und affinen Schleifen in AnyDSL in German
2023-02-15 16:00 Jonathan Baumann Verification of Spectre Mitigations using Hyper-Simulations
2023-02-21 16:00 Jannis Köhl High-Performance Image Processing and Partial Evaluation with Rust

In cases of questions, do not hesitate to ask Shrey Sharma.