News

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

Anvil: A General-Purpose Timing-Safe Hardware Description Language accepted to appear at ASPLOS 2026.

Congratulations to Arsyad Kamili on winning the undergraduate bronze medal at the SPLASH 2025 ACM Student Research Competition for his work on detecting database isolation-level bugs! Award.

Michael Schwarz joins us as a Research Fellow!

Jed has been awarded the NUS Outstanding Undergraduate Researcher Prize (OURP) (AY2024/2025) for his work on property testing trace closures of regular languages. Congratulations, Jed! NUS News coverage.

Efficient Decrease-And-Conquer Linearizability Monitoring accepted to appear at OOPSLA 2025.

Talk at VDS 2025 in Rabat titled Algorithmic techniques for scaling concurrency testing, by Umang.

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

• Efficient Timestamping for Sampling-based Race Detection
• Program Skeletons for Automated Program Translation

Dynamic Race Detection With O(1) Samples is selected as a SIGPLAN Research Highlight and invited to appear in CACM Research Highlights.

Achievements in the POPL 2025 Student Research Competition:

1. Grace won the Gold medal (graduate student category) for her work on Store Order Consistency Testing for C-like memory models, and complexity theoretic questions around it.
2. Jed won the Gold medal (undergraduate student category) for his work on designing property testing algorithms for trace closures of regular languages.