Seminar Spring 2017

Research Topics in Software Engineering

10.04.17: We made the expected results/hand-ins for each role more precise, see the red text in the "Roles" section.

10.03.17: Two students dropped out, so we had to rearrange some dates and roles. Please check your assignments, in particular Kilzer, Eberhardt, Stanojevic and T.Meier.

03.03.17: The schedule is online!

27.02.17: There will be no seminar tomorrow! We will announce the starting date of the seminar on this website together with the schedule.

22.02.17: The introductory slides.

20.02.17: The paper selection will take place tomorrow. There are 24 papers, Master students will have preference over Bachelor students.

17.02.17: The list of papers to chose from was published.

This seminar introduces students to the latest research trends that help to improve various aspects of software quality.

Topics cover the following areas of research: Compilers, domain-specific languages, concurrency, formal methods, performance optimization, program analysis, program generation, program synthesis, testing, tools, verification

Objective At the end of the course, the students should be: (1) familiar with a broad range of key research results in the area as well as their applications. (2) know how to read and assess high quality research papers; (3) be able to highlight practical examples/applications, limitations of existing work, and outline potential improvements.
Content The course will be structured as a sequence of presentations of high-quality research papers, spanning both theory and practice. These papers will have typically appeared in top conferences spanning several areas such as POPL, PLDI, OOPSLA, OSDI, ASPLOS, SOSP, AAAI, ICML and others.
Literature The publications to be presented will be announced on the seminar home page at least one week before the first session. Papers will be distributed during the first lecture.
Course Tuesdays, 15:00-17:00, HG E 33.5
Credits 2
Examiner Hermann Lehner

The goal of the seminar is not only to familiarize students with exciting new research topics, but also to teach basic scientific writing and oral presentation skills.

Seminars often suffer from poor attention retention and low student engagement. This is due to the format of the seminar where only one student reads papers in-depth and then prepares a long presentation about one or sometimes several papers. There is little reason for the other students to really pay attention or engage in the discussion. Therefore, we will use a case-study format to achieve a deeper learning experience, where all students read the same paper each week but fulfill different roles and hence prepare with different viewpoints in mind.


Paper Presenter Date Slot Reviewer Historian PhD student Supervisor
Optimistic Concurrency with OPTIK S. Meier 4/4/2017 1 He Kilzer Matusiak Baettig
Latte: a language, compiler, and runtime for elegant and efficient deep neural networks Trifonov 4/4/2017 2 Canonica Goldener Linggi Stojanov
Layout Lock: A Scalable Locking Paradigm for Concurrent Data Layout Modifications Linggi 4/11/2017 1 Kilzer T. Meier Stanojevic Baettig
From Datalog to flix: a declarative language for fixed points on lattices. Matusiak 4/11/2017 2 Trifonov Canonica Goldener Tsankov
The Tasks with Effects Model for Safe Concurrency Dimitrova 5/2/2017 1 S. Meier He Kilzer Baettig
Atomizer: A dynamic atomicity checker for multithreaded programs. Stanojevic 5/2/2017 2 Wolf Eberhardt Dimitrova Brutschy
GEM's: Shared-Memory Parallel Programming for Node.js Goldener 5/9/2017 1 Linggi Wolf T. Meier Tsankov
Statistical Similarity of Binaries Kilzer 5/9/2017 2 Matusiak Trifonov Canonica Tsankov
One VM to rule them all Eberhardt 5/16/2017 1 Dimitrova S. Meier He Stojanov
Extending the roofline model: Bottleneck analysis with microarchitectural constraints T. Meier 5/16/2017 2 Eberhardt Stanojevic Wolf Stojanov
Dynamic partial-order reduction for model checking software. Canonica 5/23/2017 1 Goldener Linggi Eberhardt Brutschy
Learning a strategy for adapting a program analysis via bayesian optimisation. He 5/23/2017 2 T. Meier Matusiak Trifonov Brutschy
Verification of code generators via higher-order model checking Wolf 5/30/2017 1 Stanojevic Dimitrova S. Meier Stojanov