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. Furthermore, all participants discuss recent research papers.
- Bachelor/Master Seminar
- 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/Master Seminar.
- Reading Group
- Other students are cordially invited to discuss recent research papers. These students obtain 3 credit points.
General Information
| When | biweekly at Wednesday at 16:00 (sine tempore) (formerly 14:00) | Where | Online, see email |
The first seminar meeting will be on October 14, 2020.
Modus Operandi - Bachelor/Master Seminar
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.
- Regularly attend the seminar during the work on your thesis.
- 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. Please read our hints on writing carefully.
- 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 features: Things your thesis must cover to be successful
- May-have features: Things your thesis can cover to improve its value
- Out-of-scope features: 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
Research Papers
If we do not have any presentation in the pipeline, we will discuss a recent research paper instead. This is the list of research papers:
- An Inductive Synthesis Framework for Verifiable Reinforcement Learning
- FaCT: A DSL for Timing-Sensitive Computation
- Composable, Sound Transformations of Nested Recursion and Loops
- SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic
- Don’t Panic! Better, Fewer, Syntax Errors for LR Parsers
- On the Expressivity of Total Reversible Programming Languages
Schedule
| Date | Speaker | Topic | Comments |
|---|---|---|---|
| 2020-10-14 14:00 | Fabian Ritter | DiffTune: Optimizing CPU Simulator Parameters with Learned Differentiable Surrogates | paper discussion |
| 2020-10-28 14:00 | Sebastian Hack | Abstract Semantic Dependency | paper discussion |
| 2020-11-11 14:00 | Bohdan Liesnikov | Composable, Sound Transformations of Nested Recursion and Loops | paper discussion |
| 2020-11-25 14:00 | Christian Kapp | Distributed Sequence Alignment in AnyDSL | Bachelor talk |
| 2020-12-09 14:00 | Pascal Hennen | On the Relation between Stack Histograms and Reuse Histograms | Bachelor proposal |
| 2021-02-17 16:15 | Maximilian Köhl | An Executable Structural Operational Formal Semantics for Python | Master talk |
| 2021-02-24 16:00 | Canberk Morelli | Warping Cache Simulation of Polyhedral Programs | Master talk |
| 2021-03-31 16:00 | Leon Barth | Micro-ops: Zyklengenaue Messungen des Verhaltens moderner Intel-x86-Prozessoren | German |
In cases of questions, do not hesitate to ask Roland Leißa.