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 10: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 November, 7th, 2013


Date Speaker Topic Comments
2013-10-31 10:00 na No meeting
2013-11-07 10:00 Ralf Karrenberg Control-Flow Divergence in Vectorized Programs
2013-11-14 10:00 Michael Jacobs WCET for multi cores
2013-11-21 10:00 Supriti Singh Experimental Comparison of Byzantine Fault-Tolerant Distributed Hash Tables
2013-11-28 10:00 na No meeting
2013-12-05 10:00 Johannes Doerfert Reduction-Aware Polyhedral Loop Nest Optimization
2013-12-19 10:00 Sebastian Hack How to prepare a research paper?
2014-01-09 10:00 Simon Moll Inductive condition synthesis for efficient code paths in whole-function vectorization
2014-01-16 10:00 Tobias Grosser High Level Loop Optimizations in LLVM - and beyond
2014-01-23 10:00 na No meeting
2014-01-30 10:00 David Poetzsch-Heffter A type system for domain-specific languages
2014-02-06 10:00 Max Suffel Memory Separation for Abstract Interpretation of Machine Code
2014-02-13 10:00 Roland Leissa Vectorization
2014-02-20 10:00 na No meeting
2014-02-27 10:00 Simon Moll (final talk) Inductive condition synthesis for efficient code paths in whole-function vectorization
2014-03-27 10:00 Thomas Schaub Compaction


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 Marcel Köster.