Foundations of Computer Systems Lab
We are a research group in the Programming Languages & Software Engineering lab in 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)
Projects
We are currently working on implementing some of our proposed algorithms into ThreadSanitizer. You can follow the progress in our blog.
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>).
Reading Groups
We currently run an Advanced Automata Theory reading group once every 2 weeks. We meet on Wednesday 1-2pm at COM3 MR21. You may contact Daniel if you are interested to join.
Members
Principal Investigator
Research Fellows
PhD Students
Huan Zhao
Research Assistants
Undergraduate Students
Ramanathan Kumarappan
Bryan Lim
David Zhu
Alumni
Dasco Gabriel
BComp, 2023
Ho Wei Haw
BComp, 2023
Hongyi Huang
BComp, 2024
Zheng Han Lee
BComp, 2023
Zheng Shi
MComp, 2023
Illio Suardi
BComp, 2023
Richard Willie
BComp, 2023News
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.
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!