By Dr Thomas Arthur Leck Sewell

Journal articles

Klein G; Andronick J; Elphinstone K; Murray T; Sewell T; Kolanski R; Heiser G, 2014, 'Comprehensive Formal Verification of an OS Microkernel', ACM Transactions on Computer Systems, 32, http://dx.doi.org/10.1145/2560537

Sewell T; Myreen M; Klein G, 2013, 'Translation validation for a verified OS kernel', Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 471 - 481, http://dx.doi.org/10.1145/2462156.2462183

Back to profile page