| 词条 | Gernot Heiser |
| 释义 |
| name = Gernot Heiser | native_name = | native_name_lang = | image = Gernot_Heiser.jpg | image_size = 150px | alt = | caption = Gernot Heiser | birth_date = {{Birth year and age|1957}} | birth_place = | death_date = | death_place = | death_cause = | resting_place = | resting_place_coordinates = | other_names = | residence = | citizenship = | nationality = German, Australian | fields = | workplaces = University of New South Wales (Scientia Professor and John Lions Chair of Operating Systems) NICTA (research group leader) Open Kernel Labs (Founder and former CTO and Director) | patrons = | education = | alma_mater = | thesis_title = | thesis_url = | thesis_year = | doctoral_advisor = | academic_advisors = | doctoral_students = | notable_students = | known_for = Operating Systems teaching, research and commercialisation | influences = | influenced = | awards = ACM Fellow (2014) | author_abbrev_bot = | author_abbrev_zoo = | spouse = | partner = | children = | signature = | signature_alt = | website = gernot-heiser.org | footnotes = }} Gernot Heiser (born 1957) is a Scientia Professor and the John Lions Chair for operating systems at the University of New South Wales (UNSW). He is also leader of the Software Systems Research Group (SSRG) at NICTA. In 2006 he co-founded Open Kernel Labs (OK Labs, acquired in 2012 by General Dynamics) to commercialise his L4 microkernel technology. LifeGernot Heiser was born in 1957. He studied physics at the German University of Freiburg, where he earned his BSc, went on to earn his MSc at the Canadian Brock University, and his PhD at the Swiss ETH Zurich. ResearchHeiser's research focuses on microkernels and microkernel-based systems as well as virtual machines, with a specific emphasis on performance and reliability. His group produced the Mungi single address space operating system,[1] aimed at clusters of 64-bit computers, and implementations of the L4 microkernel with very fast inter-process communication.[2] His Gelato@UNSW team was a founding member of the Gelato Federation, and focused on performance and scalability of Linux on Itanium. They established theoretical and practical performance limits of message-passing IPC on Itanium.[3] Since joining NICTA at its creation in 2002, his research shifted away from high-end computing platforms towards embedded systems, with the specific aim of improving security, safety and reliability via the use of microkernel technology.[4] This led to the development of a new microkernel called seL4, and its formal verification, claimed to be the first-ever complete proof of the functional correctness of a general-purpose OS kernel.[5] His work on virtualization was motivated by the need to provide a complete OS environment on his microkernels. His Wombat project followed the approach taken with the L4Linux project at Dresden, but was a multi-architecture paravirtualized Linux running on x86, ARM and MIPS hardware. The Wombat work later formed the basis for the OKL4 hypervisor of his company Open Kernel Labs. The desire to reduce the engineering effort of paravirtualization led to the development of the soft layering approach of automated paravirtulization which was demonstrated on x86 and Itanium hardware.[6] His vNUMA work demonstrated a hypervisor which presents a distributed system as a shared-memory multiprocessor as a possible model for many-core chips with large numbers of processor cores.[7] Device drivers are another focus of his work, including the first demonstration of user-mode drivers with a performance overhead of less than 10%,[8] an approach to driver development that eliminates the majority of typical driver bugs by design,[9] device drivers produced from device test benches,[10] and a demonstration of the feasibility of the automatic generation of device drivers from formal specifications.[11] Recent research also includes power management.[12] In the past he also worked on semiconductor device simulation, where he pioneered the use of multi-dimensional modeling in the optimisation of silicon-based solar cells.[13] Operating system projects
Teaching
Awards
Publications of Note1. ^{{cite journal | author = Heiser, Gernot |author2=Elphinstone, Kevin |author3=Vochteloo, Jerry |author4=Russell, Stephen |author5=Liedtke, Jochen | year = 1998 | title = The Mungi Single-Address-Space Operating System | journal = Software: Practice and Experience | volume = 28 | issue = 9 | pages = 901–928 | pmid = | doi = 10.1002/(SICI)1097-024X(19980725)28:9<901::AID-SPE181>3.0.CO;2-7 | id = | url = | language = | format = | accessdate = | laysummary = | laysource = | laydate = | quote = |citeseerx = 10.1.1.146.4216}} 2. ^{{cite conference | first = Jochen | last = Liedtke | authorlink = Jochen Liedtke |author2=Elphinstone, Kevin |author3=Schönberg, Sebastian |author4=Härtig, Hermann |author5=Heiser, Gernot |author6=Islam, Nayeem |author7= Jaeger, Trent | title = Achieved IPC performance (still the foundation for extensibility) | booktitle = 6th Workshop on Hot Topics in Operating Systems | pages = 28–31 | publisher = IEEE |date=May 1997 | location = Cape Cod, MA, USA | url = http://ieeexplore.ieee.org/xpl/RecentCon.jsp?punumber=4643 | accessdate = | id = }} 3. ^{{cite conference | first = Charles | last = Gray |author2=Chapman, Matthew |author3=Chubb, Peter |author4=Mosberger-Tang, David |author5=Heiser, Gernot | title = Itanium — a system implementor's tale | booktitle = Proceedings of the 2005 USENIX Annual Technical Conference |date=April 2005 | location = Anaheim, CA, USA}} 4. ^{{cite journal | first = Gernot | last = Heiser |author2=Elphinstone, Kevin |author3=Kuz, Ihor |author4=Klein, Gerwin |author5=Petters, Stefan M. | title = Towards trustworthy computing systems: Taking microkernels to the next level | journal = ACM Operating Systems Review | doi = 10.1145/1278901.1278904 |date=July 2007 | volume = 41 | issue = 4| pages = 3–11| url = https://unsworks.unsw.edu.au/fapi/datastream/unsworks:4547/SOURCE1?view=true }} 5. ^{{ cite conference | first = Gerwin | last = Klein |author2=Elphinstone, Kevin |author3=Heiser, Gernot |author4=Andronick, June |author5=Cock, David |author6=Derrin, Philip |author7=Elkaduwe, Dhammika |author8=Engelhardt, Kai |author9=Kolanski, Rafal |author10=Norrish, Michael |author11=Sewell, Thomas |author12=Tuch, Harvey |author13=Winwood, Simon | title = seL4: Formal verification of an OS kernel | booktitle = 22nd ACM Symposium on Operating System Principles | pages = |date=October 2009 | location = Big Sky, MT, USA | doi = | url = http://www.sigops.org/sosp/sosp09/papers/klein-sosp09.pdf}} 6. ^{{ cite conference | first = Joshua |last = LeVasseur |author2=Uhlig, Volkmar |author3=Yang, Yaowei |author4=Chapman, Matthew |author5=Chubb, Peter |author6=Leslie, Ben |author7= Heiser, Gernot | title = Pre-virtualization: Soft layering for virtual machines | booktitle = 13th IEEE Asia-Pacific Computer Systems Architecture Conference |date=August 2008 | location = Hsinchu, Taiwan | doi =}} 7. ^{{ cite conference | first = Matthew |last = Chapman |author2=Heiser, Gernot | title = vNUMA: A virtual shared-memory multiprocessor | booktitle = USENIX Annual Technical Conference |date=June 2009 | location = San Diego, CA, USA | doi =}} 8. ^{{cite journal | first = Ben | last = Leslie |author2=Chubb, Peter |author3=Fitzroy-Dale, Nicholas |author4=Götz, Stefan |author5=Gray, Charles |author6=Macpherson, Luke |author7=Potts, Daniel |author8=Shen, Yueting (Rita) |author9=Elphinstone, Kevin |author10=Heiser, Gernot | title = User-level device drivers: Achieved performance | journal = Journal of Computer Science and Technology | doi = 10.1007/s11390-005-0654-4 |date=September 2005 | volume = 20 | issue = 5| pages = 654–664| citeseerx = 10.1.1.59.6766 }} 9. ^{{ cite conference | first = Leonid | last = Ryzhyk |author2=Chubb, Peter |author3=Kuz, Ihor |author4=Heiser, Gernot | title = Dingo: Taming device drivers | booktitle = 4th EuroSys Conference | pages = |date=April 2009 | location = Nuremberg, Germany | doi = | url = }} 10. ^{{ cite conference | first = Leonid | last = Ryzhyk |author2=Keys, John |author3=Mirla, Balachandra |author4=Raghunath, Arun |author5=Vij, Mona |author6= Heiser, Gernot | title = Improved device driver reliability through hardware verification reuse | booktitle = 16th International Conference on Architectural Support for Programming Languages and Operating Systems | pages = |date=March 2011 | location = Newport Beach, CA, USA | doi = | url = }} 11. ^{{ cite conference | first = Leonid | last = Ryzhyk |author2=Chubb, Peter |author3=Kuz, Ihor |author4=Le Sueur, Etienne |author5=Heiser, Gernot | title = Automatic device driver synthesis with Termite | booktitle = 22nd ACM Symposium on Operating System Principles | pages = |date=October 2009 | location = Big Sky, MT, USA | doi = | url = http://www.sigops.org/sosp/sosp09/papers/ryzhyk-sosp09.pdf}} 12. ^{{ cite conference | first = David C. | last = Snowdon |author2=Le Sueur, Etienne |author3=Petters, Stefan M. |author4=Heiser, Gernot | title = Koala: A platform for OS-level power management | booktitle = 4th EuroSys Conference | pages = |date=April 2009 | location = Nuremberg, Germany | doi = | url = }} 13. ^{{cite journal | first = Armin G | last = Aberle |author2=Altermatt, Pietro P. |author3=Heiser, Gernot |author4=Robinson, Stephen J. |author5=Wang, Aihua |author6=Zhao, Jianhua |author7=Krumbein, Ulrich |author8= Green, Martin A. | title = Limiting loss mechanisms in 23-percent efficient silicon solar cells | journal = Journal of Applied Physics | doi = 10.1063/1.358643 | year = 1995 | volume = 77| pages = 3491–3504 | issue = 7}} 14. ^[https://www.atse.org/content/publications/media-releases-2016-atse-names-25-new-fellows.aspx] 15. ^[https://www.engineering.unsw.edu.au/computer-science-engineering/news/cses-professor-gernot-heiser-named-ict-researcher-of-the-year-2015 ACS ICT Researcher of the Year 2015] 16. ^GERNOT HEISER ACM Fellows 2014 External links
7 : 1957 births|Living people|Australian computer scientists|German computer scientists|Computer systems researchers|University of New South Wales faculty|Fellows of the Australian Academy of Technological Sciences and Engineering |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。