| seL4: Formal verification of an OS kernel G Klein, K Elphinstone, G Heiser, J Andronick, D Cock, P Derrin, ... Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009 | 2003 | 2009 |
| An analysis of power consumption in a smartphone. A Carroll, G Heiser USENIX annual technical conference 14, 21-21, 2010 | 1812 | 2010 |
| Last-level cache side-channel attacks are practical F Liu, Y Yarom, Q Ge, G Heiser, RB Lee 2015 IEEE symposium on security and privacy, 605-622, 2015 | 653 | 2015 |
| Dynamic voltage and frequency scaling: The laws of diminishing returns E Le Sueur, G Heiser Proceedings of the 2010 international conference on Power aware computing …, 2010 | 450 | 2010 |
| Comprehensive formal verification of an OS microkernel G Klein, J Andronick, K Elphinstone, T Murray, T Sewell, R Kolanski, ... ACM Transactions on Computer Systems (TOCS) 32 (1), 1-70, 2014 | 308 | 2014 |
| The role of virtualization in embedded systems G Heiser Proceedings of the 1st workshop on Isolation and integration in embedded …, 2008 | 306 | 2008 |
| The OKL4 Microvisor: Convergence point of microkernels and hypervisors G Heiser, B Leslie Proceedings of the first ACM asia-pacific workshop on Workshop on systems, 19-24, 2010 | 253 | 2010 |
| Koala: A platform for OS-level power management DC Snowdon, E Le Sueur, SM Petters, G Heiser Proceedings of the 4th ACM European conference on Computer systems, 289-302, 2009 | 248 | 2009 |
| Catalyst: Defeating last-level cache side channel attacks in cloud computing F Liu, Q Ge, Y Yarom, F Mckeen, C Rozas, G Heiser, RB Lee 2016 IEEE international symposium on high performance computer architecture …, 2016 | 240 | 2016 |
| A survey of microarchitectural timing attacks and countermeasures on contemporary hardware Q Ge, Y Yarom, D Cock, G Heiser Journal of Cryptographic Engineering 8 (1), 1-27, 2018 | 233 | 2018 |
| Modeling and simulation of tunneling through ultra-thin gate dielectrics A Schenk, G Heiser Journal of applied physics 81 (12), 7900-7908, 1997 | 230 | 1997 |
| User-level device drivers: Achieved performance B Leslie, P Chubb, N Fitzroy-Dale, S Götz, C Gray, L Macpherson, D Potts, ... Journal of Computer Science and Technology 20 (5), 654-664, 2005 | 219 | 2005 |
| Reassessment of the intrinsic carrier density in crystalline silicon in view of band-gap narrowing PP Altermatt, A Schenk, F Geelhaar, G Heiser Journal of Applied Physics 93 (3), 1598-1604, 2003 | 202 | 2003 |
| A simulation model for the density of states and for incomplete ionization in crystalline silicon. I. Establishing the model in Si: P PP Altermatt, A Schenk, G Heiser Journal of Applied Physics 100 (11), 113715, 2006 | 191 | 2006 |
| Numerical modeling of highly doped Si: P emitters based on Fermi–Dirac statistics and self-consistent material parameters PP Altermatt, JO Schumacher, A Cuevas, MJ Kerr, SW Glunz, RR King, ... Journal of Applied Physics 92 (6), 3187-3197, 2002 | 178 | 2002 |
| Providing Dynamic Update in an Operating System. A Baumann, G Heiser, J Appavoo, D Da Silva, O Krieger, RW Wisniewski, ... USENIX Annual Technical Conference, General Track, 279-291, 2005 | 176 | 2005 |
| Power management and dynamic voltage scaling: Myths and facts DC Snowdon, S Ruocco, G Heiser Proceedings of the 2005 Workshop on Power Aware Real-time Computing, New …, 2005 | 164 | 2005 |
| Assessment and parameterisation of Coulomb-enhanced Auger recombination coefficients in lowly injected crystalline silicon PP Altermatt, J Schmidt, G Heiser, AG Aberle Journal of applied physics 82 (10), 4938-4944, 1997 | 162 | 1997 |
| The mungi single‐address‐space operating system G Heiser, K Elphinstone, J Vochteloo, S Russell, J Liedtke Software: Practice and Experience 28 (9), 901-928, 1998 | 159 | 1998 |
| From L3 to seL4 what have we learnt in 20 years of L4 microkernels? K Elphinstone, G Heiser Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems …, 2013 | 148 | 2013 |
Kevin ElphinstoneUniversity of New South WalesVerified email at cse.unsw.edu.au
