By Scientia Professor Gernot Heiser

Conference Papers

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, presented at Real-Time and Embedded Technology and Applications Symposium, Berlin, 15 April 2014 - 17 April 2014

Carroll A; Heiser GA, 2014, 'Unifying DVFS and offlining in mobile multicores', in Real-Time and Embedded Technology and Applications - Proceedings, Berlin, presented at Real-Time and Embedded Technology and Applications, Berlin, 15 April 2014 - 17 April 2014

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

Carroll A; Heiser G, 2013, 'Mobile multicores: Use them or waste them', in Proceedings of the Workshop on Power Aware Computing and Systems Hotpower 2013, http://dx.doi.org/10.1145/2525526.2525850

Carroll A; Heiser G, 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 Apsys 2013, http://dx.doi.org/10.1145/2500727.2500734

Blackham B; Heiser G, 2013, 'Sequoll: A framework for model checking binaries', in Real Time Technology and Applications Proceedings, pp. 97 - 106, http://dx.doi.org/10.1109/RTAS.2013.6531083

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

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', 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 G; Le Sueur E; Danis A; Budzynowski A; Salomie TL; Alonso G, 2013, 'RapiLog: Reducing system complexity through verification', in Proceedings of the 8th ACM European Conference on Computer Systems Eurosys 2013, pp. 323 - 336, http://dx.doi.org/10.1145/2465351.2465383

Shi Y; Blackham B; Heiser G, 2013, 'Code optimizations using formally verified properties', in Proceedings of the Conference on Object Oriented Programming Systems Languages and Applications OOPSLA, pp. 427 - 441, http://dx.doi.org/10.1145/2509136.2509513

Keller G; Murray T; Amani S; O'Connor L; Chen Z; Ryzhyk L; Klein G; Heiser G, 2013, 'File systems deserve verification too!', in Proceedings of the 7th Workshop on Programming Languages and Operating Systems, PLOS 2013 - In Conjunction with the 24th ACM Symposium on Operating Systems Principles, SOSP 2013, http://dx.doi.org/10.1145/2525528.2525530

Blackham B; Heiser G, 2012, 'Correct, fast, maintainable - Choose any three!', in Proceedings of the Asia Pacific Workshop on Systems Apsys 12, http://dx.doi.org/10.1145/2349896.2349909

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

Blackham B; Shi Y; Heiser G, 2012, 'Improving interrupt response time in a verifiable protected microkernel', in Eurosys 12 Proceedings of the Eurosys 2012 Conference, pp. 323 - 336, 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

Chapman M; Heiser G, 2009, 'VNUMA: A virtual shared-memory multiprocessor', in Proceedings of the 2009 Usenix Annual Technical Conference, pp. 15 - 28

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

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

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

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, Santa Clara, CA, USA, presented at USENIX annual technical conference 2007, Santa Clara, CA, USA, 17 June 2007 - 22 June 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, 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, 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

Back to profile page