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 September, 26th, 2014


Date Speaker Topic Comments
2014-09-26 14:00 s.t. Supriti Singh Experimental Comparison of Byzantine Fault Tolerant Distributed Hash Tables
2014-10-02 10:00 s.t. Heiko Becker SMT-based Translation Validation in the LVC framework Room 415, E1 3
2014-10-09 10:00 s.t. Dominik Montada Zero Cost Speculation Room 528, E1 3
2014-10-15 10:00 s.t. Fabian Kosmale SpecMeAl: Supporting speculative memory allocation in a kernel based TLS Room 528, E1 3
2014-10-23 10:00 s.t. Tina Jung A Hybrid Approach for Parametric Memory Dependence Analysis
2014-11-06 10:00 s.t. Philipp Albert Value Analysis with Set of Integers
2014-11-27 10:00 s.t. Johannes Doerfert Paper Discussion: Abstract Acceleration of General Linear Loops Paper
2014-12-04 10:00 s.t. Sigurd Schneider Paper Discussion: Compositional CompCert Paper
2014-12-11 10:00 s.t. Simon Moll Synthesizing Hot Code Paths by Abductive Reasoning
2015-01-08 10:00 s.t. Michael Jacobs Paper Discussion: Measurement based WCET Analysis for Multi-core Architectures Paper
2015-01-22 10:00 s.t. Daniel Birtel Improving the granularity of Virtual Memory based TLS by tracking memory accesses
2015-01-28 13:00 s.t. Simon Moll Paper Discussion: Abstract Conflict Driven Learning Paper
2015-02-05 10:00 s.t. Dominik Montada Zero Cost Speculation: Light-weight speculation over non-memory effects
2015-02-12 10:00 s.t. Philipp Albert Value Analysis with Sets of Integers
2015-02-19 10:00 s.t. Kevin Streit Paper Discussion: HELIX-UP: Relaxing Program Semantics to Unleash Parallelization Paper
2015-02-26 10:00 s.t. Klaas Boesche C-Mix Paper
2015-03-05 10:30 s.t. Michael Pradel Scalable Program Analyses for JavaScript-based Web Applications Room 029, E1 5
2015-03-12 10:00 s.t. Roland Leißa Paper Discussion: Region-Based Memory Management in Cyclone Paper
2015-03-19 10:00 s.t. Sigurd Schneider Paper Discussion: ORBIT: An Optimizing Compiler for Scheme Paper
2015-04-16 10:00 s.t. Johannes Doerfert t.b.a.
2015-04-23 10:00 s.t. Clemens Hammacher t.b.a.
2015-04-30 10:00 s.t. Simon Moll t.b.a.
2015-05-07 10:00 s.t. Michael Jacobs t.b.a.


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.