News

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.

Talk at RHPL 2025, co-located with FSTTCS, titled Equivalences for Causal Concurrency, by Umang.

Awarded a France–Singapore Merlion Programme grant for “Efficient Distributed Monitoring Techniques for Concurrency Errors”. Research support.

Welcome to Omar Islam Laskar from IIT Delhi, who joins us as a research intern!

We are co-organizing the Programming Languages Mentoring Workshop at PLDI 2025, with Umang serving as Senior Chair alongside the workshop’s organizing team.

Welcome to Ziyue Jin from Peking University, who joins us as a research intern!

The Decision Problem for Regular First-Order Theories accepted to appear at POPL 2025.