Associate Professor Kevin Elphinstone
Associate Professor

Associate Professor Kevin Elphinstone

Engineering
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
Phone
+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, http://dx.doi.org/10.1145/2893177
    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, http://dx.doi.org/10.1145/2560537