Gernot Heiser

Professor

I have been an academic at UNSW since completing my PhD in 1991. I am a full professor since 2002. Since 2009 I hold the John Lions Chair of Operating systems, and since 2011 the title of Scientia Professor.

Since its creation in 2003 I was a research program leader at NICTA, where I created what is now the Trustworthy Systems group, a joint research group of UNSW and CSIRO's Data61.

I have co-founded Open Kernel Labs in 2006 for commercialising my microkernel research outcomes. This has led to the L4-embedded microkernel being deployed on billions of mobile devices, including the secure enclave of all recent iOS devices, where it protects security-critical operations. OK Labs was sold to General Dynamics in 2012.

I am co-founder of Munich-based Secure Elements GmbH, and serve as Chief Scientist (Software) at its joint-venture company HENSOLDT Cyber GmbH, which develops a secure processor with an operating system based on my group's seL4 microkernel.

Journal articles
add
Heiser G; Murray T; Klein G, 2020, 'Towards Provable Timing-Channel Prevention', Operating Systems Review (ACM), vol. 54, pp. 1 - 7, http://dx.doi.org/10.1145/3421473.3421475
2020
Van Der Kouwe E; Heiser G; Andriesse D; Bos H; Giuffrida C, 2020, 'Benchmarking Flaws Undermine Security Research', IEEE Security and Privacy, vol. 18, pp. 48 - 57, http://dx.doi.org/10.1109/MSEC.2020.2969862
2020
Heiser G; Klein G; Andronick J, 2020, 'SeL4 in Australia: From Research to Real-World Trustworthy Systems', Communications of the ACM, vol. 63, pp. 72 - 75, http://dx.doi.org/10.1145/3378426
2020
Hu XS; Ernst R; Eles P; Heiser G; Keutzer K; Kim D; Tohdo T, 2018, 'Roundtable: Machine Learning for Embedded Systems: Hype or Lasting Impact?', IEEE Design and Test, vol. 35, pp. 86 - 93, http://dx.doi.org/10.1109/MDAT.2018.2869988
2018
Cofer D; Gacek A; Backes J; Whalen MW; Pike L; Foltzer A; Podhradsky M; Klein G; Kuz I; Andronick J; Heiser G; Stuart D, 2018, 'A Formal Approach to Constructing Secure Air Vehicle Software', Computer, vol. 51, pp. 14 - 23, http://dx.doi.org/10.1109/MC.2018.2876051
2018
Heiser G, 2018, 'For Safety's Sake: We Need a New Hardware-Software Contract!', IEEE Design and Test, vol. 35, pp. 27 - 30, http://dx.doi.org/10.1109/MDAT.2017.2766559
2018
Klein G; Andronick J; Fernandez M; Kuz I; Murray T; Heiser G, 2018, 'Formally verified software in the real world', Communications of the ACM, vol. 61, pp. 68 - 77, http://dx.doi.org/10.1145/3230627
2018
Ge Q; Yarom Y; Cock D; Heiser G, 2018, 'A survey of microarchitectural timing attacks and countermeasures on contemporary hardware', Journal of Cryptographic Engineering, vol. 8, http://dx.doi.org/10.1007/s13389-016-0141-6
2018
Heiser G, 2017, 'Technical perspective proving file systems meet expectations', Communications of the ACM, vol. 60, pp. 74, http://dx.doi.org/10.1145/3051090
2017
Sewell T; Kam F; Heiser G, 2017, 'High-assurance timing analysis for a high-assurance real-time operating system', Real-Time Systems, vol. 53, pp. 812 - 853, http://dx.doi.org/10.1007/s11241-017-9286-3
2017
Elphinstone K; Zarrabi A; Danis A; Shen Y; Heiser G, 2016, 'An Evaluation of Coarse-Grained Locking for Multicore Microkernels', ArXiv, https://pdfs.semanticscholar.org/762a/284bd8b6ace609285f72f22dc1e03b004f33.pdf
2016
Amani S; Hixon A; Chen Z; Rizkallah C; Chubb P; O'Connor L; Beeren J; Nagashima Y; Lim J; Sewell T; Tuong J; Keller G; Murray T; Klein G; Heiser G, 2016, 'Cogent', ACM SIGARCH Computer Architecture News, vol. 44, pp. 175 - 188, http://dx.doi.org/10.1145/2980024.2872404
2016
Amani S; Sewell T; Tuong J; Keller G; Murray T; Klein G; Heiser G; Hixon A; Chen Z; Rizkallah C; Chubb P; O'Connor L; Beeren J; Nagashima Y; Lim J, 2016, 'CoGENT', ACM SIGOPS Operating Systems Review, vol. 50, pp. 175 - 188, http://dx.doi.org/10.1145/2954680.2872404
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
2016
Jung H; Han H; Fekete A; Heiser G; Yeom HY, 2014, 'A scalable lock manager for multicores', ACM Transactions on Database Systems, vol. 39, http://dx.doi.org/10.1145/2691190.2691192
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
2014
Heiser GA; Murray TC; Klein G, 2012, 'It's time for trustworthy systems', IEEE Security and Privacy, vol. 10, pp. 67 - 70, http://dx.doi.org/10.1109/MSP.2012.41
2012
Ryzhyk L; Keys J; Mirla B; Raghunath A; Vij M; Heiser G, 2011, 'Improved device driver reliability through hardware verification reuse', ACM SIGARCH Computer Architecture News, vol. 39, pp. 133 - 144, http://dx.doi.org/10.1145/1961295.1950383
2011
Heiser G, 2010, 'Virtualizing embedded linux', Electronics World, vol. 116, pp. 34 - 37
2010
Heiser G, 2010, 'Security and mobility the future is now', Electronics World, vol. 116, pp. 31 - 32
2010
Heiser G, 2010, 'Virtualizing embedded linux', Electronics World, vol. 116, pp. 34 - 37
2010
Klein G; Andronick J; Elphinstone KJ; Heiser GA; Cock D; Philip D; 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, pp. 107 - 115, http://dx.doi.org/10.1145/1743546.1743574
2010
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, http://dx.doi.org/10.1145/1278901.1278904
2007
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, http://dx.doi.org/10.1016/j.jss.2006.08.039
2007
Heiser G, 2007, 'Mobile maladies [4]', Scientific American, vol. 296, pp. 14
2007
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, http://dx.doi.org/10.1063/1.2386935
2006
Heiser G; Uhlig V; LeVasseur J, 2006, 'Are virtual-machine monitors microkernels done right?', Operating Systems Review (ACM), vol. 40, pp. 95 - 99, http://dx.doi.org/10.1145/1113361.1113363
2006
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, http://dx.doi.org/10.1063/1.2386934
2006
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, http://dx.doi.org/10.1007/s11390-005-0654-4
2005
Rizos C; Mumford P; Parkinson KJ; Engel F; Heiser GA, 2004, 'An open GNSS receiver platform architecture', Positioning, vol. 3, pp. 63 - 69
2004
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, http://dx.doi.org/10.1063/1.1529297
2003
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, http://dx.doi.org/10.1016/S0927-0248(02)00061-2
2002
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, http://dx.doi.org/10.1063/1.1456962
2002
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, http://dx.doi.org/10.1063/1.1501743
2002
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, http://dx.doi.org/10.1063/1.1498961
2002
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
2001
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, vol. 65, pp. 63 - 69, http://dx.doi.org/10.1016/S0927-0248(00)00078-7
2001
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, vol. 65, pp. 95 - 103, http://dx.doi.org/10.1016/S0927-0248(00)00082-9
2001
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, vol. 47, pp. 2167 - 2178, http://dx.doi.org/10.1109/16.877180
2000
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, vol. 45, pp. 2700 - 2710
1998
Heiser GA; Elphinstone KJ; Vochteloo J; Russell SM; Liedtke J, 1998, 'The Mungi Single-Address-Space Operating System', Software-Practice and Experience, vol. 28, pp. 901 - 928, http://dx.doi.org/10.1002/(SICI)1097-024X(19980725)28:9<901::AID-SPE181>3.0.CO;2-7
1998
Schenk A; Heiser GA, 1997, 'Modeling and Simulation of Tunneling through Ultra-Thin Gate Dielectrics', Journal of Applied Physics, vol. 81, pp. 7900 - 7908, http://dx.doi.org/10.1063/1.365364
1997
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, vol. 82, pp. 4938 - 4944, http://dx.doi.org/10.1063/1.366360
1997
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, vol. 80, pp. 3574 - 3586, http://dx.doi.org/10.1063/1.363231
1996
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, vol. 4, pp. 399 - 414, http://dx.doi.org/10.1002/(SICI)1099-159X(199611/12)4:6<399::AID-PIP148>3.0.CO;2-4
1996
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, vol. 80, pp. 6783 - 6795, http://dx.doi.org/10.1063/1.363806
1996
Altermatt P; Heiser GA; Green MA, 1996, 'Numerical quantification and minimisation of perimeter losses in high-efficiency silicon solar cells', Progress in Photovoltaics, vol. 4, pp. 355 - 367, http://dx.doi.org/10.1002/(SICI)1099-159X(199609/10)4:5<355::AID-PIP145>3.0.CO;2-X
1996
Heiser GA; Aberle AG; Wenham SR; Green MA, 1995, 'Two-dimensional numerical simulations of high-efficiency silicon solar cells', Microelectronics Journal, vol. 26, pp. 273 - 286, http://dx.doi.org/10.1016/0026-2692(95)98930-P
1995
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, vol. 77, pp. 3491 - 3501, http://dx.doi.org/10.1063/1.358643
1995
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, vol. 78, pp. 4740 - 4754, http://dx.doi.org/10.1063/1.359821
1995
Sproul AB; Edmiston S; Wenham SR; Heiser GH; Green MA, 1994, 'Innovative structures for thin film crystalline silicon solar cells to give high efficiencies from low quality silicon', Conference Record of the IEEE Photovoltaic Specialists Conference, vol. 2, pp. 1563 - 1566
1994
Aberle AG; Heiser G; Green MA, 1994, 'Two-dimensional numerical optimization study of the rear contact geometry of high-efficiency silicon solar cells', Journal of Applied Physics, vol. 75, pp. 5391 - 5405, http://dx.doi.org/10.1063/1.355694
1994
Aberle AG; Heiser G; Green MA, 1994, 'Two-dimensional minority carrier flow in high-efficiency silicon solar cells at short-circuit, open-circuit and maximum power point operating conditions', Solar Energy Materials and Solar Cells, vol. 34, pp. 149 - 160, http://dx.doi.org/10.1016/0927-0248(94)90035-3
1994
Aberle AG; Wenham SR; Green MA; Heiser G, 1994, 'Decreased emitter sheet resistivity loss in high‐eficiency silicon solar cells', Progress in Photovoltaics: Research and Applications, vol. 2, pp. 3 - 17, http://dx.doi.org/10.1002/pip.4670020103
1994
Heiser G; Pommerell C; Weis J; Fichtner W, 1991, 'Three-Dimensional Numerical Semiconductor Device Simulation: Algorithms, Architectures, Results', IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 10, pp. 1218 - 1230, http://dx.doi.org/10.1109/43.88918
1991
Biagioni E; Hinrichs K; Heiser G; Muller C, 1986, 'A Portable Operating System Interface and Utility Library', IEEE Software, vol. 3, pp. 18 - 26, http://dx.doi.org/10.1109/MS.1986.229470
1986
Ge Q; Yarom Y; Li F; Heiser G, 'Your Processor Leaks Information - and There's Nothing You Can Do About It', Your Processor Leaks Information - and There's Nothing You Can Do About It, http://arxiv.org/abs/1612.04474v6
Lyons A; Heiser G, 'It's Time: OS Mechanisms for Enforcing Asymmetric Temporal Integrity', It's Time: OS Mechanisms for Enforcing Asymmetric Temporal Integrity, http://arxiv.org/abs/1606.00111v2
Conference Papers
add
Shen Y; Heiser G; Elphinstone K, 2019, 'Fault Tolerance Through Redundant Execution on COTS Multicores: Exploring Trade-Offs', in Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019, pp. 188 - 200, http://dx.doi.org/10.1109/DSN.2019.00031
2019
Heiser G; Klein G; Murray T, 2019, 'Can We Prove Time Protection?', in Proceedings of the Workshop on Hot Topics in Operating Systems, HotOS 2019, pp. 23 - 29, http://dx.doi.org/10.1145/3317550.3321431
2019
Ge Q; Chothia T; Yarom Y; Heiser G, 2019, 'Time protection: The missing OS abstraction', in Proceedings of the 14th EuroSys Conference 2019, http://dx.doi.org/10.1145/3302424.3303976
2019
Chapman M; Heiser G, 2019, 'VNUMA: A virtual shared-memory multiprocessor', in Proceedings of the 2009 USENIX Annual Technical Conference, pp. 15 - 28
2019
Van Der Kouwe E; Heiser G; Andriesse D; Bos H; Giuffrida C, 2019, 'SoK: Benchmarking flaws in systems security', in Proceedings - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019, pp. 310 - 325, http://dx.doi.org/10.1109/EuroSP.2019.00031
2019
Heiser G; Hsieh W, 2019, 'Message from the 2012 USENIX annual technical conference program co-chairs', in Proceedings of the 2012 USENIX Annual Technical Conference, USENIX ATC 2012, pp. VII
2019
Biggs S; Lee D; Heiser G, 2018, 'The Jury is in: Monolithic OS design is flawed: Microkernel-based designs improve security', in Proceedings of the 9th Asia-Pacific Workshop on Systems, APSys 2018, http://dx.doi.org/10.1145/3265723.3265733
2018
Ge Q; Yarom Y; Heiser G, 2018, 'No security without time protection: We need a new hardware-software contract', in Proceedings of the 9th Asia-Pacific Workshop on Systems, APSys 2018, http://dx.doi.org/10.1145/3265723.3265724
2018
Lyons AM; McLeod K; Almatary H; Heiser G, 2018, 'Scheduling-Context Capabilities: A Principled, Light-Weight Operating-System Mechanism for Managing Time', in EuroSys '18: Thirteenth EuroSys Conference 2018, April 23--26, 2018, Porto, Portugal, Portugal, presented at Thirteenth EuroSys Conference 2018, Portugal, 23 April 2018 - 26 March 2018, http://dx.doi.org/10.1145/3190508.3190539
2018
Chen Z; O'Connor L; Keller G; Klein G; Heiser G, 2017, 'The COGENT case for property-based testing', in Proceedings of the 9th Workshop on Programming Languages and Operating Systems, PLOS 2017, Shanghai, China, pp. 1 - 7, presented at 9th Workshop on Programming Languages and Operating Systems, Shanghai, China, 28 October 2017 - 28 October 2017, http://dx.doi.org/10.1145/3144555.3144556
2017
Elphinstone K; Zarrabi A; McLeod K; Heiser G, 2017, 'A performance evaluation of rump kernels as a multi-server OS building block on seL4', in Proceedings of the 8th Asia-Pacific Workshop on Systems, APSys 2017, Mumbai, India, presented at APSys '17 Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, 02 September 2017 - 02 September 2017, http://dx.doi.org/10.1145/3124680.3124727
2017
Sewell T; Kam F; Heiser G, 2016, 'Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis', in 2016 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016 - Proceedings, Vienna, AUSTRIA, presented at 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, AUSTRIA, 11 April 2016 - 14 April 2016, http://dx.doi.org/10.1109/RTAS.2016.7461326
2016
Liu F; Ge Q; Yarom Y; McKeen F; Rozas C; Heiser G; Lee RB, 2016, 'CATalyst: Defeating last-level cache side channel attacks in cloud computing', in Proceedings - International Symposium on High-Performance Computer Architecture, Barcelona, SPAIN, pp. 406 - 418, presented at 22nd IEEE International Symposium on High-Performance Computer Architecture (HPCA), Barcelona, SPAIN, 12 March 2016 - 16 March 2016, http://dx.doi.org/10.1109/HPCA.2016.7446082
2016
Amani S; Hixon A; Chen Z; Rizkallah C; Chubb P; O'Connor L; Beeren J; Nagashima Y; Lim J; Sewell T; Tuong J; Keller G; Murray T; Klein G; Heiser G, 2016, 'COGENT: Verifying high-assurance file system implementations', in International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, Atlanta, GA, USA, pp. 175 - 188, presented at 21st International Conference on Architectural Support for Programming Languages and Operating Systems, Atlanta, GA, USA, 02 April 2016 - 06 April 2016, http://dx.doi.org/10.1145/2872362.2872404
2016
Liu F; Yarom Y; Ge Q; Heiser G; Lee RB, 2015, 'Last-level cache side-channel attacks are practical', in Proceedings - IEEE Symposium on Security and Privacy, pp. 605 - 622, http://dx.doi.org/10.1109/SP.2015.43
2015
Heiser G; Kono K; Park K; van Renesse R, 2015, 'Report on the Asia-Pacific Systems Workshop 2015 (APSys'15)', in OPERATING SYSTEMS REVIEW, ASSOC COMPUTING MACHINERY, Tokyo, JAPAN, pp. 1 - 2, presented at 6th Asia-Pacific Systems Workshop (APSys), Tokyo, JAPAN, 27 July 2015 - 28 July 2015, http://dx.doi.org/10.1145/2903267.2903269
2015
Peters S; Danis A; Elphinstone K; Heiser G, 2015, 'For a Microkernel, a Big Lock Is Fine', in APSys '15 Proceedings of the 6th Asia-Pacific Workshop on Systems, ACM, Tokyo, Japan, presented at ACM Asia-Pacific Workshop on Systems (APSys), Tokyo, Japan, 27 July 2015 - 28 July 2015, http://dx.doi.org/10.1145/2797022.2797042
2015
Blackham B; Liffiton M; Heiser GA, 2014, 'Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets', in Real-Time and Embedded Technology and Applications Symposium - Proceedings, Berlin, pp. 169 - 178, presented at Real-Time and Embedded Technology and Applications Symposium, Berlin, 15 April 2014 - 17 April 2014, http://dx.doi.org/10.1109/RTAS.2014.6926000
2014
Carroll A; Heiser G, 2014, 'Mobile multicores: Use them or waste them', in Operating Systems Review (ACM), pp. 44 - 48, http://dx.doi.org/10.1145/2626401.2626411
2014
Carroll A; Heiser GA, 2014, 'Unifying DVFS and offlining in mobile multicores', in Real-Time and Embedded Technology and Applications - Proceedings, Berlin, pp. 287 - 296, presented at Real-Time and Embedded Technology and Applications, Berlin, 15 April 2014 - 17 April 2014, http://dx.doi.org/10.1109/RTAS.2014.6926010
2014
Keller G; Murray T; Amani S; O'Connor L; Chen Z; Ryzhyk L; Klein G; Heiser G, 2014, 'File systems deserve verification too!', in Operating Systems Review (ACM), pp. 58 - 64, http://dx.doi.org/10.1145/2626401.2626414
2014
Lyons AM; Heiser GA, 2014, 'Mixed-Criticality Support in a High-Assurance, General-Purpose Microkernel', in Davis R; Cucu-Grosjean L (ed.), 2nd International Workshop on Mixed Criticality Systems, 2nd Workshop on Mixed Criticality Systems, Rome, Italy, pp. 9 - 14, presented at 2nd Workshop on Mixed Criticality Systems, Rome, Italy, 01 December 2014 - 01 December 2014, http://www.nicta.com.au/pub?doc=8354
2014
Cock D; Ge Q; Murray T; Heiser G, 2014, 'The last mile: An empirical study of timing channels on seL4', in Proceedings of the ACM Conference on Computer and Communications Security, pp. 570 - 581, http://dx.doi.org/10.1145/2660267.2660294
2014
Bernard B; Heiser GA, 2013, 'Sequoll: A framework for model checking binaries', in Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, IEEE, Philadelphia, USA, pp. 97 - 106, presented at 19th IEEE Real-Time and Embedded Technology and Applications Symposium, Philadelphia, USA, 09 April 2013 - 11 April 2013, http://dx.doi.org/10.1109/RTAS.2013.6531083
2013
Heiser GA; Lesueur E; Danis AV; Budzynowski A; Salomie T; Alonso G, 2013, 'RapiLog: Reducing system complexity through verification', in Proceedings of the 8th ACM European Conference on Computer Systems, EuroSys 2013, ACM, Prague; Czech Republic, pp. 323 - 336, presented at 8th ACM European Conference on Computer Systems, EuroSys 2013, Prague; Czech Republic, 15 April 2013 - 17 April 2013, http://dx.doi.org/10.1145/2465351.2465383
2013
Carroll A; Heiser G, 2013, 'Mobile Multicores: Use Them or Waste Them', in Proceedings of the 5th Workshop on Power-Aware Computing and Systems, ACM, Farmington, PA, USA, presented at 5th Workshop on Power-Aware Computing and Systems, Farmington, PA, USA, 03 November 2013 - 03 November 2013, http://dx.doi.org/10.1145/2525526.2525850
2013
Shi Y; Blackham B; Heiser G, 2013, 'Code optimizations using formally verified properties', in ACM SIGPLAN Notices, pp. 427 - 441, http://dx.doi.org/10.1145/2544173.2509513
2013
Bernard B; Heiser GA, 2013, 'Correct, fast, maintainable - choose any three!', in Proceedings of the 4th Asia-Pacific Workshop on Systems, ACM, New York, NY, presented at APSys'13 Asia-Pacific Workshop on Systems, Singapore, 29 July 2013 - 30 July 2013, http://dx.doi.org/10.1145/2349896.2349909
2013
Carroll A; Heiser GA, 2013, 'The Systems Hacker's Guide to the Galaxy: Energy Usage in a Modern Smartphone', in Proceedings of the 4th Asia-Pacific Workshop on Systems, ACM, New York, NY, presented at APSys'13 Asia-Pacific Workshop on Systems, Singapore, 29 July 2013 - 30 July 2013, http://dx.doi.org/10.1145/2500727.2500734
2013
Budzynowski A; Heiser G, 2013, 'The von Neumann architecture is due for retirement', in The von Neumann architecture is due for retirement, USENIX, Santa Ana Pueblo, New Mexico, presented at 14th Workshop on Hot Topics in Operating Systems (HotOS XIV), Santa Ana Pueblo, New Mexico, 13 May 2013 - 15 May 2013
2013
Elphinstone K; Heiser G, 2013, 'From L3 to seL4: What have we learnt in 20 years of L4 microkernels?', in SOSP 2013 - Proceedings of the 24th ACM Symposium on Operating Systems Principles, pp. 133 - 150, http://dx.doi.org/10.1145/2517349.2522720
2013
Jung H; Han H; Fekete AD; Heiser G; Yeom HY, 2013, 'A scalable lock manager for multicores', in Proceedings of the ACM SIGMOD International Conference on Management of Data, pp. 73 - 84, http://dx.doi.org/10.1145/2463676.2465271
2013
Keller G; Murray T; Amani S; Connor-Davis LO; Chen Z; Ryzhyk L; Klein G; Heiser G, 2013, 'File Systems Deserve Verification Too!', in Programming Languages and Operating Systems (PLOS), pp. 1 - 7, http://dx.doi.org/10.1145/2525528.2525530
2013
Bernard B; Tang V; Heiser GA, 2013, 'Preempt or Not Preempt - That is the Question', in Proceedings of the 4th Asia-Pacific Workshop on Systems, ACM, New York, NY, presented at APSys'13 Asia-Pacific Workshop on Systems, Singapore, 29 July 2013 - 30 July 2013, http://dx.doi.org/10.1145/2349896.2349904
2013
Bernard B; Shi Y; 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, pp. 323 - 336, presented at 7th ACM European Conference on Computer Systems, EuroSys'12, Bern, Switzerland, 10 April 2012 - 13 April 2012, http://dx.doi.org/10.1145/2168836.2168869
2012
Heiser G; Hsieh W, 2012, 'Message from the 2012 USENIX annual technical conference program co-chairs', in Proceedings of the 2012 USENIX Annual Technical Conference, USENIX ATC 2012, Boston, MA, pp. VII - VII, presented at USENIX ATC, Boston, MA, 12 June 2012 - 15 June 2012
2012
Bernard B; Shi Y; 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, pp. 1 - 5, presented at APSys'11: 2nd ACM SIGOPS Asia-Pacific Workshop on Systems, Shanghai, China, 11 July 2011 - 12 July 2011, http://dx.doi.org/10.1145/2103799.2103801
2011
Heiser GA; Ryzhyk L; Michael VT; 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/, pp. 1 - 5, presented at 13th Workshop on Hot Topics in Operating Systems, Napa, CA, USA, 09 May 2011, http://www.usenix.org/events/hotos11/tech/final_files/Heiser.pdf
2011
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, pp. 133 - 144, presented at 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011, Newport Beach, CA, United States, 05 March 2011 - 11 March 2011, http://dx.doi.org/10.1145/1950365.1950383
2011
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, pp. 1 - 5, presented at APSys'11: 2nd ACM SIGOPS Asia-Pacific Workshop on Systems, Shanghai, China, 11 July 2011 - 12 July 2011, http://dx.doi.org/10.1145/2103799.2103813
2011
Heiser G, 2011, 'Low-Overhead Vlrtualization of Mobile Platforms', in PROCEEDINGS OF THE PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON COMPILERS, ARCHITECTURES AND SYNTHESIS FOR EMBEDDED SYSTEMS (CASES '11), ASSOC COMPUTING MACHINERY, Taipei, TAIWAN, pp. 3 - 3, presented at 14th Confernece on Compilers, Architectures and Synthesis for Embedded Systems (CASES), Taipei, TAIWAN, 09 October 2011 - 14 October 2011, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000397432700002&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
2011
Bernard B; Shi Y; 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, pp. 339 - 348, presented at 2011 32nd IEEE Real-Time Systems Symposium, RTSS 2011, Vienna, Austria, 29 November 2011 - 02 December 2011, http://dx.doi.org/10.1109/RTSS.2011.38
2011
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, pp. 901 - 905, presented at 2011 48th ACM/EDAC/IEEE Design Automation Conference, DAC 2011, San Diego, CA, United States, 05 June 2011 - 09 June 2011
2011
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, pp. 1 - 5, presented at APSys'11: 2nd ACM SIGOPS Asia-Pacific Workshop on Systems, Shanghai, China, 11 July 2011 - 12 July 2011, http://dx.doi.org/10.1145/2103799.2103809
2011
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 2010, Boston, MA, USA, 14 June 2010 - 17 June 2010, http://www.usenix.org/events/atc10/tech/
2010
Lesueur E; Heiser GA, 2010, 'Dynamic Voltage and Frequency Scaling: The Laws of Diminishing Returns', in Dynamic Voltage and Frequency Scaling: The Laws of Diminishing Returns, ACM Digital Library, Vancouver, Canada, presented at HotPower, Vancouver, Canada, 03 October 2010, http://www.ertos.nicta.com.au/publications/papers/LeSueur_Heiser_10.abstract
2010
Ryzhyk L; Keys J; Mirla B; Raghunath A; Vij M; Heiser GA, 2010, 'Improvded device driver reliability through verification reuse', in Proceedings of the Sixth international conference on Hot topics in system dependability, ACM, ACM digital library, pp. 1 - 6, presented at Sixth workshop on hot topics in system dependability, Vancouver, BC, Canada, 03 October 2010, http://portal.acm.org/citation.cfm?id=1924908.1924913
2010
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, pp. 3 - 9, Chicago, IL, 04 October 2010 - 08 October 2010, http://dx.doi.org/10.1145/1867635.1867638
2010
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, pp. 115 - 119, presented at APSys2010: 1st ACM Asia-Pacific Workshop on Systems, New Delhi, India, 30 August 2010, http://dx.doi.org/10.1145/1925861.1925880
2010
Lesueur E; Heiser GA, 2010, 'Slow down or sleep, that is the question', in Proceedings of the 2011 USENIX Annual Technical Conference, ISBN 978931971850, USENIX Association, Portland, OR, USA, pp. 217 - 222, presented at USENIX Annual Technical Conference 2011, Portland, OR, USA, 14 June 2010 - 17 June 2010, http://www.usenix.org/event/atc11/tech/final_files/atc11_proceedings.pdf
2010
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, pp. 25 - 29, presented at APSys2010: 1st ACM Asia-Pacific Workshop on Systems, New Delhi, India, 30 August 2010, http://dx.doi.org/10.1145/1851276.1851283
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, pp. 19 - 24, presented at APSys2010: 1st ACM Asia-Pacific Workshop on Systems, New Delhi, India, 30 August 2010, http://dx.doi.org/10.1145/1851276.1851282
2010
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, pp. 289 - 302, presented at 4th ACM European Conference on Computer Systems, EuroSys`09, Nuremberg Germany, 01 April 2009 - 03 April 2009, http://dx.doi.org/10.1145/1519065.1519097
2009
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, pp. 207 - 220, presented at SOSP, Big Sky, Montana, USA, 11 October 2009 - 14 October 2009, http://dx.doi.org/10.1145/1629575.1629596
2009
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, http://dx.doi.org/10.1109/CCNC.2009.4784922
2009
Heiser G, 2009, 'Trusted ← trustworthy ← proof position paper', in Future of Trust in Computing: Proceedings of the First International Conference Future of Trust in Computing 2008: With 58 Illustrations, pp. 55 - 59, presented at Future of Trust in Computing: Proceedings of the First International Conference Future of Trust in Computing 2008: With 58 Illustrations, http://dx.doi.org/10.1007/978-3-8348-9324-6_6
2009
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, pp. 349 - 362, presented at 2009 USENIX Annual Technical Conference, San Diego, CA, USA, 14 June 2009 - 19 June 2009, http://unsworks.unsw.edu.au/vital/access/manager/Repository/unsworks:4393
2009
Ryzhyk L; Kuz I; Heiser GA, 2008, 'Formalising device driver interfaces', in 4th workshop on programming languages and operating systems, Stevenson, WA, USA, presented at 4th workshop on programming languages and operating systems, Stevenson, WA, USA, 18 October 2008, http://dx.doi.org/10.1145/1376789.1376803
2008
Vasseur JL; Uhlig V; Yang Y; Chapman M; Chubb P; Leslie B; Heiser G, 2008, 'Pre-virtualization: Soft layering for virtual machines', in 13th IEEE Asia-Pacific Computer Systems Architecture Conference, ACSAC 2008, http://dx.doi.org/10.1109/APCSAC.2008.4625458
2008
Heiser G, 2008, 'The role of virtualization in embedded systems', in IIES 2008 - Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems, pp. 11 - 16, http://dx.doi.org/10.1145/1435458.1435461
2008
Elphinstone KJ; Roscoe T; Heiser GA, 2007, 'Hype and Virtue', in 11th Workshop on Hot Topics in Operating Systems Proceedings - HotOS X1, 11th workshop on hot topics in operating systems proceedings - HotOS X1, San Diego, Californa, USA, presented at 11th workshop on hot topics in operating systems proceedings - HotOS X1, San Diego, Californa, USA, 07 May 2007 - 09 May 2007
2007
Snowdon DC; Petters S; Heiser GA; Van Der Linden GM, 2007, 'Accurate run-time prediction of performance degradation under frequency scaling', in National ICT Australia Technical Reports, OSPERT 2007 workshop on operating systems platforms for embedded real-time applications, Pisa, Italy, presented at OSPERT 2007 workshop on operating systems platforms for embedded real-time applications, Pisa, Italy, 03 June 2007
2007
Zadarnowski P; Petters S; Heiser GA, 2007, 'Measurements or static analysis or both?', in 7th Workshop on worst-case execution-time analysis, Pisa, Italy, presented at 7th Workshop on worst-case execution-time analysis, Pisa, Italy, 03 June 2007
2007
Baumann AA; Appavoo J; Wisniewski RW; Da Silva D; Krieger O; Heiser GA, 2007, 'Reboots are for hardware: challenges and solutions to updating an operating system on the fly', in 2007 USENIX annual technical conference, USENIX ASSOC, Santa Clara, CA, USA, pp. 337 - 350, presented at USENIX annual technical conference 2007, Santa Clara, CA, USA, 17 June 2007 - 22 June 2007, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000252484300026&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
2007
Elphinstone KJ; Klein G; Derrin PG; Roscoe T; Heiser GA, 2007, 'Towards a practical, verified kernel', in 11th Workshop on Hot Topics in Operating Systems Proceedings - HotOS X1, 11th workshop on hot topics in operating systems proceedings - HotOS X1, San Diego, Californa, USA, presented at 11th workshop on hot topics in operating systems proceedings - HotOS X1, San Diego, Californa, USA, 07 May 2007 - 09 May 2007
2007
Snowdon DC; Petters SM; Heiser G, 2007, 'Accurate on-line prediction of processor and memoryenergy usage under voltage scaling', in EMSOFT'07: Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software, pp. 84 - 93, http://dx.doi.org/10.1145/1289927.1289945
2007
van Schaik C; Heiser GA, 2007, 'High-performance microkernels and virtualisation on ARM and segmented architectures', in National ICT Australia Technical Reports, 1st international workshop on microkernels for embedded systems MIKES 2007, Sydney, presented at 1st international workshop on microkernels for embedded systems MIKES 2007, Sydney, 16 January 2007
2007
Baumann AA; Heiser GA; Appavoo J; Da Silva D; Krieger O; Wisniewski RW; Kerr J, 2005, 'Providing dynamic update in an operating system', in 2005 USENIX annual technical conference, USENIX ASSOC, Anaheim, California, pp. 279 - 291, presented at USENIX annual technical conference 2005, Anaheim, California, 10 April 2005 - 15 April 2005, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000229734000020&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
2005
Tuch H; Klein G; Heiser GA, 2005, 'OS verification - now!', in 10th workshop on hot topics in operating systems, 10th workshop on hot topics in operating systems, Santa Fe, NM, USA, presented at 10th workshop on hot topics in operating systems, Santa Fe, NM, USA, 12 June 2005 - 15 June 2005
2005
Chapman M; Heiser GA, 2005, 'Implementing transparent shared memory on clusters using virtual machines', in 2005 USENIX annual technical conference, USENIX ASSOC, Anaheim, California, pp. 383 - 386, presented at USENIX annual technical conference 2005, Anaheim, California, 10 April 2005 - 15 April 2005, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000229734000032&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
2005
Gray CE; Chapman M; Mosberger-Tang D; Heiser GA; Chubb P, 2005, 'Itanium - a system implementor`s tale', in 2005 USENIX annual technical conference, USENIX ASSOC, Anaheim, California, pp. 265 - 278, presented at USENIX annual technical conference 2005, Anaheim, California, 10 April 2005 - 15 April 2005, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000229734000019&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
2005
Leslie BJ; Fitzroy-Dale NJ; Heiser GA, 2004, 'Encapsulated User-Level Device Drivers in the Mungi Operating System', in 1st International Workshop on Object Systems and Software Architectures, 1st International Workshop on Object Systems and Software Architectures, Victor Harbour, South Australia, presented at 1st International Workshop on Object Systems and Software Architectures, Victor Harbour, South Australia, 11 January 2004 - 14 January 2004
2004
Potts DP; Gray CE; Leslie BJ; Heiser GA, 2004, 'A Secure, Language Independent, High Performance Component Interface', in 1st International Workshop on Object Systems and Software Architectures, 1st International Workshop on Object Systems and Software Architectures, Victor Harbour, South Australia, presented at 1st International Workshop on Object Systems and Software Architectures, Victor Harbour, South Australia, 11 January 2004 - 14 January 2004
2004
Engel F; Heiser GA; Mumford P; Parkinson KJ, 2004, 'An Open GNSS Receiver Platfrm Architecture', in Journal of Global Positioning Systems, Electronic, CPGPS, P R China, presented at International Symposium on GNSS/GPS 2004, Sydney, 06 December 2004 - 08 December 2004
2004
Szmajda C; Heiser GA, 2003, 'Variable Radix Page Table: A Page for Modern Architecture', in 8th Asia-Pacific Conference, ACSAC 2003, 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, pp. 291 - 304, presented at 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, 23 September 2003 - 26 September 2003
2003
Wiggins AG; Tuch H; Uhlig V; Heiser GA, 2003, 'Implementation of Fast Address-Space Switching and TLB Sharing on the Strong ARM Processor', in 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, pp. 352 - 364, presented at 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, 23 September 2003 - 26 September 2003
2003
Wiggins AG; Winwood SJ; Tuch H; Heiser GA, 2003, 'Legba: Fast Hardware Support for Fine-Grained Protection', in 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, pp. 320 - 336, presented at 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, 23 September 2003 - 26 September 2003
2003
Stephens S; Heiser G, 2002, 'Fault tolerance and avoidance in biomedical systems', in Proceedings of the 10th Workshop on ACM SIGOPS European Workshop, EW 10, pp. 198 - 200, http://dx.doi.org/10.1145/1133373.1133413
2002
Edwards A; Heiser G, 2001, 'Secure OS extensibility needn't cost an arm and a leg', in Proceedings of the Workshop on Hot Topics in Operating Systems - HOTOS, pp. 168
2001
Edwards A; Heiser GA, 2001, 'Position Summary: Secure OS Extensibiliy Needn`t Cost an Arm and a Leg', in Denise Williams A (ed.), 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII), IEEE COMPUTER SOC, Elmau, Germany, pp. 168 - 168, presented at 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII), Elmau, Germany, 20 May 2001, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000175369700032&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
2001
Heiser GA; Edwards A, 2001, 'Components + Security = OS Extensibility', in 6th Australasian Computer Systems Architecture Conference, Gold Coast, Qld, pp. 27 - 34, presented at 6th Australasian Computer Systems Architecture Conference, Gold Coast, Qld, 29 January 2001 - 30 January 2001, http://dx.doi.org/10.1109/ACAC.2001.903351
2001
Altermatt P; Schmit JT; Kerr M; Heiser GA; Aberle AG, 2000, 'Exciton-enhanced auger recombination in crystalline silicon under intermediate and high injection conditions', in Scheer H; McNelis B; Ossenbrink H; Dunlop E; Helm P (eds.), 16th European Photovoltaic Solar Energy Conference and Exhibition, 16th European Photovoltaic Solar Energy Conference and Exhibition, Glasgow, Scotland, pp. CD-Rom, presented at 16th European Photovoltaic Solar Energy Conference and Exhibition, Glasgow, Scotland, 01 May 2000 - 05 May 2000
2000
Altermatt P; Schumacher JJ; Cuevas A; Glunz S; King RL; Heiser GA; Schenk A, 2000, 'The extraction of the surface recombination velocity of Si:P emitters using advanced silicon models', in Scheer H; McNelis B; Ossenbrink H; Dunlop E; Helm P (eds.), 16th European Photovoltaic Solar Energy Conference and Exhibition, 16th European Photovoltaic Solar Energy Conference and Exhibition, Glasgow, Scotland, pp. CD-Rom, presented at 16th European Photovoltaic Solar Energy Conference and Exhibition, Glasgow, Scotland, 01 May 2000 - 05 May 2000
2000
Corkish RP; Altermatt P; Heiser GA, 2000, 'Simulating electron-beam-induced current across p-n junctions', in Scheer H; McNelis B; Ossenbrink H; Dunlop E; Helm P (eds.), 16th European Photovoltaic Solar Energy Conference and Exhibition, 16th European Photovoltaic Solar Energy Conference and Exhibition, Glasgow, Scotland, pp. CD-Rom, presented at 16th European Photovoltaic Solar Energy Conference and Exhibition, Glasgow, Scotland, 01 May 2000 - 05 May 2000
2000
Wiggins AG; Heiser GA, 2000, 'Fast Address-Space Switching on the StrongARM SA-1100 Processor', in 5th Australasian Computer Architecture Conference, Canberra, pp. 97 - 104, presented at 5th Australasian Computer Architecture Conference, Canberra, 03 January 2000, http://dx.doi.org/10.1109/ACAC.2000.824330
2000
McIntosh KR; Altermatt P; Heiser GA, 2000, 'Depletion-region recombination in silicon solar cells. When does mDR = 2?', in Scheer H; McNelis B; Ossenbrink H; Dunlop E; Helm P (eds.), 16th European Photovoltaic Solar Energy Conference and Exhibition, 16th European Photovoltaic Solar Energy Conference and Exhibition, Glasgow, Scotland, pp. CD-Rom, presented at 16th European Photovoltaic Solar Energy Conference and Exhibition, Glasgow, Scotland, 01 May 2000 - 05 May 2000
2000
Deller L; Heiser GA, 1999, 'Linking Programs in Mungi', in 22nd Australasian Computer Science Conference, 22nd Australasian Computer Science Conference, Auckland, New Zealand, presented at 22nd Australasian Computer Science Conference, Auckland, New Zealand, 18 January 1999 - 21 January 1999
1999
Deller L; Heiser GA, 1999, 'Linking Programs in a Single Address Space', in Avi Rubin (ed.), USENIX Annual Technical Conference 1999, USENIX ASSOC, Monterey, California, pp. 283 - 294, presented at USENIX Annual Technical Conference 1999, Monterey, California, 06 June 1999 - 11 June 1999, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000081877500021&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
1999
Schumacher JJ; Altermatt PP; Heiser GA, 1999, 'Application of an improved band gap narrowing model to the numerical simulation of recombination properties of phosphorus doped silicon emitters', in Tadashi Saitoh (ed.), 11th Photovoltaic Science and Engineering Conference, 11th Photovoltaic Science and Engineering Conference, Sapporo, Japan, pp. 289 - 290, presented at 11th Photovoltaic Science and Engineering Conference, Sapporo, Japan, 21 September 1999 - 24 September 1999
1999
Heiser GA; Altermatt PP, 1999, 'Numerical simulation of electron-beam-induced current Near a Silicon Grain Boundary and Impact of a pn-junction space charge region', in Tadashi Saitoh (ed.), 11th Photovoltaic Science and Engineering Conference, 11th Photovoltaic Science and Engineering Conference, Sapporo, Japan, pp. 289 - 290, presented at 11th Photovoltaic Science and Engineering Conference, Sapporo, Japan, 21 September 1999 - 24 September 1999
1999
Altermatt P; Schenk A; Heiser GA; Green MA, 1999, 'The influence of a new bandgap narrowing model on measurements of the intrinsic carrier density in crystalline silicon', in 11th International photovoltaic science and engineering conference, 11th International photovoltaic science and engineering conference, Hokkaido, Japan, presented at 11th International photovoltaic science and engineering conference, Hokkaido, Japan, 20 September 1999 - 24 September 1999
1999
Elpinstone K; Heiser GA; Liedtke J, 1999, 'Page Tables for 64-bit Computer Systems', in 4th Australasian Computer Architecture Conference, 4th Australasian Computer Architecture Conference, Auckland, New Zealand, presented at 4th Australasian Computer Architecture Conference, Auckland, New Zealand, 18 January 1999 - 21 January 1999
1999
Schumacher JJ; Altermatt P; Heiser GA; Aberle AG, 1999, 'Application of a new bandgap narrowing model to the numerical simulation of saturation current densities of phosphorus doped silicon emitters', in 11th International photovoltaic science and engineering conference, 11th International photovoltaic science and engineering conference, Hokkaido, Japan, presented at 11th International photovoltaic science and engineering conference, Hokkaido, Japan, 20 September 1999 - 24 September 1999
1999
Altermatt P; Sinton R; Heiser GA, 1999, 'Improvements in numerical modelling of highly injected crystalline silicon solar cells', in 11th International photovoltaic science and engineering conference, Hokkaido, Japan, pp. 149 - 155, presented at 11th International photovoltaic science and engineering conference, Hokkaido, Japan, 20 September 1999 - 24 September 1999, http://dx.doi.org/10.1016/S0927-0248(00)00089-1
1999
Deller L; Heiser G, 1999, 'Linking programs in a single address space', in Proceedings of the 1999 USENIX Annual Technical Conference
1999
Heiser GA; Lam F; Russell SM; Lam F, 1998, 'Resource Management in the Mungi Single-Address-Space Operating System', in McDonald C (ed.), 21st Australasian Computer Science Conference, SPRINGER-VERLAG SINGAPORE PTE LTD, University of Western Australia, Perth, pp. 417 - 428, presented at 21st Australasian Computer Science Conference, University of Western Australia, Perth, 04 February 1998 - 06 February 1998, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000085491900035&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
1998
Corkish RP; Sproul AB; Puzzer T; Altermatt P; Heiser GA; Luke KL, 1998, 'Quantitative analysis of electron-beam-induced-current profiles of grain boundariesin multicrystalline solar cells', in Schmid J (ed.), Photovoltaic Solar Conversion, 2nd World Conference On Solar Energy Conversion, Vienna, Austria, pp. 1298 - 1301, presented at 2nd World Conference On Solar Energy Conversion, Vienna, Austria
1998
Liedtke J; Elphinstone KJ; Schonberg S; Hartig H; Heiser GA; Islam N; Jaeger T, 1997, 'Achieved IPC Performance (Still the Foundation for Efficiency)', in 6th Workshop on Hot Topics in Operating Systems (HotOS), I E E E, COMPUTER SOC PRESS, Cape Cod, MA, USA, pp. 28 - 31, presented at 6th Workshop on Hot Topics in Operating Systems (HotOS), Cape Cod, MA, USA, http://dx.doi.org/10.1109/HOTOS.1997.595177
1997
Liedtke J; Elphinstone K; Schonberg S; Hartig H; Heiser G; Islam N; Jaeger T, 1997, 'Achieved IPC performance', in Proceedings of the Workshop on Hot Topics in Operating Systems - HOTOS, pp. 28 - 31
1997
Corkish RP; Puzzer T; Sproul AB; Luke KL; Heiser GA, 1997, 'Electron-Beam-Induced Current Studies of Grain Boundaries in Solar Cells', in ANZSES Solar 1997: Sustainable Energy, ANZSES Solar `97: Sustainable Energy, Canberra, Australian National University, presented at ANZSES Solar `97: Sustainable Energy, Canberra, Australian National University, 01 December 1997 - 03 December 1997
1997
Elphinstone KJ; Russell SM; Heiser GA; Liedtke J, 1997, 'Supporting Persistent Object Systems in a Single Address Space', in Connor R; Nettles S (ed.), 7th International Workshop on Persistent Object Systems, MORGAN KAUFMANN PUB INC, San Francisco, California USA, pp. 111 - 119, presented at 7th International Workshop on Persistent Object Systems, San Francisco, California USA, 29 May 1997 - 31 May 1997, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:A1997BJ19K00010&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
1997
Altermatt P; Heiser GA; Kiesewetter TF; McIntosh KR; Honsberg C; Wenham SR; Green MA, 1997, 'Establishing an Accurate Numerical Model for the 2D Simulation of Buried Contact Cells', in Meakin JD (ed.), IEEE 1997: 26th Photovoltaic Specialists Converence, Anaheim, California, pp. 179 - 182, presented at IEEE 1997: 26th Photovoltaic Specialists Converence, Anaheim, California, 29 September 1997 - 03 October 1997
1997
Kuhlman B; Grauvogi M; Meyer RG; Hezel R; Heiser GA; Aberle AG, 1997, 'Fill Factor Losses in Inversion-layer Silicon Solar Cells due to Current Crowding Effects below the MIS Contact', in Ossenbrink HA (ed.), 14th IEEE Photovoltaic Solar Energy Conference, 14th IEEE Photovoltaic Solar Energy Conference, Barcelona, Spain, pp. 2465 - 2468, presented at 14th IEEE Photovoltaic Solar Energy Conference, Barcelona, Spain, 30 June 1997 - 04 July 1997
1997
Kuhlmann B; Aberle AG; Hezel R; Heiser GA, 1997, 'Characterisation and Optimisation of the Al/SiOx/p-Si MIS Contact in MIS-IL Silicon Solar Cells', in Meakin JD (ed.), IEEE 1997: 26th Photovoltaic Specialists Converence, IEEE 1997: 26th Photovoltaic Specialists Converence, Anaheim, California, pp. 79 - 82, presented at IEEE 1997: 26th Photovoltaic Specialists Converence, Anaheim, California, 29 September 1997 - 03 October 1997
1997
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', in Solar Energy Materials and Solar Cells, Elsevier Science BV, pp. 3 - 17, http://dx.doi.org/10.1016/0927-0248(95)00116-6
1996
Vochteloo J; Elphinstone KJ; Russell SJ; Heiser GA, 1996, 'Protection domain extensions in Mungi', in International Workshop on Object Orientation in Operating Systems 1996, Seattle, Washington, USA, pp. 161 - 165, presented at International Workshop on Object Orientation in Operating Systems 1996, Seattle, Washington, USA
1996
Ouyang J; Heiser GA, 1996, 'LIBRA: a library for reliable distributed applications', in International Conference on Parallel and Distributed Processing Techniques and s, International Conference on Parallel and Distributed Processing Techniques and Applications 1996, Sunnyvale, CA, USA, presented at International Conference on Parallel and Distributed Processing Techniques and Applications 1996, Sunnyvale, CA, USA
1996
Sproul AB; Edminston SA; Puzzer T; Heiser GA; Wenham SR; Green MA; Young TR, 1996, 'Grain boundary modelling and characterization of thin-film silicon solar cell', in Photovoltaic Specialists Conference, Washington DC, USA, pp. 549 - 552, presented at Photovoltaic Specialists Conference, Washington DC, USA, 13 May 1996 - 17 May 1996
1996
Heiser GA; Altermatt P; Williams A; Sproul AB; Green MA, 1995, 'Optimisation of rear contact geometry of high efficiency silicon solar cells using three dimensional numerical modelling', in European Photovolt Solar Energy Conference 1995, European Photovolt Solar Energy Conference 1995, Nice, France, presented at European Photovolt Solar Energy Conference 1995, Nice, France, 23 October 1995 - 27 October 1995
1995
Heiser GA; Altermatt P; Litsios J, 1995, 'Combining 2D and 3D device simulation with circuit simulation for optimising high-efficiency silicon solar cells', in International Conference on Simulation of Semi Conductor Devices and Processes, International Conference on Simulation of Semi Conductor Devices and Processes, Erlangen Germany, presented at International Conference on Simulation of Semi Conductor Devices and Processes, Erlangen Germany
1995
Ouyang J; Heiser GA, 1995, 'Checkpointing and recovery for distributed shared memory applications', in International Workshop on Object Orientation in Operating Systems 1995, Lund Sweden, pp. 191 - 199, presented at International Workshop on Object Orientation in Operating Systems 1995, Lund Sweden
1995
Altermatt P; Heiser GA; Zhao J; Wang AL; Wenham SR; Green MA, 1995, 'Analysis and minimisation of resistive losses in high-efficiency Si solar cells by combining measurements with numerical modelling', in European Photovolt Solar Energy Conference 1996, European Photovolt Solar Energy Conference 1996, Nice, France, presented at European Photovolt Solar Energy Conference 1996, Nice, France, 23 October 1995
1995
Wenham SR; Green MA; Edmiston S; Campbell P; Koschier L; Honsberg CB; Sproul AB; Thorpe D; Shi Z; Heiser G, 1994, 'Limits to the efficiency of silicon multilayer thin film solar cells', in Conference Record of the IEEE Photovoltaic Specialists Conference, pp. 1234 - 1241
1994
Heiser G; Aberle AG, 1994, 'Numerical modelling of non-ideal current-voltage characteristics of high-efficiency silicon solar cells', in 1994 International Workshop on Numerical Modeling of Processes and Devices for Integrated Circuits, NUPAD 1994, pp. 177 - 180, http://dx.doi.org/10.1109/NUPAD.1994.343463
1994
ABERLE AG; GREEN MA; HEISER G, 1993, '2-DIMENSIONAL MINORITY CARRIER FLOW IN HIGH-EFFICIENCY SILICON SOLAR CELLS AT SHORT-CIRCUIT, OPEN-CIRCUIT AND MAXIMUM POWER POINT OPERATING CONDITIONS', in 7TH INTERNATIONAL PHOTOVOLTAIC SCIENCE AND ENGINEERING CONFERENCE, TECHNICAL DIGEST, INTERNATIONAL PVSEC-7, NAGOYA, JAPAN, pp. 543 - 544, presented at 7th International Photovoltaic Science and Engineering Conference (PVSEC-7), NAGOYA, JAPAN, 22 November 1993 - 26 November 1993, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:A1993BB94Z00191&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
1993
Vochteloo J; Russell S; Heiser G, 1993, 'Capability-based protection in the mungi operating system', in Proceedings - 3rd International Workshop on Object Orientation in Operating Systems, IWOOOS 1993, pp. 108 - 115, http://dx.doi.org/10.1109/IWOOOS.1993.324922
1993
Russell S; Skea A; Elphinstone K; Heiser G; Burston K; Gorton I; Hellestrand G, 1992, 'Distribution + persistence = global virtual memory', in Proceedings - 2nd International Workshop on Object Orientation in Operating Systems, IWOOOS 1992, pp. 96 - 99, http://dx.doi.org/10.1109/IWOOOS.1992.252993
1992
Burgler J; Conti P; Heiser G; Paschedag S; Fichtner W, 1989, 'Three-dimensional simulation of complex semiconductor device structures', in Three-dimensional simulation of complex semiconductor device structures, pp. 106 - 110
1989
Book Chapters
add
Edmiston SA; Heiser G; Sproul AB; Green MA, 2018, 'Improved Modelling of Grain Boundary Recombination in Bulk and p–n Junction Regions of Polycrystalline Silicon Solar Cells', in Renewable Energy, Routledge, pp. 92 - 113, http://dx.doi.org/10.4324/9781315793245-48
2018
Kirksey E, 2015, 'Forward', in Macleod J (ed.), Merdeka and the Morning Star Civil Resistance in West Papua, Univ. of Queensland Press
2015
Petters S; Elphinstone KJ; Heiser GA, 2012, 'Trustworthy Real-Time Systems', in Chakraborty S; Eberspächer J (ed.), Advances in Real-Time Systems, Springer, Heidelberg, Germany, pp. 191 - 206, http://dx.doi.org/10.1007/978-3-642-24349-3_9
2012
Heiser G; Aberle AG; Wenham SR; Green MA, 1993, 'Two-Dimensional Numerical Simulations of High Efficiency Silicon Solar Cells', in Simulation of Semiconductor Devices and Processes, Springer Vienna, pp. 389 - 392, http://dx.doi.org/10.1007/978-3-7091-6657-4_96
1993
Reports
add
Heiser G; Kono K; Park K; Van Renesse R, 2016, Report on the Asia-Pacific systems workshop 2015 (APSys'15), http://dx.doi.org/10.1145/2903267.2903269
2016
Conference Proceedings (Editor of)
add
Heiser GA, (ed.), 2000, '5th Australasian Computer Architecture Conference', Canberra, presented at 5th Australasian Computer Architecture Conference, Canberra, 03 January 2000
2000
Working Papers
add
Kouwe EVD; Andriesse D; Bos H; Giuffrida C; Heiser G, Benchmarking Crimes: An Emerging Threat in Systems Security, http://dx.doi.org, http://arxiv.org/abs/1801.02381v1