Scientia Professor Gernot   Heiser
Professor

Scientia Professor Gernot Heiser

  • BSc'82 physics (Freiburg)
  • MSc'84 physics (Brock)
  • PhD'91 computer engineering (ETH Zurich)
Engineering
Sch: Computer Science & Eng

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.

Phone
+61-2-9065-5346
Location
Level 3, K17 Building

Publications

  • Book Chapters | 2018
    Scientia Professor Gernot Heiser
    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
    Book Chapters | 2015
    Scientia Professor Gernot Heiser
    Kirksey E, 2015, 'Forward', in Macleod J (ed.), Merdeka and the Morning Star Civil Resistance in West Papua, Univ. of Queensland Press
    Book Chapters | 2012
    Scientia Professor Gernot Heiser
    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
    Book Chapters | 1993
    Scientia Professor Gernot Heiser
    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
  • Journal articles | 2020
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2020
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2020
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2018
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2018
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2018
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2018
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2018
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2017
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2017
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2016
    Scientia Professor Gernot Heiser
    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 | 2016
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2016
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2016
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2014
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2014
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2012
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2011
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2010
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2010
    Scientia Professor Gernot Heiser
    Heiser G, 2010, 'Virtualizing embedded linux', Electronics World, vol. 116, pp. 34 - 37
    Journal articles | 2010
    Scientia Professor Gernot Heiser
    Heiser G, 2010, 'Security and mobility the future is now', Electronics World, vol. 116, pp. 31 - 32
    Journal articles | 2010
    Scientia Professor Gernot Heiser
    Heiser G, 2010, 'Virtualizing embedded linux', Electronics World, vol. 116, pp. 34 - 37
    Journal articles | 2007
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2007
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2007
    Scientia Professor Gernot Heiser
    Heiser G, 2007, 'Mobile maladies [4]', Scientific American, vol. 296, pp. 14
    Journal articles | 2006
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2006
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2006
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2005
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2004
    Scientia Professor Gernot Heiser
    Rizos C; Mumford P; Parkinson KJ; Engel F; Heiser GA, 2004, 'An open GNSS receiver platform architecture', Positioning, vol. 3, pp. 63 - 69
    Journal articles | 2003
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2002
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2002
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2002
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2002
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2001
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2001
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2001
    Scientia Professor Gernot Heiser
    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
    Journal articles | 2000
    Scientia Professor Gernot Heiser
    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
    Journal articles | 1998
    Scientia Professor Gernot Heiser
    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
    Journal articles | 1998
    Scientia Professor Gernot Heiser
    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
    Journal articles | 1997
    Scientia Professor Gernot Heiser
    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
    Journal articles | 1997
    Scientia Professor Gernot Heiser
    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
    Journal articles | 1996
    Scientia Professor Gernot Heiser
    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
    Journal articles | 1996
    Scientia Professor Gernot Heiser
    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
    Journal articles | 1996
    Scientia Professor Gernot Heiser
    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
    Journal articles | 1996
    Scientia Professor Gernot Heiser
    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
    Journal articles | 1995
    Scientia Professor Gernot Heiser
    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
    Journal articles | 1995
    Scientia Professor Gernot Heiser
    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
    Journal articles | 1995
    Scientia Professor Gernot Heiser
    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
    Journal articles | 1994
    Scientia Professor Gernot Heiser
    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
    Journal articles | 1994
    Scientia Professor Gernot Heiser
    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
    Journal articles | 1994
    Scientia Professor Gernot Heiser
    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
    Journal articles | 1994
    Scientia Professor Gernot Heiser
    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
    Journal articles | 1991
    Scientia Professor Gernot Heiser
    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
    Journal articles | 1986
    Scientia Professor Gernot Heiser
    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
    Journal articles |
    Scientia Professor Gernot Heiser
    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
    Journal articles |
    Scientia Professor Gernot Heiser
    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
  • Reports | 2016
    Scientia Professor Gernot Heiser
    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
  • Conference Papers | 2019
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2019
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2019
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2019
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2019
    Scientia Professor Gernot Heiser
    Chapman M; Heiser G, 2019, 'VNUMA: A virtual shared-memory multiprocessor', in Proceedings of the 2009 USENIX Annual Technical Conference, pp. 15 - 28
    Conference Papers | 2019
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2018
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2018
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2018
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2017
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2017
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2016
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2016
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2016
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2015
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2015
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2015
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2014
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2014
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2014
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2014
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2014
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2014
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2013
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2013
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2013
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2013
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2013
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2013
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2013
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2013
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2013
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2013
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2013
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2012
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2012
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2011
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2011
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2011
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2011
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2011
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2011
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2011
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2011
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2010
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2010
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2010
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2010
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2010
    Scientia Professor Gernot Heiser
    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/
    Conference Papers | 2010
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2010
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2010
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2009
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2009
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2009
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2009
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2009
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2008
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2008
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2008
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2007
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2007
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2007
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2007
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2007
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2007
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2007
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2005
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2005
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2005
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2005
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2004
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2004
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2004
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2003
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2003
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2003
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2002
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2001
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2001
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2001
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2000
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2000
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2000
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2000
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 2000
    Scientia Professor Gernot Heiser
    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
    Conference Proceedings (Editor of) | 2000
    Scientia Professor Gernot Heiser
    Heiser GA, (ed.), 2000, '5th Australasian Computer Architecture Conference', Canberra, presented at 5th Australasian Computer Architecture Conference, Canberra, 03 January 2000
    Conference Papers | 1999
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1999
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1999
    Scientia Professor Gernot Heiser
    Deller L; Heiser G, 1999, 'Linking programs in a single address space', in Proceedings of the 1999 USENIX Annual Technical Conference
    Conference Papers | 1999
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1999
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1999
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1999
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1999
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1999
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1998
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1998
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1997
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1997
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1997
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1997
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1997
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1997
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1997
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1996
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1996
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1996
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1996
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1995
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1995
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1995
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1995
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1994
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1994
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1993
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1993
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1992
    Scientia Professor Gernot Heiser
    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
    Conference Papers | 1989
    Scientia Professor Gernot Heiser
    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
    Working Papers |
    Scientia Professor Gernot Heiser
    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

Awards

Grants

Media