Trustworthy Systems

Terry Bai
OS Engineer

Research Interests

Terry is doing low-level sDDF and LionsOS work, and is currently looking at clock initialisation on a variety of platforms.

Contact Details

Email:tianyi.bai@unsw.edu.au

More contact information is available at the Contact page.

Photo of Terry Bai

Publication List

Projects

Current

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