With this seminar you will learn the core techniques of scientific work. There are no frontal lessons: you will have to write a term paper that summarizes your knowledge of an assigned topic after reading a selection of scientific papers. Each participant is also required to give a talk about the topic chosen. Several topics are available.
This seminar is about the foundations of static analysis that are needed for further quality and security analyses.
The topics will be announced in the kick of meeting. The kick of will be via Zoom.
Exemplary topics are:
- Cross-Language Analysis
- Specification Mining
- Sound(i)ness
This course is complemented by a hands-on training: Software Development Tools
Course Information
- TUCaN-ID
-
20-00-1028-se
- Course Type
-
S2 / 3 CPs
- Advisors
- Sign-up
-
Please send an email to the instructor
- Kick-off
-
Monday, October 25th 2021, 13:30-15:10 via Zoom: Meeting
- Topic Selection
-
The seminar slides are uploaded here (opens in new tab) for the kick-off meeting. Send your 3 topic preferences, your name and matriculation number to roth@cs.tu-…
- Presentations
-
The presentation should take 10 minutes and should give an overview of the key message of your seminar paper and your contribution. After every presentation there will be up to 10 minutes for discussion.
Monday, Februrary 14th 2022, 13:30-15:30 via Zoom: Meeting
- Language
-
Both papers and talks must be delivered in English