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
Talks
| 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. |
Rules
You need to:
- Find a topic and an advisor and read related work (literature etc.) which is not part of the master seminar itself.
- Discuss related work and your approach with your advisor.
- Attend the seminar at least 10 times. Your attendance can start at any time and need not be completed within a single semester.
- Write and submit a proposal (see regulations below).
- Give a talk in which you explain your plans for the thesis (this means presenting the contents of your proposal) [graded].
- Start working on your thesis.
- Submit the thesis in the term after you got the seminar schein. If you fail to do so, you will need to attend another master seminar (probably at another chair) before you are allowed to start another thesis.
- Give a final talk in the seminar.
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 problem description.
- Discuss related work.
- State a hypothesis which explains how to solve the problem.
- Name potential risks, assumptions and restrictions of your approach (as well as possible solutions).
- Validation and evaluation of your approach.
- Time schedule
- Length 5 to 10 pages
- Must-have criteria: Things your thesis must cover to be successful
- May-have criteria: Things your thesis can cover to improve its value
- Must-not-have criteria: Things your thesis will not cover (although one may think so)
A presentation of such a thesis proposal must meet the following requirements:
- length about 25 minutes
- plus 5-10 minutes for questions
In cases of questions, do not hesitate to ask Michael Jacobs.