By Scientia Professor Gernot Heiser

Conference Papers

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://www.nicta.com.au/pub?id=7044

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

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

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

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

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, presented at 19th IEEE Real-Time and Embedded Technology and Applications Symposium, Philadelphia, USA, 09 April 2013 - 11 April 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

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

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

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

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

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, TAIWAN, Taipei, pp. 3 - 3, presented at 14th Confernece on Compilers, Architectures and Synthesis for Embedded Systems (CASES), TAIWAN, Taipei, 09 October 2011 - 14 October 2011, https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000397432700002&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1

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

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

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

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

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

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

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

Lesueur E; Heiser GA, 2010, '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

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

Fitzroy-Dale NJ; Kuz I; Heiser GA, 2010, 'Architecture Optimisation with Currawong', in APSys 2010: First ACM Asia-Pacific Workshop on Systems, ACM, New York, NY, USA, presented at APSys2010: 1st ACM Asia-Pacific Workshop on Systems, New Delhi, India, 30 August 2010

Ryzhyk L; Zhu Y; Heiser GA, 2010, 'The case for active device drivers', in APSys 2010: First ACM Asia-Pacific Workshop on Systems, ACM, New York, NY, USA, presented at APSys2010: 1st ACM Asia-Pacific Workshop on Systems, New Delhi, India, 30 August 2010

Heiser GA; Leslie BJ, 2010, 'The OKL4 Microvisor: Convergence Point of Microkernels and Hypervisors', in APSys 2010: First ACM Asia-Pacific Workshop on Systems, ACM, New York, NY, USA, 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

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

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/

Heiser G, 2009, 'Trusted ← trustworthy ← proof position paper', pp. 55 - 59, http://dx.doi.org/10.1007/978-3-8348-9324-6_6

Klein G; Elphinstone K; Heiser G; Andronick J; Cock D; Derrin P; Elkaduwe D; Engelhardt K; Kolanski R; Norrish M; Sewell T; Tuch H; Winwood S, 2009, 'seL4: formal verification of an OS kernel', in Proceedings of SOSP`09, ACM, New York, NY, USA, presented at SOSP, Big Sky, Montana, USA, 11 October 2009 - 14 October 2009, http://dx.doi.org/10.1145/1629575.1629596

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

Snowdon DC; Sueur E; Petters S; Heiser GA, 2009, 'Koala a platform for OS-level power management', in PROCEEDINGS OF EUROSYS 2009, ACM, NEW YORK, presented at 4th ACM European Conference on Computer Systems, EuroSys`09, Nuremberg Germany, 01 April 2009 - 03 April 2009, http://portal.acm.org/citation.cfm?id=1519065.1519097

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

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

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

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

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

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

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

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

Elphinstone KJ; Roscoe T; Heiser GA, 2007, 'Hype and Virtue', in 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

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, 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

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

Tuch H; Klein G; Heiser GA, 2005, 'OS verification - now!', in 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

Chapman M; Heiser GA, 2005, 'Implementing transparent shared memory on clusters using virtual machines', in 2005 USENIX annual technical conference, Anaheim, California, presented at USENIX annual technical conference 2005, Anaheim, California, 10 April 2005 - 15 April 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, Anaheim, California, presented at USENIX annual technical conference 2005, Anaheim, California, 10 April 2005 - 15 April 2005

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, Anaheim, California, presented at USENIX annual technical conference 2005, Anaheim, California, 10 April 2005 - 15 April 2005

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

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

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

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, presented at 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, 23 September 2003 - 26 September 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, presented at 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, 23 September 2003 - 26 September 2003

Back to profile page