FOCS Lab
@ NUS
FOCS Lab
@ NUS
People
Projects
Publications
Research Support
IndiCS 2026
Light
Dark
Automatic
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
×