Michael Schwarz, M.Sc.
- Tel.: +49 (89) 289 - 18182
- Raum: 5607.02.055
- m.schwarz@tum.de
I am interested in Static Analysis by Abstract Interpretation and contribute to the static analyzer Goblint. I am a participant in the DFG RTG ConVeY.
Publications
2021
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution).
Simmo Saan, Michael Schwarz, Kalmer Apinis, Julian Erhard, Helmut Seidl, Ralf Vogler, Vesal Vojdani:
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution). TACAS (2) 2021: 438-442
mehr
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution). TACAS (2) 2021: 438-442
2021
Improving Thread-Modular Abstract Interpretation.
Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani:
Improving Thread-Modular Abstract Interpretation. CoRR abs/2108.07613 (2021)
mehr
Improving Thread-Modular Abstract Interpretation. CoRR abs/2108.07613 (2021)
Teaching
For inquiries related to IN0003 Functional Programming and Verification, please do not email me directly, but only our shared mailbox fpv@in.tum.de.
Classes:
- Tutorials for IN0003 Functional Programming and Verification (Winter '21/'22)
- Tutorials for IN2227 Compiler Construction (Summer '20, '21)
- Pratical Course: Static Analysis - Automated Bug Hunting and Beyond (Summer '21)
- Practial Course: Program Optimization with LLVM (Winter '20/'21, Summer '20)
Supervised Theses:
If you are interested in doing a student thesis related to static analysis and Goblint, feel free to reach out. For more information on possible student topics see here.
| Bachelor's Theses | Master's Theses |
|
|