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. 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/Masterseminar.

General Information

When Thursdays at 14:00 (sine tempore)
Where Room 401, E1 3

Note that due to public holidays individual sessions may be scheduled to a different slot.

The first seminar meeting will be on April, 7th, 2016


Date Speaker Topic Comments
2016-04-07 14:00 s.t. Govinda Sicheneder Syntax-Guided Synthesis Through Graph Planning
2016-04-21 14:00 s.t. Wiam Rachid Polyhedral Task Parallelism
2016-04-29 14:00 s.t. Michel Steuwer The lift Project: Performance Portability via Rewrite Rules
2016-06-02 14:00 s.t. Immanuel Haffner Offline Partial Evaluation of LLVM Bitcode
2016-06-09 14:00 s.t. Julian Rosemann Formal Verification of a Family of Spilling Algorithms
2016-06-14 14:00 s.t. Tobias Blass WCET Estimation of Write-Back Caches
2016-07-21 14:00 s.t. Immanuel Haffner Offline Partial Evaluation of LLVM Bitcode
2016-08-11 14:00 s.t. Matthias Kurtenacker On Synchronization in the Polyhedral Model
2016-09-01 14:00 s.t. Govinda Sicheneder Syntax-Guided Synthesis through Graph Planning
2016-09-08 14:00 s.t. Till Speicher Safe and Fast Memory Management for AnyDSL


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:

In cases of questions, do not hesitate to ask Michael Jacobs.