Halogen Truong
Honours Thesis Student
Research Interests
Halogen is interested in compilers, programming languages and low level programming. They are working on improving usability and safety for Pancake.
Contact Details
| Email: | halogen.truong@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 |