Gernot Heiser
Orcid: 0000-0002-7069-0831Affiliations:
- University of New South Wales, Sydney, Australia
According to our database1,
Gernot Heiser
authored at least 119 papers
between 1986 and 2023.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2014, "For contributions demonstrating that provably correct operating systems are feasible and suitable for real-world use.".
IEEE Fellow
IEEE Fellow 2016, "For contributions to security and safety of operating systems".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on twitter.com
-
on orcid.org
-
on id.loc.gov
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
IEEE Trans. Computers, May, 2023
Proceedings of the 12th Workshop on Programming Languages and Operating Systems, 2023
Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture, 2023
Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems.
Proceedings of the Formal Methods - 25th International Symposium, 2023
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2023
Proceedings of the 14th ACM SIGOPS Asia-Pacific Workshop on Systems, 2023
2022
Proceedings of the 8th IEEE World Forum on Internet of Things, 2022
Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, 2022
2021
Microarchitectural Timing Channels and their Prevention on an Open-Source 64-bit RISC-V Core.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
2020
Prevention of Microarchitectural Covert Channels on an Open-Source 64-bit RISC-V Core.
CoRR, 2020
Commun. ACM, 2020
2019
Proceedings of the Workshop on Hot Topics in Operating Systems, 2019
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019
Proceedings of the IEEE European Symposium on Security and Privacy, 2019
Fault Tolerance Through Redundant Execution on COTS Multicores: Exploring Trade-Offs.
Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019
2018
A survey of microarchitectural timing attacks and countermeasures on contemporary hardware.
J. Cryptogr. Eng., 2018
IEEE Des. Test, 2018
Scheduling-context capabilities: a principled, light-weight operating-system mechanism for managing time.
Proceedings of the Thirteenth EuroSys Conference, 2018
Proceedings of the 9th Asia-Pacific Workshop on Systems, 2018
The Jury Is In: Monolithic OS Design Is Flawed: Microkernel-based Designs Improve Security.
Proceedings of the 9th Asia-Pacific Workshop on Systems, 2018
2017
Real Time Syst., 2017
Proceedings of the 9th Workshop on Programming Languages and Operating Systems, 2017
A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4.
Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, September 2, 2017, 2017
2016
ACM Trans. Comput. Syst., 2016
ACM SIGOPS Oper. Syst. Rev., 2016
Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016
Proceedings of the 2016 IEEE International Symposium on High Performance Computer Architecture, 2016
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016
2015
Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015
Proceedings of the 6th Asia-Pacific Workshop on Systems, 2015
2014
ACM Trans. Comput. Syst., 2014
Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014
Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets.
Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014
2013
Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013
Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013
Proceedings of the Eighth Eurosys Conference 2013, 2013
Proceedings of the Asia-Pacific Workshop on Systems, 2013
2012
Proceedings of the European Conference on Computer Systems, 2012
Proceedings of the Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years)., 2012
Proceedings of the Asia-Pacific Workshop on Systems, 2012
Proceedings of the Asia-Pacific Workshop on Systems, 2012
2011
Proceedings of the 2011 USENIX Annual Technical Conference, 2011
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011
Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011
Proceedings of the 48th Design Automation Conference, 2011
Proceedings of the 14th International Conference on Compilers, 2011
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011
2010
Proceedings of the 2010 USENIX Annual Technical Conference, 2010
Proceedings of the 1st ACM SIGCOMM Asia-Pacific Workshop on Systems, 2010
Proceedings of the 1st ACM SIGCOMM Asia-Pacific Workshop on Systems, 2010
Proceedings of the Sixth Workshop on Hot Topics in System Dependability, 2010
Proceedings of the fifth ACM workshop on Scalable trusted computing, 2010
2009
Proceedings of the 2009 USENIX Annual Technical Conference, 2009
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009
Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009
Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009
Proceedings of the 6th IEEE Consumer Communications and Networking Conference, 2009
2008
Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems, 2008
Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, 2008
Proceedings of the 13th Asia-Pacific Computer Systems Architecture Conference, 2008
2007
ACM SIGOPS Oper. Syst. Rev., 2007
J. Syst. Softw., 2007
Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007
Reboots Are for Hardware: Challenges and Solutions to Updating an Operating System on the Fly.
Proceedings of the 2007 USENIX Annual Technical Conference, 2007
Proceedings of the 4th workshop on Programming languages and operating systems, 2007
Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007
Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007
Accurate on-line prediction of processor and memoryenergy usage under voltage scaling.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007
2006
ACM SIGOPS Oper. Syst. Rev., 2006
Proceedings of the 2006 USENIX Annual Technical Conference, Boston, MA, USA, May 30, 2006
2005
Itanium - A System Implementor's Tale(Awarded General Track Best Student Paper Award!).
Proceedings of the 2005 USENIX Annual Technical Conference, 2005
Proceedings of the 2005 USENIX Annual Technical Conference, 2005
Proceedings of the 2005 USENIX Annual Technical Conference, 2005
Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, 2005
2003
Proceedings of the Advances in Computer Systems Architecture, 2003
Implementation of Fast Address-Space Switching and TLB Sharing on the StrongARM Processor.
Proceedings of the Advances in Computer Systems Architecture, 2003
Proceedings of the Advances in Computer Systems Architecture, 2003
2002
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002
2001
Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001
Proceedings of the 6th Australasian Computer Systems Architecture Conference (ACSAC 2001), 2001
2000
Proceedings of the 5th Australasian Computer Architecture Conference (ACAC 2000), 31 January, 2000
1999
Proceedings of the 1999 USENIX Annual Technical Conference, 1999
1998
1997
Proceedings of The Sixth Workshop on Hot Topics in Operating Systems, 1997
1996
Supporting Persistent Object Systems in a Single Address Space.
Proceedings of the 7th Workshop on Persistent Object Systems, 1996
Libra: A Library for Reliable Distributed Applications.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1996
1991
Design and implementation of a three-dimensional, general purpose semiconductor device simulatior.
PhD thesis, 1991
Three-dimensional numerical semiconductor device simulation: algorithms, architectures, results.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1991
1986