Papers accepted: The Decision Problem for Regular First-Order Theories (POPL'25), Selectively Uniform Concurrency Testing (ASPLOS'25)
PhD student Zihan Zhou, and undergraduate students Arsyad Kamili, Jed Koh Jin Keat, Ramanathan Kumarappan, Bryan Lim and David Zhu join us!
Alexey Paznikov joins us as a Research Fellow!