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.
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>).