Bill Nguyen
OS Engineer
(pronouns: he/him)
Research Interests
Bill is involved in maintaining our open-source hypervisor libvmm and the seL4 Microkit.
Contact Details
| Email: | bill.nguyen@unsw.edu.au |
|---|---|
| Web: | https:/ |
| GitHub: | dreamliner787-9 |
More contact information is available at the Contact page.
Projects
Current |
Publications
Trustworthy Systems Group Papers
2026
|
 
|
Bill Nguyen Booting Windows on an x86-64 seL4-based VMM Talk at the 8th seL4 Summit, September, 2026 |
2025
|
|
 |
Gernot Heiser, Ivan Velickovic, Peter Chubb, Alwin Joshy, Anuraag Ganesh, Bill Nguyen, Cheng Li, Courtney Darville, Guangtao Zhu, James Archer, Jingyao Zhou, Krishnan Winter, Lucy Parker, Szymon Duchniewicz and Tianyi Bai Fast, secure, adaptable: LionsOS design, implementation and performance arXiv preprint, January, 2025 |