The seminar covers selected topics in the field of automated software
verification. The course revolves around seminal research papers
in the field of software verification and state-of-the-art techniques
based on these papers. Each student will be assigned a research
papers. The students are expected to read and
understand the paper and prepare and present a half-hour talk on the
topic.
The first objective is to read and understand the content as well
as the significance of the assigned paper, as well as to
locate 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 their assigned teaching assistant.
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 teaching assistant prior
to giving the presentation.
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)
---------------------------------------
ORGANISATION:
The topics and an historical account of the field of software
verification will be presented in an initial meeting on
Monday, March 23, 2pm, Hahn meeting room (Favoritenstrasse 9, 3rd floor)
Students signed up for the course who are unable to attend should
contact us as soon as possible (email weissenb@forsyte.at).
Electronic versions of the papers will be provided to the students.
All presentations will take place in the second half of January.
TOPICS for 2015S:
"Concolic Fault Localization"
Chanseok Oh, Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies
International Working Conference on Source Code Analysis and Manipulation 2014
"Localization of Concurrency bugs using shared memory access pairs"
Wenwen Wang et al.
Conference on Automated Software Engineering 2014
"Succinct Representation of Concurrent Trace Sets"
Gupta et al.
Principles of Programming Languages 15
"Simplifying Linearizability Proofs with Reduction and Abstraction"
Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran
Conference on Tools and Algorithms for the Construction and Analysis of Systems 2010
"Peephole partial order reduction"
C. Wang, Z. Yang, V. Kahlon, and A. Gupta
Conference on Tools and Algorithms for the Construction and Analysis of Systems 2008
"Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers"
MC Rinard, PC Diniz
ACM Transactions on Programming Languages and Systems 1997
Please consider the plagiarism guidelines of TU Wien when writing your seminar paper:
Directive concerning the handling of plagiarism (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).