Seminar SS25

News

6. Februar:  Sie können dieses Seminar besuchen, OHNE sich über Stud.IP angemeldet zu haben.  Die Anmeldung erfolgt während des Kickoffs.

Organisation

Im Sommersemester 2025 bietet das Institut für Theoretische Informatik ein Seminar an.

• Wöchentliche Talks sind am Mittwoch, um 15:00 Uhr, im Raum IZ 358.  Starttermin wird noch bekannt gegeben.
• Das Kickoff-Meeting wird am Montag, den 14. April, um 18:30 Uhr im Raum IZ 358 stattfinden.
• Um sich für das Seminar anzumelden, reicht das Unterschreiben des Formulars beim Kickoff-Treffen.  Alternativ kann das auch bis zum Freitag, den 18. April, über das Sektretariat erfolgen.  Dazu kontaktieren Sie bitte unsere Sekretärin Andrea Soleinsky.
• Seminarplätze sind begrenzt auf 10 Studenten der Informatik (BA+MA), sowie 10 Studenten des Data Science (MA).

Themen

Das Seminar behandelt die Verifikation von Systemen über schwachen Speichermodellen.

• Towards Unifying Analysis of GPU Consistency [10.1145/3622781.3674174]

• Automated Robustness Verification of Concurrent Data Structure Libraries Against Relaxed Memory Models [10.1145/3689802]

• Compound Memory Models [10.1145/3591267]

• The semantics of shared memory in Intel CPU/FPGA systems [10.1145/3485497]

• Making weak memory models fair [10.1145/3485475]

• GPUHarbor: Testing GPU memory consistency at large [10.1145/3597926.3598095]

• MC mutants: Evaluating and improving testing for memory consistency specification [10.1145/3575693.3575750]

• RELINCHE: Automatically Checking Linearizability under Relaxed Memory Consistency [10.1145/3704906]

Studienleistung

Sie werden in diesem Seminar

• in der Vorlesungszeit einen Talk von 30 Minuten (inklusive Fragen) vorbereiten und halten.
• eine Seminararbeit aus bis zu 10 Seiten in Englisch oder Deutsch verfassen, in der "acmsmall"-Version des acmart LaTeX-Style.
• in einem Peer-Review-Verfahren die Seminararbeit eines anderen Teilnehmers begutachten, während Ihre eigene Arbeit von einem anderen Teilnehmer begutachtet wird.