Gordon Sau
Honours Thesis Student
Research Interests
Gordon is working on adding support for memory-mapped IO for Pancake.
Contact Details
| Email: | t.sau@student.unsw.edu.au |
|---|
More contact information is available at the Contact page.
Publications
Trustworthy Systems Group Papers
2023
|
 |
Johannes Åman Pohjola, Hira Taqdees Syeda, Miki Tanaka, Krishnan Winter, Tsun Wang Sau, Benjamin Nott, Tiana Tsang Ung, Craig McLaughlin, Remy Seassau, Magnus O. Myreen, Michael Norrish and Gernot Heiser Pancake: verified systems programming made sweeter Workshop on Programming Languages and Operating Systems (PLOS), Koblenz, DE, October, 2023 |