Research Support

We gratefully acknowledge the grants and research awards that support our work.

2026

Foundations for Testing and Verifying Concurrency in Go

Ministry of Education, Singapore — Tier 2 Grant
Role: Principal Investigator

Robert Brown Promising Researcher Award

Ministry of Education, Singapore

Advancing the Foundations and Ecosystem for Safe and Secure Hardware Design

Temasek-Presidential Young Professorship, Ministry of Defence, Singapore
Role: Principal Investigator

Memory Safety Through Abstracted Program Translation

Ministry of Education, Singapore — Tier 2 Grant
Role: Co-Principal Investigator

2025

Efficient Distributed Monitoring Techniques for Concurrency Errors

Merlion Programme, France–Singapore
Role: Principal Investigator

2023

Fuzz Testing

National Research Foundation, Singapore
Role: Co-Principal Investigator

Architecting the Foundations of an Efficient Dynamic Concurrency Bug Detector

Presidential Young Professorship, National University of Singapore
Role: Principal Investigator

Tree Data Structures for Causal Orderings in Data Race Detection

Start-up grant, National University of Singapore
Role: Principal Investigator

2022

Blazing Fast Dynamic Data Race Detection

Google South & Southeast Asia Research Award
Role: Principal Investigator