Select Publications
Journal Articles
Heiser, GA, Murray, TC & Klein, G, 2012, 'It's time for trustworthy systems', IEEE Security and Privacy, vol. 10, no. 2, pp. 67 - 70, http://dx.doi.org/10.1109/MSP.2012.41
Klein, G, Andronick, J, Elphinstone, KJ, Heiser, GA, Cock, D, Philip Derrin, Elkaduwe, D, Engelhardt, K, Kolanski, R, Norrish, M, Sewell, T, Tuch, H & Winwood, S, 2010, 'seL4: formal verification of an operating-system kernel', Communications of the ACM, vol. 53, no. 6, pp. 107 - 115, http://dx.doi.org/10.1145/1743546.1743574
Kuz, I, Liu, Y, Gorton, I & Heiser, GA, 2007, 'CAmkES: A component model for secure microkernel-based embedded systems', Journal of Systems and Software, vol. 80, pp. 687 - 699
Heiser, GA, Elphinstone, KJ, Kuz, I, Klein, G & Petters, S, 2007, 'Towards trustworthy computing systems: taking microkernels to the next level', ACM Sigops Operating Systems Review, vol. 41, pp. 3 - 11
Altermatt, P, Schenk, A, Schmithuesen, B & Heiser, GA, 2006, 'A simulation model for the density of states and for incomplete ionization in crystalline silicon. II. Investigation of Si : As and Si : B and usage in device simulation', Journal of Applied Physics, vol. 100
Altermatt, P, Schenk, A & Heiser, GA, 2006, 'A simulation model for the density of states and for incomplete ionization in crystalline silicon. I. Establishing the model in Si : P', Journal of Applied Physics, vol. 100
Leslie, BJ, Chubb, P, Fitzroy-Dale, NJ, Gotz, S, Gray, CE, Macpherson, LD, Potts, DP, Elphinstone, KJ, Heiser, GA & Shen, Y, 2005, 'User-level device drivers: Achieved performance', Journal of Computer Science and Technology, vol. 20, pp. 654 - 664
Rizos, C, Mumford, P, Parkinson, KJ, Engel, F & Heiser, GA, 2004, 'An open GNSS receiver platform architecture', Positioning, vol. 3, pp. 63 - 69
Altermatt, P, Schenk, A, Geelhaar, F & Heiser, GA, 2003, 'Reassessment of the intrinsic carrier density in crystalline silicon in view of band-gap narrowing', Journal of Applied Physics, vol. 93,, pp. 1598 - 1604
Altermatt, P & Heiser, GA, 2002, 'Development of a three-dimensional numerical model of grain boundaries in highly doped polycrystalline silicon and applications to solar cells', Journal of Applied Physics, vol. 91, pp. 4271 - 4274
Altermatt, P & Heiser, GA, 2002, 'Predicted electronic properties of polycrystalline silicon from three-dimensional device modeling combined with defect-pool model', Journal of Applied Physics, vol. 92, pp. 2561 - 2574
Altermatt, P, Schumacher, JJ, Cuevas, A, Kerr, M, Glunz, S, King, RR, Heiser, GA & Schenk, A, 2002, 'Numerical modeling of highly doped Si:P emitters based of Fermi-Dirac statistics and self-consistent material parameters', Journal of Applied Physics, vol. 92, pp. 3187 - 3197
Altermatt, P, Aberle, AG, Zhao, J, Wang, A & Heiser, GA, 2002, 'A numerical model of p n junctions bordering on surfaces', Solar Energy Materials and Solar Cells, vol. 74, pp. 165 - 174
Altermatt, P, Sinton, R & Heiser, GA, 2001, 'Improvements in the numerical modeling of highly injected crystalline silicon solar cells', Solar Energy Materials and Solar Cells, pp. 149 - 155
Corkish, RP, Altermatt, P & Heiser, GA, 2001, 'Numerical simulation of electron-beam-induced current near a silicon grain boundary and impact of a p-n junction space charge region', Solar Energy Materials and Solar Cells, pp. 63 - 69
Schumacher, JJ, Altermatt, P, Heiser, GA & Aberle, AG, 2001, 'Application of an improved bandgap narrowing model to the numerical simulation of recombination properties of phosphorus doped silicon emitters', Solar Energy Materials and Solar Cells, pp. 95 - 103
Kuhlmann, B, Aberle, AG, Hezel, R & Heiser, GA, 2000, 'Simulation and optimization of metal-insulator-semiconductor inversion-layer silicon solar cells', IEEE Transactions on Electron Devices, pp. 2167 - 2178
Bradley, PT, Rozenfeld, A, Lee, KT, Jamieson, DD, Heiser, GA & Satoh, S, 1998, 'Charge Collection and Radiation Hardness of a SOI Microdosimeter for Medical and Space Applications', IEEE Transactions on Nuclear Science, pp. 2700 - 2710
Heiser, GA, Elphinstone, KJ, Vochteloo, J, Russell, SM & Liedtke, J, 1998, 'The Mungi Single-Address-Space Operating System', Software-Practice and Experience, pp. 901 - 928
Schenk, A & Heiser, GA, 1997, 'Modeling and Simulation of Tunneling through Ultra-Thin Gate Dielectrics', Journal of Applied Physics, pp. 7900 - 7908
Altermatt, P, Schmidt, J, Heiser, GA & Aberle, AG, 1997, 'Assessment and Parameterisation of Coulomb-Enhanced Auger Recombination Coefficients in Lowly Injected Crystalline Silicon', Journal of Applied Physics, pp. 4938 - 4944
Edminston, SA, Heiser, GA, Sproul, AB & Green, MA, 1996, 'Improved modelling of grain boundary recombination in bulk and p-n junction regions of polycrystalline silicon solar cells', Journal of Applied Physics, pp. 6783 - 6795
Wenham, SR, Green, MA, Edminston, SA, Campbell, PR, Koschier, L, Thorpe, D, Honsberg, C, Shi, Z, Heiser, GA & Sproul, AB, 1996, 'Limits to the efficiency of silicon multilayer thin film solar cells', Solar Energy Materials and Solar Cells, pp. 3 - 17
Altermatt, P, Heiser, GA, Aberle, AG, Wang, AL, Zhao, J, Robinson, J, Bowden, SJ & Green, MA, 1996, 'Spatially resolved analysis and minimisation of resistive losses in high-efficiency Si solar cells', Progress in Photovoltaics, pp. 399 - 414
Altermatt, P, Heiser, GA, Dai, X, Jurgens, J, Aberle, AG, Robinson, S, Young, TR, Wenham, SR & Green, MA, 1996, 'Rear serface passivation of high-efficiency silicon solar cells by a floating junction', Journal of Applied Physics, pp. 3574 - 3586
Altermatt, P, Heiser, GA & Green, MA, 1996, 'Numerical quantification and minimisation of perimeter losses in high-efficiency silicon solar cells', Progress in Photovoltaics, pp. 355 - 367
Robinson, S, Wenham, SR, Altermatt, P, Aberle, AG, Heiser, GA & Green, MA, 1995, 'Recombination rate saturation mechanisms at oxidized surfaces of high-efficiency silicon solar cells', Journal of Applied Physics, pp. 4740 - 4754
Heiser, GA, Aberle, AG, Wenham, SR & Green, MA, 1995, 'Two-dimensional numerical simulations of high-efficiency silicon solar cells', Microelectronics Journal, pp. 273 - 286
Aberle, AG, Altermatt, P, Heiser, GA, Robinson, S, Wang, AL, Zhao, J, Krumbein, U & Green, MA, 1995, 'Limiting loss mechanisms in 23% efficient silicon solar cells', Journal of Applied Physics, pp. 3491 - 3501
Conference Papers
Bernard Blackham, Shi, Yao & Heiser, GA, 2012, 'Improving Interrupt Response Time in a Verifiable Protected Microkernel', in Proceedings of the 7th ACM European Conference on Computer Systems, ACM, New York, NY, USA, presented at 7th ACM European Conference on Computer Systems, EuroSys'12, Bern, Switzerland, 10 - 13 April, 2012, http://dx.doi.org/10.1145/2168836.2168869
Bernard Blackham & Heiser, GA, 2012, 'Correct, fast, maintainable - choose any three!', in APSYS '12 Proceedings of the Asia-Pacific Workshop on Systems, ACM, New York, NY, USA, presented at APSys'12: 3rd ACM SIGOPS Asia-Pacific Workshop on Systems, Seoul, Korea, 23-24 July 2012, http://dx.doi.org/10.1145/2349896.2349909
Bernard Blackham, Tang, V & Heiser, GA, 2012, 'Preempt or Not Preempt - That is the Question', in APSYS '12 Proceedings of the Asia-Pacific Workshop on Systems, ACM, New York, NY, USA, presented at APSys'12: 3rd ACM SIGOPS Asia-Pacific Workshop on Systems, Seoul, Korea, 23-24 July 2012, http://dx.doi.org/10.1145/2349896.2349904
Lesueur, E & Heiser, GA, 2011, 'Slow down or sleep, that is the question', in Proceedings of the 2011 USENIX Annual Technical Conference, ISBN 978931971850, USENIX Association, Portland, OR, USA, presented at USENIX Annual Technical Conference 2011, Portland, OR, USA, 14 - 17 June 2010, http://www.usenix.org/event/atc11/tech/final_files/atc11_proceedings.pdf
Heiser, GA, 2011, 'Virtualizing embedded systems - Why bother?', in Proceedings - Design Automation Conference, Institute of Electrical and Electronics Engineers Inc.,, San Diego, CA, United states, presented at 2011 48th ACM/EDAC/IEEE Design Automation Conference, DAC 2011, San Diego, CA, United States, 5-9 June, 2011
Heiser, GA, Ryzhyk, L, Michael von Tessin & Budzynowski, A, 2011, 'What If You Could Actually Trust Your Kernel?', in HotOS XIII: Proceedings of the 13th Workshop on Hot Topics in Operating Systems, USENIX, http://static.usenix.org/events/hotos11/tech/, presented at 13th Workshop on Hot Topics in Operating Systems, Napa, CA, USA, 9 May, 2011, http://www.usenix.org/events/hotos11/tech/final_files/Heiser.pdf
Bernard Blackham, Shi, Yao & Heiser, GA, 2011, 'Protected Hard Real-time: The Next Frontier', in Proceedings of the Second Asia-Pacific Workshop on Systems (APSys'11), ACM, New York, NY, USA, presented at APSys'11: 2nd ACM SIGOPS Asia-Pacific Workshop on Systems, Shanghai, China, 11-12 July 2011, http://dx.doi.org/10.1145/2103799.2103801
Ryzhyk, L, Keys, J, Mirla, B, Raghunath, A, Viji, M & Heiser, GA, 2011, 'Improved device driver reliability through hardware verification reuse', in Proceedings of the 16th International Conference on Architectural Support for Programming, Association for Computing Machinery, New York, NY, United States, presented at 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011, Newport Beach, CA, United States, 5-11 March, 2011, http://dx.doi.org/10.1145/1950365.1950383
Amani, S, Ryzhyk, L, Donaldson, A, Heiser, GA, Legg, A & Zhu, Y, 2011, 'Static Analysis of Device Drivers: We Can Do Better!', in Proceedings of the Second Asia-Pacific Workshop on Systems (APSys'11), ACM, New York, NY, USA, presented at APSys'11: 2nd ACM SIGOPS Asia-Pacific Workshop on Systems, Shanghai, China, 11-12 July 2011, http://dx.doi.org/10.1145/2103799.2103809
Bernard Blackham, Shi, Yao, Chattopadhyay, S, Roychoudhury, A & Heiser, GA, 2011, 'Timing Analysis of a Protected Operating System Kernel', in Proceedings of the 32nd Real Time Systems Symposium, IEEE Computer Society, Los Alamitos, USA, presented at 2011 32nd IEEE Real-Time Systems Symposium, RTSS 2011, Vienna, Austria, 29 November - 2 December, 2011, http://dx.doi.org/10.1109/RTSS.2011.38
Varanasi, P & Heiser, GA, 2011, 'Hardware-Supported Virtualization on ARM', in Proceedings of the Second Asia-Pacific Workshop on Systems (APSys'11), ACM, New York, NY, USA, presented at APSys'11: 2nd ACM SIGOPS Asia-Pacific Workshop on Systems, Shanghai, China, 11-12 July 2011, http://dx.doi.org/10.1145/2103799.2103813
Fitzroy-Dale, NJ, Kuz, I & Heiser, GA, 2010, 'Architecture Optimisation with Currawong', in APSys 2010: First ACM Asia-Pacific Workshop on Systems, ACM, New York, NY, USA, presented at APSys2010: 1st ACM Asia-Pacific Workshop on Systems, New Delhi, India, 30 August 2010
Carroll, A & Heiser, GA, 2010, 'An Analysis of Power Consumption in a Smartphone', in Proceedings of the 2010 USENIX Annual Technical Conference, The USENIX Association, Boston, MA, USA, presented at USENIX Annual Technical Conference 2011, Portland, OR, USA, 14 - 17 June 2010, http://www.usenix.org/events/atc10/tech/
Ryzhyk, L, Zhu, Y & Heiser, GA, 2010, 'The case for active device drivers', in APSys 2010: First ACM Asia-Pacific Workshop on Systems, ACM, New York, NY, USA, presented at APSys2010: 1st ACM Asia-Pacific Workshop on Systems, New Delhi, India, 30 August 2010
Heiser, GA & Leslie, BJ, 2010, 'The OKL4 Microvisor: Convergence Point of Microkernels and Hypervisors', in APSys 2010: First ACM Asia-Pacific Workshop on Systems, ACM, New York, NY, USA, presented at APSys2010: 1st ACM Asia-Pacific Workshop on Systems, New Delhi, India, 30 August 2010, http://dx.doi.org/10.1145/1851276.1851282
Lesueur, E & Heiser, GA, 2010, 'Dynamic Voltage and Frequency Scaling: The Laws of Diminishing Returns', in , ACM Digital Library, presented at HotPower, Vancouver, Canada, 3 October 2010, http://www.ertos.nicta.com.au/publications/papers/LeSueur_Heiser_10.abstract
Heiser, GA, Andronick, J, Elphinstone, KJ, Klein, G, Kuz, I & Ryzhyk, L, 2010, 'The road to trustworthy systems', in Proceedings of the ACM Conference on Computer and Communications Security 2010, ACM, New York, presented at , Chicago, IL, 4-8 October, 2010, http://dx.doi.org/10.1145/1867635.1867638
Klein, G, Elphinstone, K, Heiser, G, Andronick, J, Cock, D, Derrin, P, Elkaduwe, D, Engelhardt, K, Kolanski, R, Norrish, M, Sewell, T, Tuch, H & Winwood, S, 2009, 'seL4: formal verification of an OS kernel', in Proceedings of SOSP`09, ACM, New York, NY, USA, presented at SOSP, Big Sky, Montana, USA, 11 - 14 October 2009, http://dx.doi.org/10.1145/1629575.1629596
Heiser, GA, 2009, 'Hypervisors for consumer electronics', in 2009 6th IEEE Consumer Communications and Networking Conference, CCNC 2009, IEEE, New Jersey, USA, presented at World Summit on Genetic and Evolutionary Computation, GEC Summit - 1st ACM/SIGEVO Summit on Genetic and Evolutionary Computation, GEC`09
Snowdon, DC, Sueur, E, Petters, S & Heiser, GA, 2009, 'Koala a platform for OS-level power management', in PROCEEDINGS OF EUROSYS 2009, ACM, NEW YORK, presented at 4th ACM European Conference on Computer Systems, EuroSys`09, Nuremberg Germany, 1 - 3 April 2009, http://portal.acm.org/citation.cfm?id=1519065.1519097
Chapman, M & Heiser, GA, 2009, 'VNUMA: A Virtual Shared Memory Multiprocessor', in Proceedings of the 2009 USENIX Annual Technical Conference, The USENIX Association, Berkeley, CA, USA, presented at 2009 USENIX Annual Technical Conference, San Diego, CA, USA, 14 - 19 June 2009, http://unsworks.unsw.edu.au/vital/access/manager/Repository/unsworks:4393