News

Sep 1, 2025

Michael Schwarz joins us as a Research Fellow!

Aug 11, 2025

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!

Jan 24, 2025

Achievements in the POPL'25 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.
Nov 19, 2024

Papers accepted:

  1. The Decision Problem for Regular First-Order Theories (POPL'25)
  2. Selectively Uniform Concurrency Testing (ASPLOS'25)
Nov 1, 2024

Richard Willie joins us as a Research Assistant!

Aug 16, 2024

PhD student Zihan Zhou, and undergraduate students Arsyad Kamili, Jed Koh Jin Keat, Ramanathan Kumarappan, Bryan Lim and David Zhu join us!

Aug 12, 2024

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!

Jun 26, 2024

Alexey Paznikov joins us as a Research Fellow!