FOCS Lab @ NUS
FOCS Lab @ NUS
People
Publications
Research Support
Julian Erhard
Latest
Beyond Locks and Thread IDs: Static Data Race Detection Off The Beaten Path
Mixed Flow-Sensitive Static Analysis: Engineering Modularity
Goblint: A Portfolio for Mixed Flow-Sensitive Abstract Interpretation (Competition Contribution)
Data Race Detection by Digest-Driven Abstract Interpretation
Cite
×