Foundations of Computer Systems Lab

We are a research group in the Programming Languages & Software Engineering lab in the National University of Singapore.

Interests

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

Members

Principal Investigator

PhD Students

Avatar

Huan Zhao

Research Assistants

Undergraduate Students

Avatar

Dasco Gabriel

Avatar

Hongyi Huang

Avatar

Jed Koh Jin Keat

Avatar

Zheng Han Lee

Avatar

Richard Willie

Avatar

David Zhu

Alumni

Avatar

Ho Wei Haw

BComp, 2023
Avatar

Zheng Shi

MComp, 2023
Avatar

Illio Suardi

BComp, 2023