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 Defense, 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