Seminar WS25/26

News

• 27.10.2025: Added Material
• 13.10.2025: Topic and papers published

Organization

During the winter term of 2025/2026, the Institute of Theoretical Computer Science offers a seminar on Theoretical Computer Science.

• The kickoff meeting will take place on the 27.10. at 16:00 in room IZ 358.
• To fully register for the seminar, you have to sign a document until 03.11.2025. You can do so during the kickoff meeting or at our secretariat. In the latter case, please make an appointment with our secretary Andrea Soleinsky (a.soleinsky@tu-bs.de).
• We give topics to at most 10 students.
• This is a joint seminar for Bachelor's and Master's students of computer science.
• Please ignore all information on StudIP.

Topics

This semester's topic are Data-Race Detection and Prevention Algorithms.

Static Data Race Detection

• [Engler, Ashcraft 2003] RacerX: Effective, Static Detection of Race Conditions and Deadlockshttps://dl.acm.org/doi/10.1145/1165389.945468
• [Naik, Aiken, Whaley 2006] Effective Static Race Detection for Java https://dl.acm.org/doi/10.1145/1133981.1134018
• [Voung, Jhala, Lerner 2007] RELAY: Static Race Detection on Millions of Lines of Code https://dl.acm.org/doi/10.1145/1287624.1287654
• [Vojdani, Apinis, Rotov, Seidl, Vene, Vogler 2016] Static Race Detection for Device Drivers: The Goblint Approach https://dl.acm.org/doi/10.1145/2970276.2970337
• [Blackshear, Gorogiannis, O’Hearn, Sergey 2018] RacerD: Compositional Static Race Detection https://dl.acm.org/doi/10.1145/3276514

Type Systems for Data Race Prevention

• [Poyapati, Rinard 2001] A parameterized type system for race-free Java programs https://dl.acm.org/doi/10.1145/504311.504287
• [Haller, Odersky 2010] Capabilities for Uniqueness and Borrowing https://link.springer.com/chapter/10.1007/978-3-642-14107-2_17

Dynamic Race Detection

• [Savage, Burrows, Nelson, Sobalvarro, Anderson 1997] Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs https://dl.acm.org/doi/10.1145/265924.265927
• [O’Callahan, Choi 2003] Hybrid Dynamic Data Race Detection. https://dl.acm.org/doi/10.1145/966049.781528
• [Pozniansky, Schuster 2003] MultiRace: Efficient on-thefly data race detection in multithreaded C++ programs. https://dl.acm.org/doi/10.1145/781498.781529
• [Flanagan, Freund 2009] FastTrack: Efficient and precise dynamic race detection. https://dl.acm.org/doi/10.1145/1543135.1542490

Requirements

You will have to

• prepare and give a talk of 30 minutes (including questions) during the lecture period.
• write a seminar paper in English or German, of maximal 10 pages using the acmart LaTeX style using the "acmsmall" version.
• hand in a preliminary version of your paper, that will be peer reviewed by another student. Consequently, you will recieve a paper from another student that you will have to review.

Material

Pre-Slides

How to give a Talk