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.
Richard Willie joins us as a Research Assistant!
Selectively Uniform Concurrency Testing accepted to appear at ASPLOS 2025.
PhD student Zihan Zhou, and undergraduate students Arsyad Kamili, Jed Koh Jin Keat, Ramanathan Kumarappan, Bryan Lim and David Zhu join us!
Zheng Han has been awarded the NUS Outstanding Undergraduate Researcher Prize (OURP) (AY2023/2024) for his work on efficient decrease-and-conquer algorithms for linearizability monitoring of concurrent data structures. Congratulations, Zheng Han!