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 April, 16th, 2015


Date Speaker Topic Comments
2015-04-16 10:00 s.t. Alexander Herz What is holding back automatic parallelization and how can we fix it?
2015-04-23 10:00 s.t. Johannes Doerfert Paper Discussion: HOTL: A Higher Order Theory of Locality Paper
2015-05-07 10:00 s.t. Clemens Hammacher Paper Discussion: Invyswell: A Hybrid Transactional Memory for Haswell's Restricted Transactional Memory Paper
2015-05-08 15:15 s.t. Heiko Becker Verified SMT-based Translation Validation Room 528, E1 3
2015-05-21 10:00 s.t. Sigurd Schneider Paper Discussion: Mathematizing C++ concurrency Paper
2015-06-11 10:00 s.t. Michael Jacobs Paper Discussion: Programming and Timing Analysis of Parallel Programs on Multicores Paper
2015-06-18 10:00 s.t. Florian Haupenthal Statically Resolving Computed Calls via DWARF Debug Information
2015-07-02 10:00 s.t. Till Speicher Safe and Fast Memory Management for AnyDSL
2015-07-09 10:00 s.t. Thomas Karos The Gauge Domain - Scalable Analysis of Linear Inequality Invariants
2015-07-16 10:00 s.t. Fabian Ritter Compiler Optimizations using Symbolic Abstraction
2015-07-23 10:00 s.t. Kevin Streit Paper Discussion: Code-Pointer Integrity Paper
2015-07-30 10:00 s.t. Wiam Rachid Polyhedral Task Parallelism
2015-09-03 10:00 s.t. Dominik Montada [naTIVE] Target-Independent Vectorization Back-End
2015-09-10 10:00 s.t. Daniel Birtel Variable Granularity TLS via Code Instrumentation


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.