Michael Petter -

Not registered as user

Name:Michael Petter

Affiliation:Technische Universität München

Contributions

2026

APLAS

Author of Exposing Mutexes with Range: Inter-Threaded Locksets in Abstract Interpretation within the SRC and Posters-track
Author of Beyond Locksets and Thread IDs: Enhanced Static Data Race Detection within the APLAS Research Papers-track

SCAM

Committee Member in Program Committee within the Research Track-track

2015

ESOP

Author of Inter-procedural Two-Variable Herbrand Equalities within the ESOP-track