Tsun Wang Sau

According to our database, Tsun Wang Sau authored at least 2 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Verifying Device Drivers with Pancake.

Junming Zhao, Alessandro Legnani, Tiana J. Tsang Ung, H. Truong, Tsun Wang Sau, Miki Tanaka, Johannes Åman Pohjola, Thomas Sewell, Robert Sison, Syeda Hira, Magnus Myreen, Michael Norrish, Gernot Heiser

CoRR, January, 2025

2023

Pancake: Verified Systems Programming Made Sweeter.

Johannes Åman Pohjola, Hira Taqdees Syeda, Miki Tanaka, Krishnan Winter, Tsun Wang Sau, Benjamin Nott, Tiana J. Tsang Ung, Craig McLaughlin, Remy Seassau, Magnus O. Myreen, Michael Norrish, Gernot Heiser

Proceedings of the 12th Workshop on Programming Languages and Operating Systems, 2023