Foundations of Computer Systems Lab
We are a research group in the Programming Languages & Software Engineering lab at the National University of Singapore.
Interests
Theoretical foundations of computer systems, with a current focus on:
- Dynamic analysis algorithms for detecting concurrency bugs
- Fuzz testing for concurrent software
- Algorithmic foundations for analysis problems beyond sequential consistency (weak memory and message passing concurrency)
Reading Groups
We currently run a reading group on the Lean theorem prover, which is held once every week on Wednesday 1-2pm. You may contact Richard if you are interested to join.
Sponsors/Grants
Our work is/was supported by the following sponsors/grants:
- Singapore Ministry of Education (MoE) Academic Research Fund (AcRF) Tier 1 grant.
- National Research Foundation, Singapore, and Cyber Security Agency of Singapore under its National Cybersecurity R&D Programme (Fuzz Testing <NRF-NCR25-Fuzz-0001>).
Members
Principal Investigator
Research Fellows
PhD Students
Research Assistants
Undergraduate Students
Guk Yi Siong
Hong Jung Woo
Andrew Daniel Janong
Jeffrey Lee
An Jun Lim
Wern Lim
Dick Ong
Ivan Tan
Hua Jun Teow
Alumni
Dasco Gabriel
BComp, 2024
Ho Wei Haw
BComp, 2023
Arsyad Kamili
BComp, 2025
Jed Koh Jin Keat
BComp, 2026
Ramanathan Kumarappan
BComp, 2025
Zheng Han Lee
BComp, 2024
Daniel Lim
Research Assistant, 2024-25
Bryan Lim
BComp, 2025
Zheng Shi
MComp, 2023
Illio Suardi
BComp, 2023
Richard Willie
BComp, 2024
David Zhu
BComp, 2025News
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:
- 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.
- 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
Nov 1, 2024
Richard Willie joins us as a Research Assistant!