Trustworthy Systems

Gordon Sau
Research Assistant

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


plain text to be published 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