After successful completion of the course, students are able to...
- read scientific papers,- understand the content as well as the significance of a paper,- literature research,- present scientific work in an accessible manner
The seminar covers selected topics in the field of formal methods. The course revolves around seminal research papers in the field of automated reasoning and computer-aided verification. Each student will be assigned one research paper. The students are expected to read and understand the paper and prepare and present a half-hour talk on the topic.
Ezio Bartocci, Laura Kovács, Miroslav Stankovic: Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. ATVA 2019: 255-276 Petra Hozzová, Laura Kovács, Andrei Voronkov: Integer Induction in Saturation. CADE 2021: 361-377 Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat: Verifying Array Manipulating Programs with Full-Program Induction. TACAS (1) 2020: 22-39
Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek:Correctness of Speculative Optimizations with Dynamic DeoptimizationPrinciples of Programming Languages 2018
Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jörg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wüstholz:Automated Safety Verification of Programs Invoking Neural NetworksComputer Aided Verification 2021
Ankush Das, Stephanie Balzer, Jan Hoffmann, Frank Pfenning, Ishani Santurkar: Resource-Aware Session Types for Digital Contracts. CSF 2021: 1-16 (with extended version available at https://arxiv.org/pdf/1902.06056.pdf) Martin Avanzini, Gilles Barthe, Ugo Dal Lago: On continuation-passing transformations and expected cost analysis. Proc. ACM Program. Lang. 5(ICFP): 1-30 (2021) Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo: Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms. J. ACM 65(5): 30:1-30:68 (2018)
The first objective is to read and understand the content as well as the significance of the assigned paper, and read up on related work if the paper is not self-contained. Prior to preparing the presentation, students are expected to discuss the papers in a meeting with the lecturer.
The objectives of the presentation are to present the topic in a manner accessible for their fellow students. Students are required to present and discuss their slides with the lecturer prior to giving the presentation.
RESOURCES:
How to give a good talk (by Simon Peyton Jones, given in Vienna, October 2004):
http://research.microsoft.com/en-us/um/people/simonpj/papers/giving-a-talk/giving-a-talk.htm
(requires Real Player)
Students will be graded based on:
1.) Ability to read and understand the papers assigned to them. Theeffort and initiative to independently read and understand the paper and to read up on related work will determine 50% of the grade. Thestudents' understanding of the paper will be evaluated during themeetings with the lecturer and by means of questions after the talk.
2.) Ability to present the material in an accessible way to their fellowstudents. The clarity and style of the presentation as well as thestudents' effort to prepare the talk (e.g., by designing their ownexamples rather than reusing material from the paper) determine 50% of the grade.
Additional information on grading: The relative difficulty of thepaper will be taken into account. Asking meaningful questions aboutthe presentations of fellow students will have a positive impacton the grade (attendance of these talks is compulsory).
--------------
ECTS Breakdown:40 hours for reading papers and related work, 20 hours for preparing the presentation, 15 hours of attending talks and meetings with the lecturer.---------------------------------------75 hours (3 ECTS)---------------------------------------
THE WHOLE SEMINAR WILL BE CONDUCT ONLINE VIA ZOOM (THE LINKS WILL BE POSTED IN THE LECTURE NEWS)
The topics and the organization of the seminar will be discussed during an initial meeting on October 13, 13:00-14:00, online. (If you can not attend this initial meeting you should contact florian.zuleger@tuwien.ac.at as soon as possible).
Students can choose a paper by sending an email to florian.zuleger@tuwien.ac.at.
Students are expected to read the chosen papers, search relevant literature (reading related papers) and prepare a scientific presentation on the paper.
Students are expected two have at least two individual meetings with their supervisor, discussing the content of the paper, the outline of the presentation and the details of the presentation.
Student presentations will take place during Dec 1 (if this date does not work for all seminar participants, we will choose a date a few days earlier or later).