PhD student at the Technical University of Munich (TUM), working on static analysis and fixpoint engines and exercise instructor for Fundemantals of Programming.
Publications
Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities
Ali Rasim Kocal, Michael Schwarz, Simmo Saan, Helmut Seidl
Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II, 2026
Goblint: A Portfolio for Mixed Flow-Sensitive Abstract Interpretation - (Competition Contribution)
Simmo Saan, Ali Rasim Kocal, Michael Petter, Karoliine Holter, Julian Erhard, Michael Schwarz, Vesal Vojdani, Helmut Seidl
Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II, 2026
Preprints
Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version)
Ali Rasim Kocal, Michael Schwarz, Simmo Saan, Helmut Seidl
CoRR, 2026
Teaching
| Semester | Course | Role |
|---|---|---|
| SS 26 | Musical Languages — Code, that you can dance to | Seminar |
| WS 25/26 | Grundlagen der Programmierung Fundamentals of Programming |
Exercise Instructor |
| WS 25/26 | Vorkurs: Mathematik für Informatiker Pre-course Mathematics for Informatics |
Organizer |
| SS 25 | Virtual Machines (IN2040) | Exercise Instructor |
| WS 24/25 | Grundlagen der Programmierung Fundamentals of Programming |
Exercise Instructor |
| WS 24/25 | Vorkurs: Mathematik für Informatiker Pre-course Mathematics for Informatics |
Organizer |
| SS 24 | Virtual Machines (IN2040) | Exercise Instructor |
| WS 23/24 | Grundlagen der Programmierung Fundamentals of Programming |
Exercise Instructor |
| WS 23/24 | Vorkurs: Mathematik für Informatiker Pre-course Mathematics for Informatics |
Organizer |