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|
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.
|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|