Scholar
Michael Schwarz
Google Scholar ID: C-K-mukAAAAJ
National University of Singapore
Citations & Impact
Citations
169
H-index
7
i10-index
5
Publications
20
Co-authors
10
list available
Publications
Resume
Academic Achievements
- PhD thesis: 'Thread-Modular Abstract Interpretation: The Local Perspective' (TUM, 2025).
- Paper 'Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses' accepted at PLDI 2025.
- Paper 'Correctness Witness Validation by Abstract Interpretation' received Best Paper Award at VMCAI 2024.
- Published 'Octagons Revisited - Elegant Proofs and Simplified Algorithms' at SAS 2023.
- Published 'Clustered Relational Thread-Modular Abstract Interpretation with Local Traces' at ESOP 2023.
- Served as PC member for SOAP '25 and NSAD '24; reviewer for PeerJ Computer Science and STTT.
- Member of Artifact Evaluation Committees for POPL '26, SAS '24, ESOP/FASE/FoSSaCS '24, and TACAS '22.
