FOCS Lab @ NUS
FOCS Lab @ NUS
People
Publications
Research Support
Michael Petter
Latest
Beyond Locks and Thread IDs: Static Data Race Detection Off The Beaten Path
Goblint: A Portfolio for Mixed Flow-Sensitive Abstract Interpretation (Competition Contribution)
Cite
×