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:

1. Dynamic analysis algorithms for detecting concurrency bugs
2. Fuzz testing for concurrent software
3. 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:

1. Singapore Ministry of Education (MoE) Academic Research Fund (AcRF) Tier 1 grant.
2. 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 two reading groups on alternate weeks. We meet on Wednesday 1-2pm at COM3 MR21. You may contact Daniel if you are interested to join.

1. Advanced Automata Theory
2. Logic/Type Theory