By Dr Peter Chubb

Preprints

Heiser G; Velickovic I; Chubb P; Joshy A; Ganesh A; Nguyen B; Li C; Darville C; Zhu G; Archer J; Zhou J; Winter K; Parker L; Duchniewicz S; Bai T, 2025, Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance, http://arxiv.org/abs/2501.06234v1

Amani S; Chubb P; Donaldson AF; Legg A; Ryzhyk L; Zhu Y, 2012, Automatic Verification of Message-Based Device Drivers, http://dx.doi.org/10.48550/arxiv.1211.6185

Back to profile page