Trustworthy Systems

Gordon Sau
Honours Thesis Student

Research Interests

Gordon is working on adding support for memory-mapped IO for Pancake.

Contact Details

More contact information is available at the Contact page.

Photo of Gordon Sau

Publication List




Trustworthy Systems Group Papers


Abstract PDF Johannes ├ůman Pohjola, Hira Taqdees Syeda, Miki Tanaka, Krishnan Winter, Gordon Sau, Ben Nott, Tiana Tsang Ung, Craig McLaughlin, Remy Seassau, Magnus Myreen, Michael Norrish and Gernot Heiser
Pancake: verified systems programming made sweeter
Workshop on Programming Languages and Operating Systems (PLOS), Koblenz, DE, October, 2023