We are co-organizing the Singapore Programming Languages Summit 2025 with Djordje Zikelic at Singapore Management University. Umang and Michael are helping bring the local PL community together for the summit’s second edition.
2 papers by FOCS lab accepted to appear at POPL 2026:
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.