Gernot Heiser
Gernot Heiser
Professor of Computer Science, UNSW Sydney, and Data61, CSIRO
Verified email at unsw.edu.au - Homepage
Title
Cited by
Cited by
Year
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
20012009
An analysis of power consumption in a smartphone.
A Carroll, G Heiser
USENIX annual technical conference 14, 21-21, 2010
18112010
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
6502015
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
4482010
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
3072014
The role of virtualization in embedded systems
G Heiser
Proceedings of the 1st workshop on Isolation and integration in embedded …, 2008
3042008
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
2532010
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
2472009
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
2382016
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
2332018
Modeling and simulation of tunneling through ultra-thin gate dielectrics
A Schenk, G Heiser
Journal of applied physics 81 (12), 7900-7908, 1997
2301997
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
2182005
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
2022003
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
1912006
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
1782002
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
1762005
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
1642005
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
1621997
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
1591998
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
1482013
The system can't perform the operation now. Try again later.
Articles 1–20