Trustworthy Systems

James Treloar
Honours Thesis Student

Research Interests

James is interested in operating systems. He is also interested in FPGA research.

Contact Details

Email:james.treloar@student.unsw.edu.au

More contact information is available at the Contact page.

Photo of James Treloar

Jump to Publication List

Projects

Past

Publications

Trustworthy Systems Group Papers

2025

Abstract
Slides
PDF Liam Murphy, Albert Rizaldi, Lesley Rossouw, Chen George, James Treloar, Hammond Pearce, Miki Tanaka and Gernot Heiser
High-fidelity specification of real-world devices
Workshop on Programming Languages and Operating Systems (PLOS), October, 2025