Research Directions

This project area includes our work on concurrency testing and verification. This includes our work on runtime predictive analysis such as prediction of data races, deadlocks, atomicity violations and other classes of properties, as well as linearizability monitoring, model checking, and related verification questions for concurrent systems.

Selected Research Support

• Foundations for Testing and Verifying Concurrency in Go — Ministry of Education, Singapore, Tier 2 Grant (2026; Principal Investigator).
• Efficient Distributed Monitoring Techniques for Concurrency Errors — Merlion Programme, France–Singapore (2025; Principal Investigator).
• Fuzz Testing — National Research Foundation, Singapore (2023; Co-Principal Investigator).
• Blazing Fast Dynamic Data Race Detection — Google South & Southeast Asia Research Award (2022; Principal Investigator).

This project area includes my work on hardware description languages, timing-safe hardware, secure hardware design, and related verification and synthesis questions. See Anvil playground.

Research Support

Advancing the Foundations and Ecosystem for Safe and Secure Hardware Design — Temasek-Presidential Young Professorship, Ministry of Defence, Singapore (2026; Principal Investigator).

Starting in June 2026, this project builds on Anvil, our hardware description language for preventing timing hazards. We are developing type systems, compilation techniques, and tools for checking timing, communication, and security properties while remaining compatible with existing hardware design workflows. See the NUS announcement for more about the project.

This project area includes our work on automated translation of software across programming languages. Also see related page on KISP lab’s website.

Research Support

Memory Safety Through Abstracted Program Translation — Ministry of Education, Singapore, Tier 2 Grant (2026; Co-Principal Investigator).

Related Discussion

Ben Livshits discusses our work on program skeletons, interpreter translation, and adversarial-agent collaboration in Automating C to Safe Rust Translation (September 2026).

This project area includes our work on decidability, complexity, automata, regular theories, synthesis, and foundational questions in logic and verification.