Latest
- Validating Concurrent Correctness Witnesses by Thread-Modular Abstract Interpretation
- Beyond Locks and Thread IDs: Static Data Race Detection Off The Beaten Path
- Instrumentation Optimization for Practical Dynamic Race Detection
- Mixed Flow-Sensitive Static Analysis: Engineering Modularity
- Goblint: A Portfolio for Mixed Flow-Sensitive Abstract Interpretation (Competition Contribution)
- Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities
- Data Race Detection by Digest-Driven Abstract Interpretation