Jingyao Zhou
OS Engineer
Research Interests
Jingyao is interested in real-time operating systems and hardware. She presently works on device virtualisation for seL4
Contact Details
Email: | Jingyao.Zhou@unsw.edu.au |
---|
More contact information is available at the Contact page.
Projects
Current |
Past |
Publications
Trustworthy Systems Group Papers
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 Terry Bai Fast, secure, adaptable: LionsOS design, implementation and performance arXiv preprint, January, 2025 |