News

Talk at Carnegie Mellon University titled Randomization for Concurrency Testing, by Umang.

2 papers by FOCS lab accepted to appear at PLDI 2026:

• State Space Estimation for DPOR-based Model Checkers
• Fixed Parameter Tractable Linearizability Monitoring

Mixed Flow-Sensitive Static Analysis: Engineering Modularity accepted to appear at FM 2026.

Tutorial at PPoPP 2026 in Sydney titled Dynamic Data Race Prediction: Fundamentals, Theory and Practice, by Umang and Andreas Pavlogiannis.

Goblint: A Portfolio for Mixed Flow-Sensitive Abstract Interpretation (Competition Contribution) accepted to appear at TACAS 2026.

Awarded funding through the Ministry of Education Tier 2 grant “Memory Safety Through Abstracted Program Translation”. Research support.

Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities accepted to appear at TACAS 2026.

We are co-organizing the Singapore Programming Languages Summit 2025 with Djordje Zikelic at Singapore Management University. Umang and Michael are helping bring the local PL community together for the summit’s second edition.

2 papers by FOCS lab accepted to appear at POPL 2026:

• The Complexity of Testing Message-Passing Concurrency
• Counting and Sampling Traces in Regular Languages

Data Race Detection by Digest-Driven Abstract Interpretation accepted to appear at VMCAI 2026.