Trustworthy Systems

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.

Photo of Jingyao Zhou

Publication List

Projects

Current

Past

Publications

Trustworthy Systems Group Papers

2025

Abstract PDF 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