Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...
- wissenschaftliche Publikationen zu lesen,
- sowohl Inhalt als auch Relevanz der Publikation zu verstehen,
- Literatursuche durchzuführen,
- wissenschaftliche Arbeiten zugänglich zu präsentieren.
Das vorrangige Ziel ist es, den Inhalt und die Relevanz der Publikation zu verstehen; falls notwendig, inhaltlich verwandte Publikationen zu lesen; und schlußendlich die Arbeit den anderen TeilnehmerInnen des Seminars zu präsentieren. Vor der Präsentation der Publikation müssen die Studierenden diese mit dem zugewiesenen Betreuer besprechen.
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)
Beachten Sie beim Verfassen der Ausarbeitung bitte die Richtlinie der TU Wien zum Umgang mit Plagiaten:
Leitfaden zum Umgang mit Plagiaten (PDF)
Students will be graded based on:
1.) Ability to read and understand the papers assigned to them. The
effort and initiative to independently read and understand the paper
and to read up on related work will determine 50% of the grade. The
students' understanding of the paper will be evaluated during the
meetings with the lecturer and by means of questions after the talk.
2.) Ability to present the material in an accessible way to their fellow
students. The clarity and style of the presentation as well as the
students' effort to prepare the talk (e.g., by designing their own
examples rather than reusing material from the paper) determine 50% of
the grade.
Additional information on grading: The relative difficulty of the
paper will be taken into account. Asking meaningful questions about
the presentations of fellow students will have a positive impact
on 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)
---------------------------------------
PAPERS TO CHOOSE FROM:
Papers are recent publications at leading conferences. If you want to present another verification-related publication from a recent conference (POPL, PLDI, CAV, NeurIPS, ICSE, FMCAD, ATVA, ICCAD), please contact me (georg.weissenbacher@tuwien.ac.at) and include your suggestion.
- Roderick Bloem, Swen Jacobs, Yakir Vizel:
Efficient Information-Flow Verification Under Speculative Execution. ATVA 2019
https://doi.org/10.1007/978-3-030-31784-3_29
- Alexey Ignatiev, Nina Narodytska, João Marques-Silva:
On Relating Explanations and Adversarial Examples. NeurIPS 2019
https://proceedings.neurips.cc/paper/2019/hash/7392ea4ca76ad2fb4c9c3b6a5c6e31e3-Abstract.html
- Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore:
Structural test coverage criteria for deep neural networks. ICSE (Companion Volume) 2019
https://doi.org/10.1109/ICSE-Companion.2019.00134
- Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger:
Refinement for Structured Concurrent Programs. CAV 2020
https://doi.org/10.1007/978-3-030-53288-8_14
- Peter W. O'Hearn:
Incorrectness logic. Proc. ACM Program. Lang. 4(POPL)
https://doi.org/10.1145/3371078
- Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, James R. Wilcox:
Learning the boundary of inductive invariants. Proc. ACM Program. Lang. 5(POPL)
https://doi.org/10.1145/3434296
- Xuankang Lin, He Zhu, Roopsha Samanta, Suresh Jagannathan:
Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks. FMCAD 2020
https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_22
- Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei:
Verifying Relational Properties using Trace Logic. FMCAD 2019
https://doi.org/10.23919/FMCAD.2019.8894277
- Sujit Kumar Muduli, Gourav Takhar, Pramod Subramanyan:
HyperFuzzing for SoC Security Validation. ICCAD 2020
https://doi.org/10.1145/3400302.3415709
ORGANISATION:
The topics and the organization of the seminar will be discussed during the initial meeting on Monday, March 8, 11:00 (in a Zoom meeting; link will be sent to all registered participants).
Students signed up for the course who are unable to attend should contact us as soon as possible.
Students are expected to read assigned papers, search relevant literature and prepare scientific presentation on the paper. Students are expected to meet at least twice with their supervisors: once to clarify questions about the paper and to discuss an initial draft of their presentation, and once to discuss the full set of slides and improve the presentation.
Students signed up for the course who are unable to attend should contact us as soon as possible (email georg.weissenbacher@tuwien.ac.at).
Electronic versions of the papers will be provided to the students.
