Tiana Tsang Ung
Research Assistant
Research Interests
Tiana is working on Pancake
Contact Details
| Email: | t.tsangung@unsw.edu.au |
|---|
More contact information is available at the Contact page.
Projects
Current |
Publications
Trustworthy Systems Group Papers
2025
|
 |
Junming Zhao, Alessandro Legnani, Tiana Tsang Ung, Halogen Truong, Tsun Wang Sau, Miki Tanaka, Johannes Åman Pohjola, Thomas Sewell, Rob Sison, Hira Syeda, Magnus Myreen, Michael Norrish and Gernot Heiser Verifying device drivers with Pancake arXiv preprint, January, 2025 |
2023
|
|
|
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 |