Associate Professor Kevin Elphinstone
Associate Professor

Associate Professor Kevin Elphinstone

Computer Science and Engineering

Dr Kevin Elphinstone is an Associate Professor with the School of Computer Science and Engineering. His research interests include:

  • Operating Systems
  • Microkernels
  • Multiserver Systems
  • Computer Architecture
+61 2 9065 5289
  • Journal articles | 2016
    Heiser G; Elphinstone K, 2016, 'L4 microkernels: The lessons from 20 years of research and deployment', ACM Transactions on Computer Systems, vol. 34,
    Journal articles | 2014
    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, vol. 32,