default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gernot Heiser
@article{DBLP:journals/tc/WistoffSGHB23,
author = {Nils Wistoff and
Moritz Schneider and
Frank K. G{\"{u}}rkaynak and
Gernot Heiser and
Luca Benini},
title = {Systematic Prevention of On-Core Timing Channels by Full Temporal
Partitioning},
journal = {{IEEE} Trans. Computers},
volume = {72},
number = {5},
pages = {1420--1430},
year = {2023},
url = {https://doi.org/10.1109/TC.2022.3212636},
doi = {10.1109/TC.2022.3212636},
timestamp = {Fri, 13 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/WistoffSGHB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsys/PaturelSH23,
author = {Mathieu Paturel and
Isitha Subasinghe and
Gernot Heiser},
title = {First steps in verifying the seL4 Core Platform},
booktitle = {Proceedings of the 14th {ACM} {SIGOPS} Asia-Pacific Workshop on Systems,
APSys 2023, Seoul, Republic of Korea, August 24-25, 2023},
pages = {9--15},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609510.3609821},
doi = {10.1145/3609510.3609821},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsys/PaturelSH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr2/WeberGRSLMGRPSHSH23,
author = {Arnd Weber and
Sylvain Guilley and
Ren{\'{e}} Rathfelder and
Marc St{\"{o}}ttinger and
Christoph L{\"{u}}th and
Maja Malenko and
Torsten Grawunder and
Steffen Reith and
Armand Puccetti and
Jean{-}Pierre Seifert and
Norbert Herfurth and
Hagen Sankowski and
Gernot Heiser},
title = {Verified Value Chains, Innovation and Competition},
booktitle = {{IEEE} International Conference on Cyber Security and Resilience,
{CSR} 2023, Venice, Italy, July 31 - Aug. 2, 2023},
pages = {470--476},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSR57506.2023.10224911},
doi = {10.1109/CSR57506.2023.10224911},
timestamp = {Wed, 06 Sep 2023 08:09:39 +0200},
biburl = {https://dblp.org/rec/conf/csr2/WeberGRSLMGRPSHSH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/HeiserV23,
author = {Gernot Heiser and
Ivan Velickovic},
title = {Tutorial: Using the seL4 Microkernel},
booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2023 - Supplemental Volume, Porto, Portugal, June
27-30, 2023},
pages = {4},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DSN-S58398.2023.00016},
doi = {10.1109/DSN-S58398.2023.00016},
timestamp = {Thu, 17 Aug 2023 15:16:15 +0200},
biburl = {https://dblp.org/rec/conf/dsn/HeiserV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SisonBMKH23,
author = {Robert Sison and
Scott Buckley and
Toby Murray and
Gerwin Klein and
Gernot Heiser},
editor = {Marsha Chechik and
Joost{-}Pieter Katoen and
Martin Leucker},
title = {Formalising the Prevention of Microarchitectural Timing Channels by
Operating Systems},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14000},
pages = {103--121},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_8},
doi = {10.1007/978-3-031-27481-7\_8},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/SisonBMKH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/Orenes-VeraYWHB23,
author = {Marcelo Orenes{-}Vera and
Hyunsung Yun and
Nils Wistoff and
Gernot Heiser and
Luca Benini and
David Wentzlaff and
Margaret Martonosi},
title = {AutoCC: Automatic Discovery of Covert Channels in Time-Shared Hardware},
booktitle = {Proceedings of the 56th Annual {IEEE/ACM} International Symposium
on Microarchitecture, {MICRO} 2023, Toronto, ON, Canada, 28 October
2023 - 1 November 2023},
pages = {871--885},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3613424.3614254},
doi = {10.1145/3613424.3614254},
timestamp = {Mon, 24 Jun 2024 15:20:25 +0200},
biburl = {https://dblp.org/rec/conf/micro/Orenes-VeraYWHB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plos/PohjolaSTWSNUMS23,
author = {Johannes {\AA}man Pohjola and
Hira Taqdees Syeda and
Miki Tanaka and
Krishnan Winter and
Tsun Wang Sau and
Benjamin Nott and
Tiana J. Tsang Ung and
Craig McLaughlin and
Remy Seassau and
Magnus O. Myreen and
Michael Norrish and
Gernot Heiser},
title = {Pancake: Verified Systems Programming Made Sweeter},
booktitle = {Proceedings of the 12th Workshop on Programming Languages and Operating
Systems, {PLOS} 2023, Koblenz, Germany, 23 October 2023},
pages = {1--9},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3623759.3624544},
doi = {10.1145/3623759.3624544},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plos/PohjolaSTWSNUMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-17046,
author = {Scott Buckley and
Robert Sison and
Nils Wistoff and
Curtis Millar and
Toby Murray and
Gerwin Klein and
Gernot Heiser},
title = {Proving the Absence of Microarchitectural Timing Channels},
journal = {CoRR},
volume = {abs/2310.17046},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.17046},
doi = {10.48550/ARXIV.2310.17046},
eprinttype = {arXiv},
eprint = {2310.17046},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-17046.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/ChenROSKHK22,
author = {Zilin Chen and
Christine Rizkallah and
Liam O'Connor and
Partha Susarla and
Gerwin Klein and
Gernot Heiser and
Gabriele Keller},
editor = {Bernd Fischer and
Lola Burgue{\~{n}}o and
Walter Cazzola},
title = {Property-Based Testing: Climbing the Stairway to Verification},
booktitle = {Proceedings of the 15th {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2022, Auckland, New Zealand,
December 6-7, 2022},
pages = {84--97},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3567512.3567520},
doi = {10.1145/3567512.3567520},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sle/ChenROSKHK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wf-iot/HeiserPCVL22,
author = {Gernot Heiser and
Lucy Parker and
Peter Chubb and
Ivan Velickovic and
Ben Leslie},
title = {Can We Put the "S" Into IoT?},
booktitle = {8th {IEEE} World Forum on Internet of Things, WF-IoT 2022, Yokohama,
Japan, October 26 - Nov. 11, 2022},
pages = {1--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/WF-IoT54382.2022.10152198},
doi = {10.1109/WF-IOT54382.2022.10152198},
timestamp = {Wed, 28 Jun 2023 15:42:23 +0200},
biburl = {https://dblp.org/rec/conf/wf-iot/HeiserPCVL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-12029,
author = {Nils Wistoff and
Moritz Schneider and
Frank K. G{\"{u}}rkaynak and
Gernot Heiser and
Luca Benini},
title = {Systematic Prevention of On-Core Timing Channels by Full Temporal
Partitioning},
journal = {CoRR},
volume = {abs/2202.12029},
year = {2022},
url = {https://arxiv.org/abs/2202.12029},
eprinttype = {arXiv},
eprint = {2202.12029},
timestamp = {Fri, 13 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-12029.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/WistoffSGBH21,
author = {Nils Wistoff and
Moritz Schneider and
Frank K. G{\"{u}}rkaynak and
Luca Benini and
Gernot Heiser},
title = {Microarchitectural Timing Channels and their Prevention on an Open-Source
64-bit {RISC-V} Core},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2021, Grenoble, France, February 1-5, 2021},
pages = {627--632},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/DATE51398.2021.9474214},
doi = {10.23919/DATE51398.2021.9474214},
timestamp = {Fri, 13 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/WistoffSGBH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/HeiserKA20,
author = {Gernot Heiser and
Gerwin Klein and
June Andronick},
title = {seL4 in Australia: from research to real-world trustworthy systems},
journal = {Commun. {ACM}},
volume = {63},
number = {4},
pages = {72--75},
year = {2020},
url = {https://doi.org/10.1145/3378426},
doi = {10.1145/3378426},
timestamp = {Fri, 17 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/HeiserKA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeesp/KouweHABG20,
author = {Erik van der Kouwe and
Gernot Heiser and
Dennis Andriesse and
Herbert Bos and
Cristiano Giuffrida},
title = {Benchmarking Flaws Undermine Security Research},
journal = {{IEEE} Secur. Priv.},
volume = {18},
number = {3},
pages = {48--57},
year = {2020},
url = {https://doi.org/10.1109/MSEC.2020.2969862},
doi = {10.1109/MSEC.2020.2969862},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieeesp/KouweHABG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/HeiserMK20,
author = {Gernot Heiser and
Toby Murray and
Gerwin Klein},
title = {Towards Provable Timing-Channel Prevention},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {54},
number = {1},
pages = {1--7},
year = {2020},
url = {https://doi.org/10.1145/3421473.3421475},
doi = {10.1145/3421473.3421475},
timestamp = {Tue, 06 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/HeiserMK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-02193,
author = {Nils Wistoff and
Moritz Schneider and
Frank K. G{\"{u}}rkaynak and
Luca Benini and
Gernot Heiser},
title = {Prevention of Microarchitectural Covert Channels on an Open-Source
64-bit {RISC-V} Core},
journal = {CoRR},
volume = {abs/2005.02193},
year = {2020},
url = {https://arxiv.org/abs/2005.02193},
eprinttype = {arXiv},
eprint = {2005.02193},
timestamp = {Fri, 13 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-02193.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/ShenHE19,
author = {Yanyan Shen and
Gernot Heiser and
Kevin Elphinstone},
title = {Fault Tolerance Through Redundant Execution on {COTS} Multicores:
Exploring Trade-Offs},
booktitle = {49th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2019, Portland, OR, USA, June 24-27, 2019},
pages = {188--200},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/DSN.2019.00031},
doi = {10.1109/DSN.2019.00031},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/dsn/ShenHE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/KouweHABG19,
author = {Erik van der Kouwe and
Gernot Heiser and
Dennis Andriesse and
Herbert Bos and
Cristiano Giuffrida},
title = {SoK: Benchmarking Flaws in Systems Security},
booktitle = {{IEEE} European Symposium on Security and Privacy, EuroS{\&}P
2019, Stockholm, Sweden, June 17-19, 2019},
pages = {310--325},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/EuroSP.2019.00031},
doi = {10.1109/EUROSP.2019.00031},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosp/KouweHABG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/GeYCH19,
author = {Qian Ge and
Yuval Yarom and
Tom Chothia and
Gernot Heiser},
editor = {George Candea and
Robbert van Renesse and
Christof Fetzer},
title = {Time Protection: The Missing {OS} Abstraction},
booktitle = {Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany,
March 25-28, 2019},
pages = {1:1--1:17},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302424.3303976},
doi = {10.1145/3302424.3303976},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/GeYCH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/HeiserKM19,
author = {Gernot Heiser and
Gerwin Klein and
Toby C. Murray},
title = {Can We Prove Time Protection?},
booktitle = {Proceedings of the Workshop on Hot Topics in Operating Systems, HotOS
2019, Bertinoro, Italy, May 13-15, 2019},
pages = {23--29},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3317550.3321431},
doi = {10.1145/3317550.3321431},
timestamp = {Wed, 29 May 2019 13:38:37 +0200},
biburl = {https://dblp.org/rec/conf/hotos/HeiserKM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-08338,
author = {Gernot Heiser and
Gerwin Klein and
Toby C. Murray},
title = {Can We Prove Time Protection?},
journal = {CoRR},
volume = {abs/1901.08338},
year = {2019},
url = {http://arxiv.org/abs/1901.08338},
eprinttype = {arXiv},
eprint = {1901.08338},
timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-08338.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KleinAFKMH18,
author = {Gerwin Klein and
June Andronick and
Matthew Fernandez and
Ihor Kuz and
Toby C. Murray and
Gernot Heiser},
title = {Formally verified software in the real world},
journal = {Commun. {ACM}},
volume = {61},
number = {10},
pages = {68--77},
year = {2018},
url = {https://doi.org/10.1145/3230627},
doi = {10.1145/3230627},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/KleinAFKMH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/CoferGBWPFPKKAH18,
author = {Darren D. Cofer and
Andrew Gacek and
John Backes and
Michael W. Whalen and
Lee Pike and
Adam Foltzer and
Michal Podhradsky and
Gerwin Klein and
Ihor Kuz and
June Andronick and
Gernot Heiser and
Douglas Stuart},
title = {A Formal Approach to Constructing Secure Air Vehicle Software},
journal = {Computer},
volume = {51},
number = {11},
pages = {14--23},
year = {2018},
url = {https://doi.org/10.1109/MC.2018.2876051},
doi = {10.1109/MC.2018.2876051},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/CoferGBWPFPKKAH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/Heiser18,
author = {Gernot Heiser},
title = {For Safety's Sake: We Need a New Hardware-Software Contract!},
journal = {{IEEE} Des. Test},
volume = {35},
number = {2},
pages = {27--30},
year = {2018},
url = {https://doi.org/10.1109/MDAT.2017.2766559},
doi = {10.1109/MDAT.2017.2766559},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dt/Heiser18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/HuEEHKKT18,
author = {Xiaobo Sharon Hu and
Rolf Ernst and
Petru Eles and
Gernot Heiser and
Kurt Keutzer and
Daehyun Kim and
Tetsuya Tohdo},
title = {Roundtable: Machine Learning for Embedded Systems: Hype or Lasting
Impact?},
journal = {{IEEE} Des. Test},
volume = {35},
number = {6},
pages = {86--93},
year = {2018},
url = {https://doi.org/10.1109/MDAT.2018.2869988},
doi = {10.1109/MDAT.2018.2869988},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dt/HuEEHKKT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jce/GeYCH18,
author = {Qian Ge and
Yuval Yarom and
David A. Cock and
Gernot Heiser},
title = {A survey of microarchitectural timing attacks and countermeasures
on contemporary hardware},
journal = {J. Cryptogr. Eng.},
volume = {8},
number = {1},
pages = {1--27},
year = {2018},
url = {https://doi.org/10.1007/s13389-016-0141-6},
doi = {10.1007/S13389-016-0141-6},
timestamp = {Wed, 21 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jce/GeYCH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsys/GeYH18,
author = {Qian Ge and
Yuval Yarom and
Gernot Heiser},
title = {No Security Without Time Protection: We Need a New Hardware-Software
Contract},
booktitle = {Proceedings of the 9th Asia-Pacific Workshop on Systems, APSys 2018,
Jeju Island, Republic of Korea, August 27-28, 2018},
pages = {1:1--1:9},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3265723.3265724},
doi = {10.1145/3265723.3265724},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsys/GeYH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsys/BiggsLH18,
author = {Simon Biggs and
Damon Lee and
Gernot Heiser},
title = {The Jury Is In: Monolithic {OS} Design Is Flawed: Microkernel-based
Designs Improve Security},
booktitle = {Proceedings of the 9th Asia-Pacific Workshop on Systems, APSys 2018,
Jeju Island, Republic of Korea, August 27-28, 2018},
pages = {16:1--16:7},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3265723.3265733},
doi = {10.1145/3265723.3265733},
timestamp = {Tue, 02 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsys/BiggsLH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/LyonsMAH18,
author = {Anna Lyons and
Kent McLeod and
Hesham Almatary and
Gernot Heiser},
editor = {Rui Oliveira and
Pascal Felber and
Y. Charlie Hu},
title = {Scheduling-context capabilities: a principled, light-weight operating-system
mechanism for managing time},
booktitle = {Proceedings of the Thirteenth EuroSys Conference, EuroSys 2018, Porto,
Portugal, April 23-26, 2018},
pages = {26:1--26:16},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3190508.3190539},
doi = {10.1145/3190508.3190539},
timestamp = {Thu, 23 Jun 2022 19:57:07 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/LyonsMAH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-02381,
author = {Erik van der Kouwe and
Dennis Andriesse and
Herbert Bos and
Cristiano Giuffrida and
Gernot Heiser},
title = {Benchmarking Crimes: An Emerging Threat in Systems Security},
journal = {CoRR},
volume = {abs/1801.02381},
year = {2018},
url = {http://arxiv.org/abs/1801.02381},
eprinttype = {arXiv},
eprint = {1801.02381},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-02381.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-05345,
author = {Qian Ge and
Yuval Yarom and
Tom Chothia and
Gernot Heiser},
title = {Time Protection: the Missing {OS} Abstraction},
journal = {CoRR},
volume = {abs/1810.05345},
year = {2018},
url = {http://arxiv.org/abs/1810.05345},
eprinttype = {arXiv},
eprint = {1810.05345},
timestamp = {Thu, 28 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-05345.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Heiser17,
author = {Gernot Heiser},
title = {Technical Perspective: Proving file systems meet expectations},
journal = {Commun. {ACM}},
volume = {60},
number = {4},
pages = {74},
year = {2017},
url = {https://doi.org/10.1145/3051090},
doi = {10.1145/3051090},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Heiser17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/SewellKH17,
author = {Thomas Sewell and
Felix Kam and
Gernot Heiser},
title = {High-assurance timing analysis for a high-assurance real-time operating
system},
journal = {Real Time Syst.},
volume = {53},
number = {5},
pages = {812--853},
year = {2017},
url = {https://doi.org/10.1007/s11241-017-9286-3},
doi = {10.1007/S11241-017-9286-3},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/SewellKH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsys/ElphinstoneZMH17,
author = {Kevin Elphinstone and
Amirreza Zarrabi and
Kent McLeod and
Gernot Heiser},
title = {A Performance Evaluation of Rump Kernels as a Multi-server {OS} Building
Block on seL4},
booktitle = {Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India,
September 2, 2017},
pages = {11:1--11:8},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3124680.3124727},
doi = {10.1145/3124680.3124727},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsys/ElphinstoneZMH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/ChenOKKH17,
author = {Zilin Chen and
Liam O'Connor and
Gabriele Keller and
Gerwin Klein and
Gernot Heiser},
editor = {Julia Lawall},
title = {The Cogent Case for Property-Based Testing},
booktitle = {Proceedings of the 9th Workshop on Programming Languages and Operating
Systems, Shanghai, China, October 28, 2017},
pages = {1--7},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3144555.3144556},
doi = {10.1145/3144555.3144556},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/ChenOKKH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/HeiserKPR16,
author = {Gernot Heiser and
Kenji Kono and
KyoungSoo Park and
Robbert van Renesse},
title = {Report on the Asia-Pacific Systems Workshop 2015 (APSys'15)},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {50},
number = {1},
pages = {1--2},
year = {2016},
url = {https://doi.org/10.1145/2903267.2903269},
doi = {10.1145/2903267.2903269},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/HeiserKPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/MontuschiMCCRDE16,
author = {Paolo Montuschi and
Edward J. McCluskey and
Samarjit Chakraborty and
Jason Cong and
Ram{\'{o}}n M. Rodr{\'{\i}}guez{-}Dagnino and
Fred Douglis and
Lieven Eeckhout and
Gernot Heiser and
Sushil Jajodia and
Ruby B. Lee and
Dinesh Manocha and
Tom{\'{a}}s F. Pena and
Isabelle Puaut and
Hanan Samet and
Donatella Sciuto},
title = {State of the Journal},
journal = {{IEEE} Trans. Computers},
volume = {65},
number = {7},
pages = {2014--2018},
year = {2016},
url = {https://doi.org/10.1109/TC.2016.2568358},
doi = {10.1109/TC.2016.2568358},
timestamp = {Thu, 27 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/MontuschiMCCRDE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/HeiserE16,
author = {Gernot Heiser and
Kevin Elphinstone},
title = {{L4} Microkernels: The Lessons from 20 Years of Research and Deployment},
journal = {{ACM} Trans. Comput. Syst.},
volume = {34},
number = {1},
pages = {1:1--1:29},
year = {2016},
url = {https://doi.org/10.1145/2893177},
doi = {10.1145/2893177},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/HeiserE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/AmaniHCRCOBNLST16,
author = {Sidney Amani and
Alex Hixon and
Zilin Chen and
Christine Rizkallah and
Peter Chubb and
Liam O'Connor and
Joel Beeren and
Yutaka Nagashima and
Japheth Lim and
Thomas Sewell and
Joseph Tuong and
Gabriele Keller and
Toby C. Murray and
Gerwin Klein and
Gernot Heiser},
editor = {Tom Conte and
Yuanyuan Zhou},
title = {CoGENT: Verifying High-Assurance File System Implementations},
booktitle = {Proceedings of the Twenty-First International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2016, Atlanta, GA, USA, April 2-6, 2016},
pages = {175--188},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2872362.2872404},
doi = {10.1145/2872362.2872404},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asplos/AmaniHCRCOBNLST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpca/LiuGYMRHL16,
author = {Fangfei Liu and
Qian Ge and
Yuval Yarom and
Frank McKeen and
Carlos V. Rozas and
Gernot Heiser and
Ruby B. Lee},
title = {CATalyst: Defeating last-level cache side channel attacks in cloud
computing},
booktitle = {2016 {IEEE} International Symposium on High Performance Computer Architecture,
{HPCA} 2016, Barcelona, Spain, March 12-16, 2016},
pages = {406--418},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HPCA.2016.7446082},
doi = {10.1109/HPCA.2016.7446082},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpca/LiuGYMRHL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/SewellKH16,
author = {Thomas Sewell and
Felix Kam and
Gernot Heiser},
title = {Complete, High-Assurance Determination of Loop Bounds and Infeasible
Paths for {WCET} Analysis},
booktitle = {2016 {IEEE} Real-Time and Embedded Technology and Applications Symposium
(RTAS), Vienna, Austria, April 11-14, 2016},
pages = {185--195},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/RTAS.2016.7461326},
doi = {10.1109/RTAS.2016.7461326},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/SewellKH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LyonsH16,
author = {Anna Lyons and
Gernot Heiser},
title = {It's Time: {OS} Mechanisms for Enforcing Asymmetric Temporal Integrity},
journal = {CoRR},
volume = {abs/1606.00111},
year = {2016},
url = {http://arxiv.org/abs/1606.00111},
eprinttype = {arXiv},
eprint = {1606.00111},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LyonsH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ElphinstoneZDSH16,
author = {Kevin Elphinstone and
Amirreza Zarrabi and
Adrian Danis and
Yanyan Shen and
Gernot Heiser},
title = {An Evaluation of Coarse-Grained Locking for Multicore Microkernels},
journal = {CoRR},
volume = {abs/1609.08372},
year = {2016},
url = {http://arxiv.org/abs/1609.08372},
eprinttype = {arXiv},
eprint = {1609.08372},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ElphinstoneZDSH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GeYH16,
author = {Qian Ge and
Yuval Yarom and
Gernot Heiser},
title = {Do Hardware Cache Flushing Operations Actually Meet Our Expectations?},
journal = {CoRR},
volume = {abs/1612.04474},
year = {2016},
url = {http://arxiv.org/abs/1612.04474},
eprinttype = {arXiv},
eprint = {1612.04474},
timestamp = {Thu, 28 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/GeYH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/GeYCH16,
author = {Qian Ge and
Yuval Yarom and
David A. Cock and
Gernot Heiser},
title = {A Survey of Microarchitectural Timing Attacks and Countermeasures
on Contemporary Hardware},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {613},
year = {2016},
url = {http://eprint.iacr.org/2016/613},
timestamp = {Wed, 21 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/GeYCH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsys/PetersDEH15,
author = {Sean Peters and
Adrian Danis and
Kevin Elphinstone and
Gernot Heiser},
editor = {Kenji Kono and
Takahiro Shinagawa},
title = {For a Microkernel, a Big Lock Is Fine},
booktitle = {Proceedings of the 6th Asia-Pacific Workshop on Systems, APSys 2015,
Tokyo, Japan, July 27-28, 2015},
pages = {3:1--3:7},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2797022.2797042},
doi = {10.1145/2797022.2797042},
timestamp = {Tue, 06 Nov 2018 16:59:01 +0100},
biburl = {https://dblp.org/rec/conf/apsys/PetersDEH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/LiuYGHL15,
author = {Fangfei Liu and
Yuval Yarom and
Qian Ge and
Gernot Heiser and
Ruby B. Lee},
title = {Last-Level Cache Side-Channel Attacks are Practical},
booktitle = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
CA, USA, May 17-21, 2015},
pages = {605--622},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SP.2015.43},
doi = {10.1109/SP.2015.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/LiuYGHL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/systor/2015,
editor = {Dalit Naor and
Gernot Heiser and
Idit Keidar},
title = {Proceedings of the 8th {ACM} International Systems and Storage Conference,
{SYSTOR} 2015, Haifa, Israel, May 26-28, 2015},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2757667},
isbn = {978-1-4503-3607-9},
timestamp = {Tue, 26 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/systor/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/YaromGLLH15,
author = {Yuval Yarom and
Qian Ge and
Fangfei Liu and
Ruby B. Lee and
Gernot Heiser},
title = {Mapping the Intel Last-Level Cache},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {905},
year = {2015},
url = {http://eprint.iacr.org/2015/905},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/YaromGLLH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/CarrollH14,
author = {Aaron Carroll and
Gernot Heiser},
title = {Mobile multicores: use them or waste them},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {48},
number = {1},
pages = {44--48},
year = {2014},
url = {https://doi.org/10.1145/2626401.2626411},
doi = {10.1145/2626401.2626411},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/CarrollH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/KellerMAOCRKH14,
author = {Gabriele Keller and
Toby C. Murray and
Sidney Amani and
Liam O'Connor and
Zilin Chen and
Leonid Ryzhyk and
Gerwin Klein and
Gernot Heiser},
title = {File systems deserve verification too!},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {48},
number = {1},
pages = {58--64},
year = {2014},
url = {https://doi.org/10.1145/2626401.2626414},
doi = {10.1145/2626401.2626414},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigops/KellerMAOCRKH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/KleinAEMSKH14,
author = {Gerwin Klein and
June Andronick and
Kevin Elphinstone and
Toby C. Murray and
Thomas Sewell and
Rafal Kolanski and
Gernot Heiser},
title = {Comprehensive formal verification of an {OS} microkernel},
journal = {{ACM} Trans. Comput. Syst.},
volume = {32},
number = {1},
pages = {2:1--2:70},
year = {2014},
url = {https://doi.org/10.1145/2560537},
doi = {10.1145/2560537},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/KleinAEMSKH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/JungHFHY14,
author = {Hyungsoo Jung and
Hyuck Han and
Alan D. Fekete and
Gernot Heiser and
Heon Young Yeom},
title = {A Scalable Lock Manager for Multicores},
journal = {{ACM} Trans. Database Syst.},
volume = {39},
number = {4},
pages = {29:1--29:29},
year = {2014},
url = {https://doi.org/10.1145/2691190.2691192},
doi = {10.1145/2691190.2691192},
timestamp = {Tue, 29 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/JungHFHY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/CockGMH14,
author = {David A. Cock and
Qian Ge and
Toby C. Murray and
Gernot Heiser},
editor = {Gail{-}Joon Ahn and
Moti Yung and
Ninghui Li},
title = {The Last Mile: An Empirical Study of Timing Channels on seL4},
booktitle = {Proceedings of the 2014 {ACM} {SIGSAC} Conference on Computer and
Communications Security, Scottsdale, AZ, USA, November 3-7, 2014},
pages = {570--581},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660267.2660294},
doi = {10.1145/2660267.2660294},
timestamp = {Wed, 21 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/CockGMH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/BlackhamLH14,
author = {Bernard Blackham and
Mark H. Liffiton and
Gernot Heiser},
title = {Trickle: Automated infeasible path detection using all minimal unsatisfiable
subsets},
booktitle = {20th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2014, Berlin, Germany, April 15-17, 2014},
pages = {169--178},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/RTAS.2014.6926000},
doi = {10.1109/RTAS.2014.6926000},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/BlackhamLH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/CarrollH14,
author = {Aaron Carroll and
Gernot Heiser},
title = {Unifying {DVFS} and offlining in mobile multicores},
booktitle = {20th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2014, Berlin, Germany, April 15-17, 2014},
pages = {287--296},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/RTAS.2014.6926010},
doi = {10.1109/RTAS.2014.6926010},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/CarrollH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsys/CarrollH13,
author = {Aaron Carroll and
Gernot Heiser},
title = {The systems hacker's guide to the galaxy energy usage in a modern
smartphone},
booktitle = {Asia-Pacific Workshop on Systems, APSys '13, Singapore, Singapore,
July 29-30, 2013},
pages = {5:1--5:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2500727.2500734},
doi = {10.1145/2500727.2500734},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsys/CarrollH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/HeiserSDBSA13,
author = {Gernot Heiser and
Etienne Le Sueur and
Adrian Danis and
Aleksander Budzynowski and
Tudor{-}Ioan Salomie and
Gustavo Alonso},
editor = {Zdenek Hanz{\'{a}}lek and
Hermann H{\"{a}}rtig and
Miguel Castro and
M. Frans Kaashoek},
title = {RapiLog: reducing system complexity through verification},
booktitle = {Eighth Eurosys Conference 2013, EuroSys '13, Prague, Czech Republic,
April 14-17, 2013},
pages = {323--336},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2465351.2465383},
doi = {10.1145/2465351.2465383},
timestamp = {Wed, 06 Jul 2022 14:43:33 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/HeiserSDBSA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/BudzynowskiH13,
author = {Aleksander Budzynowski and
Gernot Heiser},
editor = {Petros Maniatis},
title = {The von Neumann Architecture Is Due for Retirement},
booktitle = {14th Workshop on Hot Topics in Operating Systems, HotOS XIV, Santa
Ana Pueblo, New Mexico, USA, May 13-15, 2013},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/hotos13/session/budzynowski},
timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
biburl = {https://dblp.org/rec/conf/hotos/BudzynowskiH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ShiBH13,
author = {Yao Shi and
Bernard Blackham and
Gernot Heiser},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Code optimizations using formally verified properties},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
Object Oriented Programming Systems Languages {\&} Applications,
{OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
26-31, 2013},
pages = {427--442},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509513},
doi = {10.1145/2509136.2509513},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ShiBH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/BlackhamH13,
author = {Bernard Blackham and
Gernot Heiser},
title = {Sequoll: {A} framework for model checking binaries},
booktitle = {19th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2013, Philadelphia, PA, USA, April 9-11, 2013},
pages = {97--106},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/RTAS.2013.6531083},
doi = {10.1109/RTAS.2013.6531083},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/BlackhamH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/JungHFHY13,
author = {Hyungsoo Jung and
Hyuck Han and
Alan D. Fekete and
Gernot Heiser and
Heon Young Yeom},
editor = {Kenneth A. Ross and
Divesh Srivastava and
Dimitris Papadias},
title = {A scalable lock manager for multicores},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, {SIGMOD} 2013, New York, NY, USA, June 22-27, 2013},
pages = {73--84},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2463676.2465271},
doi = {10.1145/2463676.2465271},
timestamp = {Tue, 29 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/JungHFHY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/KellerMAOCRKH13,
author = {Gabriele Keller and
Toby C. Murray and
Sidney Amani and
Liam O'Connor and
Zilin Chen and
Leonid Ryzhyk and
Gerwin Klein and
Gernot Heiser},
editor = {Tim Harris and
Anil Madhavapeddy},
title = {File systems deserve verification too!},
booktitle = {Proceedings of the Seventh Workshop on Programming Languages and Operating
Systems, {PLOS} 2013, Farmington, Pennsylvania, USA, November 3-6,
2013},
pages = {1:1--1:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2525528.2525530},
doi = {10.1145/2525528.2525530},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/KellerMAOCRKH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/CarrollH13,
author = {Aaron Carroll and
Gernot Heiser},
title = {Mobile multicores: use them or waste them},
booktitle = {Proceedings of the Workshop on Power-Aware Computing and Systems,
HotPower 2013, Farmington, Pennsylvania, USA, November 3-6, 2013},
pages = {12:1--12:5},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2525526.2525850},
doi = {10.1145/2525526.2525850},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/CarrollH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/ElphinstoneH13,
author = {Kevin Elphinstone and
Gernot Heiser},
editor = {Michael Kaminsky and
Mike Dahlin},
title = {From {L3} to seL4 what have we learnt in 20 years of {L4} microkernels?},
booktitle = {{ACM} {SIGOPS} 24th Symposium on Operating Systems Principles, {SOSP}
'13, Farmington, PA, USA, November 3-6, 2013},
pages = {133--150},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2517349.2522720},
doi = {10.1145/2517349.2522720},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/ElphinstoneH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vee/2013,
editor = {Steve Muir and
Gernot Heiser and
Stephen M. Blackburn},
title = {{ACM} {SIGPLAN/SIGOPS} International Conference on Virtual Execution
Environments (co-located with {ASPLOS} 2013), {VEE} '13, Houston,
TX, USA, March 16-17, 2013},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2451512},
doi = {10.1145/2451512},
isbn = {978-1-4503-1266-0},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vee/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeesp/HeiserMK12,
author = {Gernot Heiser and
Toby C. Murray and
Gerwin Klein},
title = {It's Time for Trustworthy Systems},
journal = {{IEEE} Secur. Priv.},
volume = {10},
number = {2},
pages = {67--70},
year = {2012},
url = {https://doi.org/10.1109/MSP.2012.41},
doi = {10.1109/MSP.2012.41},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieeesp/HeiserMK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsys/BlackhamTH12,
author = {Bernard Blackham and
Vernon Tang and
Gernot Heiser},
title = {To preempt or not to preempt, that is the question},
booktitle = {Asia-Pacific Workshop on Systems, APSys '12, Seoul, Republic of Korea,
July 23-24, 2012},
pages = {8},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2349896.2349904},
doi = {10.1145/2349896.2349904},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsys/BlackhamTH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsys/BlackhamH12,
author = {Bernard Blackham and
Gernot Heiser},
title = {Correct, fast, maintainable: choose any three!},
booktitle = {Asia-Pacific Workshop on Systems, APSys '12, Seoul, Republic of Korea,
July 23-24, 2012},
pages = {13},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2349896.2349909},
doi = {10.1145/2349896.2349909},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsys/BlackhamH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/PettersEH12,
author = {Stefan M. Petters and
Kevin Elphinstone and
Gernot Heiser},
editor = {Samarjit Chakraborty and
J{\"{o}}rg Ebersp{\"{a}}cher},
title = {Trustworthy Real-Time Systems},
booktitle = {Advances in Real-Time Systems (to Georg F{\"{a}}rber on the occasion
of his appointment as Professor Emeritus at {TU} M{\"{u}}nchen
after leading the Lehrstuhl f{\"{u}}r Realzeit-Computersysteme
for 34 illustrious years)},
pages = {191--206},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-24349-3\_9},
doi = {10.1007/978-3-642-24349-3\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/PettersEH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/BlackhamSH12,
author = {Bernard Blackham and
Yao Shi and
Gernot Heiser},
editor = {Pascal Felber and
Frank Bellosa and
Herbert Bos},
title = {Improving interrupt response time in a verifiable protected microkernel},
booktitle = {European Conference on Computer Systems, Proceedings of the Seventh
EuroSys Conference 2012, EuroSys '12, Bern, Switzerland, April 10-13,
2012},
pages = {323--336},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2168836.2168869},
doi = {10.1145/2168836.2168869},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/BlackhamSH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/usenix/2012,
editor = {Gernot Heiser and
Wilson C. Hsieh},
title = {Proceedings of the 2012 {USENIX} Annual Technical Conference, {USENIX}
{ATC} 2012, Boston, MA, USA, June 13-15, 2012},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/atc12},
timestamp = {Tue, 16 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/usenix/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/Fitzroy-DaleKH11,
author = {Nicholas Fitzroy{-}Dale and
Ihor Kuz and
Gernot Heiser},
title = {Architecture optimisation with currawong},
journal = {Comput. Commun. Rev.},
volume = {41},
number = {1},
pages = {115--119},
year = {2011},
url = {https://doi.org/10.1145/1925861.1925880},
doi = {10.1145/1925861.1925880},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ccr/Fitzroy-DaleKH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsys/BlackhamSH11,
author = {Bernard Blackham and
Yao Shi and
Gernot Heiser},
editor = {Haibo Chen and
Zheng Zhang and
Sue Moon and
Yuanyuan Zhou},
title = {Protected hard real-time: the next frontier},
booktitle = {APSys '11 Asia Pacific Workshop on Systems, Shanghai, China, July
11-12, 2011},
pages = {1},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2103799.2103801},
doi = {10.1145/2103799.2103801},
timestamp = {Thu, 19 Nov 2020 07:47:39 +0100},
biburl = {https://dblp.org/rec/conf/apsys/BlackhamSH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsys/AmaniRDHLZ11,
author = {Sidney Amani and
Leonid Ryzhyk and
Alastair F. Donaldson and
Gernot Heiser and
Alexander Legg and
Yanjin Zhu},
editor = {Haibo Chen and
Zheng Zhang and
Sue Moon and
Yuanyuan Zhou},
title = {Static analysis of device drivers: we can do better!},
booktitle = {APSys '11 Asia Pacific Workshop on Systems, Shanghai, China, July
11-12, 2011},
pages = {8},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2103799.2103809},
doi = {10.1145/2103799.2103809},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsys/AmaniRDHLZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsys/VaranasiH11,
author = {Prashant Varanasi and
Gernot Heiser},
editor = {Haibo Chen and
Zheng Zhang and
Sue Moon and
Yuanyuan Zhou},
title = {Hardware-supported virtualization on {ARM}},
booktitle = {APSys '11 Asia Pacific Workshop on Systems, Shanghai, China, July
11-12, 2011},
pages = {11},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2103799.2103813},
doi = {10.1145/2103799.2103813},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsys/VaranasiH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/RyzhykKMRVH11,
author = {Leonid Ryzhyk and
John Keys and
Balachandra Mirla and
Arun Raghunath and
Mona Vij and
Gernot Heiser},
editor = {Rajiv Gupta and
Todd C. Mowry},
title = {Improved device driver reliability through hardware verification reuse},
booktitle = {Proceedings of the 16th International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2011, Newport Beach, CA, USA, March 5-11, 2011},
pages = {133--144},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1950365.1950383},
doi = {10.1145/1950365.1950383},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/RyzhykKMRVH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/Heiser11,
author = {Gernot Heiser},
editor = {Rajesh K. Gupta and
Vincent John Mooney},
title = {Low-overhead virtualization of mobile platforms},
booktitle = {Proceedings of the 14th International Conference on Compilers, Architecture,
and Synthesis for Embedded Systems, {CASES} 2011, part of the Seventh
Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14,
2011},
pages = {3--4},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038698.2038702},
doi = {10.1145/2038698.2038702},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cases/Heiser11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Heiser11,
author = {Gernot Heiser},
editor = {Leon Stok and
Nikil D. Dutt and
Soha Hassoun},
title = {Virtualizing embedded systems: why bother?},
booktitle = {Proceedings of the 48th Design Automation Conference, {DAC} 2011,
San Diego, California, USA, June 5-10, 2011},
pages = {901--905},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2024724.2024925},
doi = {10.1145/2024724.2024925},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Heiser11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/HeiserRTB11,
author = {Gernot Heiser and
Leonid Ryzhyk and
Michael von Tessin and
Aleksander Budzynowski},
editor = {Matt Welsh},
title = {What If You Could Actually Trust Your Kernel?},
booktitle = {13th Workshop on Hot Topics in Operating Systems, HotOS XIII, Napa,
California, USA, May 9-11, 2011},
publisher = {{USENIX} Association},
year = {2011},
url = {https://www.usenix.org/conference/hotosxiii/what-if-you-could-actually-trust-your-kernel},
timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
biburl = {https://dblp.org/rec/conf/hotos/HeiserRTB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/BlackhamSCRH11,
author = {Bernard Blackham and
Yao Shi and
Sudipta Chattopadhyay and
Abhik Roychoudhury and
Gernot Heiser},
title = {Timing Analysis of a Protected Operating System Kernel},
booktitle = {Proceedings of the 32nd {IEEE} Real-Time Systems Symposium, {RTSS}
2011, Vienna, Austria, November 29 - December 2, 2011},
pages = {339--348},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/RTSS.2011.38},
doi = {10.1109/RTSS.2011.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/BlackhamSCRH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/SueurH11,
author = {Etienne Le Sueur and
Gernot Heiser},
editor = {Jason Nieh and
Carl A. Waldspurger},
title = {Slow Down or Sleep, That Is the Question},
booktitle = {Proceedings of the 2011 {USENIX} Annual Technical Conference, {USENIX}
{ATC} 2011, Portland, OR, USA, June 15-17, 2011},
publisher = {{USENIX} Association},
year = {2011},
url = {https://www.usenix.org/conference/usenixatc11/slow-down-or-sleep-question},
timestamp = {Tue, 16 Jul 2024 09:12:32 +0200},
biburl = {https://dblp.org/rec/conf/usenix/SueurH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurosys/2011,
editor = {Christoph M. Kirsch and
Gernot Heiser},
title = {European Conference on Computer Systems, Proceedings of the Sixth
European conference on Computer systems, EuroSys 2011, Salzburg, Austria,
April 10-13, 2011},
publisher = {{ACM}},
year = {2011},
isbn = {978-1-4503-0634-8},
timestamp = {Tue, 01 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KleinAEHCDEEKNSTW10,
author = {Gerwin Klein and
June Andronick and
Kevin Elphinstone and
Gernot Heiser and
David A. Cock and
Philip Derrin and
Dhammika Elkaduwe and
Kai Engelhardt and
Rafal Kolanski and
Michael Norrish and
Thomas Sewell and
Harvey Tuch and
Simon Winwood},
title = {seL4: formal verification of an operating-system kernel},
journal = {Commun. {ACM}},
volume = {53},
number = {6},
pages = {107--115},
year = {2010},
url = {https://doi.org/10.1145/1743546.1743574},
doi = {10.1145/1743546.1743574},
timestamp = {Wed, 21 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/KleinAEHCDEEKNSTW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/HeiserAEKKR10,
author = {Gernot Heiser and
June Andronick and
Kevin Elphinstone and
Gerwin Klein and
Ihor Kuz and
Leonid Ryzhyk},
editor = {Shouhuai Xu and
N. Asokan and
Ahmad{-}Reza Sadeghi},
title = {The road to trustworthy systems},
booktitle = {Proceedings of the fifth {ACM} workshop on Scalable trusted computing,
STC@CCS 2010, Chicago, IL, USA, October 4, 2010},
pages = {3--10},
publisher = {{ACM}},
year = {2010},
url = {http://dl.acm.org/citation.cfm?id=1867638},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/HeiserAEKKR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/RyzhykKMRVH10,
author = {Leonid Ryzhyk and
John Keys and
Balachandra Mirla and
Arun Raghunath and
Mona Vij and
Gernot Heiser},
editor = {Paulo Ver{\'{\i}}ssimo and
Hakim Weatherspoon},
title = {Improved Device Driver Reliability Through Verification Reuse},
booktitle = {Proceedings of the Sixth Workshop on Hot Topics in System Dependability,
HotDep 2010, Vancouver, BC, Canada, October 3, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/hotdep10/improved-device-driver-reliability-through-verification-reuse},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/RyzhykKMRVH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/Fitzroy-DaleKH10,
author = {Nicholas Fitzroy{-}Dale and
Ihor Kuz and
Gernot Heiser},
editor = {Chandramohan A. Thekkath and
Ramakrishna Kotla and
Lidong Zhou},
title = {Architecture optimisation with Currawong},
booktitle = {Proceedings of the 1st {ACM} {SIGCOMM} Asia-Pacific Workshop on Systems,
ApSys 2010, New Delhi, India, August 30, 2010},
pages = {7--12},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1851276.1851279},
doi = {10.1145/1851276.1851279},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/Fitzroy-DaleKH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/HeiserL10,
author = {Gernot Heiser and
Ben Leslie},
editor = {Chandramohan A. Thekkath and
Ramakrishna Kotla and
Lidong Zhou},
title = {The {OKL4} microvisor: convergence point of microkernels and hypervisors},
booktitle = {Proceedings of the 1st {ACM} {SIGCOMM} Asia-Pacific Workshop on Systems,
ApSys 2010, New Delhi, India, August 30, 2010},
pages = {19--24},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1851276.1851282},
doi = {10.1145/1851276.1851282},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/HeiserL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/RyzhykZH10,
author = {Leonid Ryzhyk and
Yanjin Zhu and
Gernot Heiser},
editor = {Chandramohan A. Thekkath and
Ramakrishna Kotla and
Lidong Zhou},
title = {The case for active device drivers},
booktitle = {Proceedings of the 1st {ACM} {SIGCOMM} Asia-Pacific Workshop on Systems,
ApSys 2010, New Delhi, India, August 30, 2010},
pages = {25--30},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1851276.1851283},
doi = {10.1145/1851276.1851283},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/RyzhykZH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/CarrollH10,
author = {Aaron Carroll and
Gernot Heiser},
editor = {Paul Barham and
Timothy Roscoe},
title = {An Analysis of Power Consumption in a Smartphone},
booktitle = {Proceedings of the 2010 {USENIX} Annual Technical Conference, {USENIX}
{ATC} 2010, Boston, MA, USA, June 23-25, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/usenix-atc-10/analysis-power-consumption-smartphone},
timestamp = {Tue, 16 Jul 2024 09:12:32 +0200},
biburl = {https://dblp.org/rec/conf/usenix/CarrollH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccnc/Heiser10,
author = {Gernot Heiser},
title = {Hypervisors for Consumer Electronics},
booktitle = {6th {IEEE} Consumer Communications and Networking Conference, {CCNC}
2009, Las Vegas, NV, USA, 10-13 Jan., 2009},
pages = {1--5},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CCNC.2009.4784922},
doi = {10.1109/CCNC.2009.4784922},
timestamp = {Mon, 09 Aug 2021 14:54:01 +0200},
biburl = {https://dblp.org/rec/conf/ccnc/Heiser10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/RyzhykCKH09,
author = {Leonid Ryzhyk and
Peter Chubb and
Ihor Kuz and
Gernot Heiser},
editor = {Wolfgang Schr{\"{o}}der{-}Preikschat and
John Wilkes and
Rebecca Isaacs},
title = {Dingo: taming device drivers},
booktitle = {Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April
1-3, 2009},
pages = {275--288},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1519065.1519095},
doi = {10.1145/1519065.1519095},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/RyzhykCKH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/SnowdonSPH09,
author = {David C. Snowdon and
Etienne Le Sueur and
Stefan M. Petters and
Gernot Heiser},
editor = {Wolfgang Schr{\"{o}}der{-}Preikschat and
John Wilkes and
Rebecca Isaacs},
title = {Koala: a platform for OS-level power management},
booktitle = {Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April
1-3, 2009},
pages = {289--302},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1519065.1519097},
doi = {10.1145/1519065.1519097},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/SnowdonSPH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/RyzhykCKSH09,
author = {Leonid Ryzhyk and
Peter Chubb and
Ihor Kuz and
Etienne Le Sueur and
Gernot Heiser},
editor = {Jeanna Neefe Matthews and
Thomas E. Anderson},
title = {Automatic device driver synthesis with termite},
booktitle = {Proceedings of the 22nd {ACM} Symposium on Operating Systems Principles
2009, {SOSP} 2009, Big Sky, Montana, USA, October 11-14, 2009},
pages = {73--86},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629575.1629583},
doi = {10.1145/1629575.1629583},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/RyzhykCKSH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/KleinEHACDEEKNSTW09,
author = {Gerwin Klein and
Kevin Elphinstone and
Gernot Heiser and
June Andronick and
David A. Cock and
Philip Derrin and
Dhammika Elkaduwe and
Kai Engelhardt and
Rafal Kolanski and
Michael Norrish and
Thomas Sewell and
Harvey Tuch and
Simon Winwood},
editor = {Jeanna Neefe Matthews and
Thomas E. Anderson},
title = {se{L}4: formal verification of an OS kernel.},
booktitle = {Proceedings of the 22nd {ACM} Symposium on Operating Systems Principles
2009, {SOSP} 2009, Big Sky, Montana, USA, October 11-14, 2009},
pages = {207--220},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629575.1629596},
doi = {10.1145/1629575.1629596},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/KleinEHACDEEKNSTW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/ChapmanH09,
author = {Matthew Chapman and
Gernot Heiser},
editor = {Geoffrey M. Voelker and
Alec Wolman},
title = {vNUMA: {A} Virtual Shared-Memory Multiprocessor},
booktitle = {Proceedings of the 2009 {USENIX} Annual Technical Conference, {USENIX}
{ATC} 2009, San Diego, CA, USA, June 14-19, 2009},
publisher = {{USENIX} Association},
year = {2009},
url = {https://www.usenix.org/conference/usenix-09/vnuma-virtual-shared-memory-multiprocessor},
timestamp = {Tue, 16 Jul 2024 09:12:32 +0200},
biburl = {https://dblp.org/rec/conf/usenix/ChapmanH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aPcsac/LeVasseurUYCCLH08,
author = {Joshua LeVasseur and
Volkmar Uhlig and
Yaowei Yang and
Matthew Chapman and
Peter Chubb and
Ben Leslie and
Gernot Heiser},
title = {Pre-virtualization: Soft layering for virtual machines},
booktitle = {13th Asia-Pacific Computer Systems Architecture Conference, {ACSAC}
2008, Hsinchu, China, August 4-6, 2008},
pages = {1--9},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/APCSAC.2008.4625458},
doi = {10.1109/APCSAC.2008.4625458},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aPcsac/LeVasseurUYCCLH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Heiser08,
author = {Gernot Heiser},
editor = {Bernhard Beckert and
Gerwin Klein},
title = {Operating System Verification for Real Use},
booktitle = {Proceedings of the 5th International Verification Workshop in connection
with {IJCAR} 2008, Sydney, Australia, August 10-11, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {372},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-372/paper02.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/Heiser08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/Heiser08,
author = {Gernot Heiser},
editor = {Michael Engel and
Olaf Spinczyk},
title = {The role of virtualization in embedded systems},
booktitle = {Proceedings of the 1st Workshop on Isolation and Integration in Embedded
Systems, {IIES} '08, Glasgow, Scotland, April 1, 2008},
pages = {11--16},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1435458.1435461},
doi = {10.1145/1435458.1435461},
timestamp = {Wed, 16 Mar 2022 23:55:47 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/Heiser08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/KuzLGH07,
author = {Ihor Kuz and
Yan Liu and
Ian Gorton and
Gernot Heiser},
title = {CAmkES: {A} component model for secure microkernel-based embedded
systems},
journal = {J. Syst. Softw.},
volume = {80},
number = {5},
pages = {687--699},
year = {2007},
url = {https://doi.org/10.1016/j.jss.2006.08.039},
doi = {10.1016/J.JSS.2006.08.039},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/KuzLGH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/HeiserEKKP07,
author = {Gernot Heiser and
Kevin Elphinstone and
Ihor Kuz and
Gerwin Klein and
Stefan M. Petters},
title = {Towards trustworthy computing systems: taking microkernels to the
next level},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {41},
number = {4},
pages = {3--11},
year = {2007},
url = {https://doi.org/10.1145/1278901.1278904},
doi = {10.1145/1278901.1278904},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/HeiserEKKP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/usenix-login/Heiser07,
author = {Gernot Heiser},
title = {Your System Is Secure? Prove It!},
journal = {login Usenix Mag.},
volume = {32},
number = {6},
year = {2007},
url = {https://www.usenix.org/publications/login/december-2007-volume-32-number-6/your-system-secure-prove-it},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/usenix-login/Heiser07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/SnowdonPH07,
author = {David C. Snowdon and
Stefan M. Petters and
Gernot Heiser},
editor = {Christoph M. Kirsch and
Reinhard Wilhelm},
title = {Accurate on-line prediction of processor and memoryenergy usage under
voltage scaling},
booktitle = {Proceedings of the 7th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2007, September 30 - October 3, 2007,
Salzburg, Austria},
pages = {84--93},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1289927.1289945},
doi = {10.1145/1289927.1289945},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/SnowdonPH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/ElphinstoneKDRH07,
author = {Kevin Elphinstone and
Gerwin Klein and
Philip Derrin and
Timothy Roscoe and
Gernot Heiser},
editor = {Galen C. Hunt},
title = {Towards a Practical, Verified Kernel},
booktitle = {Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating
Systems, May 7-9, 2005, San Diego, California, {USA}},
publisher = {{USENIX} Association},
year = {2007},
url = {http://www.usenix.org/events/hotos07/tech/full\_papers/elphinstone/elphinstone.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/ElphinstoneKDRH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/RoscoeEH07,
author = {Timothy Roscoe and
Kevin Elphinstone and
Gernot Heiser},
editor = {Galen C. Hunt},
title = {Hype and Virtue},
booktitle = {Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating
Systems, May 7-9, 2005, San Diego, California, {USA}},
publisher = {{USENIX} Association},
year = {2007},
url = {http://www.usenix.org/events/hotos07/tech/full\_papers/roscoe/roscoe.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/RoscoeEH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/RyzhykKH07,
author = {Leonid Ryzhyk and
Ihor Kuz and
Gernot Heiser},
editor = {Eric Eide and
Marc E. Fiuczynski},
title = {Formalising device driver interfaces},
booktitle = {Proceedings of the 4th workshop on Programming languages and operating
systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007},
pages = {10:1--10:5},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1376789.1376803},
doi = {10.1145/1376789.1376803},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/RyzhykKH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/BaumannAWSKH07,
author = {Andrew Baumann and
Jonathan Appavoo and
Robert W. Wisniewski and
Dilma Da Silva and
Orran Krieger and
Gernot Heiser},
editor = {Jeff Chase and
Srinivasan Seshan},
title = {Reboots Are for Hardware: Challenges and Solutions to Updating an
Operating System on the Fly},
booktitle = {Proceedings of the 2007 {USENIX} Annual Technical Conference, {USENIX}
{ATC} 2007, Santa Clara, CA, USA, June 17-22, 2007},
pages = {337--350},
publisher = {{USENIX}},
year = {2007},
url = {http://www.usenix.org/events/usenix07/tech/baumann.html},
timestamp = {Tue, 16 Jul 2024 09:12:32 +0200},
biburl = {https://dblp.org/rec/conf/usenix/BaumannAWSKH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/PettersZH07,
author = {Stefan M. Petters and
Patryk Zadarnowski and
Gernot Heiser},
editor = {Christine Rochange},
title = {Measurements or Static Analysis or Both?},
booktitle = {7th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
Pisa, Italy, July 3, 2007},
series = {OASIcs},
volume = {6},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/1188},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/PettersZH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/HeiserUL06,
author = {Gernot Heiser and
Volkmar Uhlig and
Joshua LeVasseur},
title = {Are virtual-machine monitors microkernels done right?},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {40},
number = {1},
pages = {95--99},
year = {2006},
url = {https://doi.org/10.1145/1113361.1113363},
doi = {10.1145/1113361.1113363},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/HeiserUL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/Heiser06,
author = {Gernot Heiser},
editor = {Atul Adya and
Erich M. Nahum},
title = {Panel: Is University Systems Teaching and Research Relevant to Industry?},
booktitle = {Proceedings of the 2006 {USENIX} Annual Technical Conference, {USENIX}
{ATC} 2006, Boston, MA, USA, May 30 - June 3, 2006},
publisher = {{USENIX}},
year = {2006},
url = {http://www.usenix.org/events/usenix06/tech/mp3/heiser.mp3},
timestamp = {Tue, 16 Jul 2024 09:12:32 +0200},
biburl = {https://dblp.org/rec/conf/usenix/Heiser06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/LeslieCFGGMPSEH05,
author = {Ben Leslie and
Peter Chubb and
Nicholas Fitzroy{-}Dale and
Stefan G{\"{o}}tz and
Charles Gray and
Luke Macpherson and
Daniel Potts and
Yue{-}Ting Shen and
Kevin Elphinstone and
Gernot Heiser},
title = {User-Level Device Drivers: Achieved Performance},
journal = {J. Comput. Sci. Technol.},
volume = {20},
number = {5},
pages = {654--664},
year = {2005},
url = {https://doi.org/10.1007/s11390-005-0654-4},
doi = {10.1007/S11390-005-0654-4},
timestamp = {Thu, 02 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcst/LeslieCFGGMPSEH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/usenix-login/Heiser05,
author = {Gernot Heiser},
title = {Secure Embedded Systems Need Microkernels},
journal = {login Usenix Mag.},
volume = {30},
number = {6},
year = {2005},
url = {https://www.usenix.org/publications/login/december-2005-volume-30-number-6/secure-embedded-systems-need-microkernels},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/usenix-login/Heiser05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/TuchKH05,
author = {Harvey Tuch and
Gerwin Klein and
Gernot Heiser},
title = {{OS} Verification - Now!},
booktitle = {Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating
Systems, June 12-15, 2005, Santa Fe, New Mexico, {USA}},
publisher = {{USENIX} Association},
year = {2005},
url = {http://www.usenix.org/events/hotos05/final\_papers/full\_papers/tuch/tuch.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/TuchKH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/GrayCCMH05,
author = {Charles Gray and
Matthew Chapman and
Peter Chubb and
David Mosberger and
Gernot Heiser},
title = {Itanium - {A} System Implementor's Tale(Awarded General Track Best
Student Paper Award!)},
booktitle = {Proceedings of the 2005 {USENIX} Annual Technical Conference, April
10-15, 2005, Anaheim, CA, {USA}},
pages = {265--278},
publisher = {{USENIX}},
year = {2005},
url = {http://www.usenix.org/events/usenix05/tech/general/gray.html},
timestamp = {Tue, 16 Jul 2024 09:12:32 +0200},
biburl = {https://dblp.org/rec/conf/usenix/GrayCCMH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/BaumannHASKWK05,
author = {Andrew Baumann and
Gernot Heiser and
Jonathan Appavoo and
Dilma Da Silva and
Orran Krieger and
Robert W. Wisniewski and
Jeremy Kerr},
title = {Providing Dynamic Update in an Operating System},
booktitle = {Proceedings of the 2005 {USENIX} Annual Technical Conference, April
10-15, 2005, Anaheim, CA, {USA}},
pages = {279--291},
publisher = {{USENIX}},
year = {2005},
url = {http://www.usenix.org/events/usenix05/tech/general/baumann.html},
timestamp = {Tue, 16 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/usenix/BaumannHASKWK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/ChapmanH05,
author = {Matthew Chapman and
Gernot Heiser},
title = {Implementing Transparent Shared Memory on Clusters Using Virtual Machines},
booktitle = {Proceedings of the 2005 {USENIX} Annual Technical Conference, April
10-15, 2005, Anaheim, CA, {USA}},
pages = {383--386},
publisher = {{USENIX}},
year = {2005},
url = {http://www.usenix.org/events/usenix05/tech/general/chapman.html},
timestamp = {Tue, 16 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/usenix/ChapmanH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aPcsac/SzmajdaH03,
author = {Cristan Szmajda and
Gernot Heiser},
editor = {Amos Omondi and
Stanislav Sedukhin},
title = {Variable Radix Page Table: {A} Page Table for Modern Architectures},
booktitle = {Advances in Computer Systems Architecture, 8th Asia-Pacific Conference,
{ACSAC} 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2823},
pages = {290--304},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39864-6\_24},
doi = {10.1007/978-3-540-39864-6\_24},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/aPcsac/SzmajdaH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aPcsac/WigginsWTH03,
author = {Adam Wiggins and
Simon Winwood and
Harvey Tuch and
Gernot Heiser},
editor = {Amos Omondi and
Stanislav Sedukhin},
title = {Legba: Fast Hardware Support for Fine-Grained Protection},
booktitle = {Advances in Computer Systems Architecture, 8th Asia-Pacific Conference,
{ACSAC} 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2823},
pages = {320--336},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39864-6\_26},
doi = {10.1007/978-3-540-39864-6\_26},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aPcsac/WigginsWTH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aPcsac/WigginsTUH03,
author = {Adam Wiggins and
Harvey Tuch and
Volkmar Uhlig and
Gernot Heiser},
editor = {Amos Omondi and
Stanislav Sedukhin},
title = {Implementation of Fast Address-Space Switching and {TLB} Sharing on
the StrongARM Processor},
booktitle = {Advances in Computer Systems Architecture, 8th Asia-Pacific Conference,
{ACSAC} 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2823},
pages = {352--364},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39864-6\_28},
doi = {10.1007/978-3-540-39864-6\_28},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aPcsac/WigginsTUH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/StephensH02,
author = {Shane G. Stephens and
Gernot Heiser},
editor = {Gilles Muller and
Eric Jul},
title = {Fault tolerance and avoidance in biomedical systems},
booktitle = {Proceedings of the 10th {ACM} {SIGOPS} European Workshop, Saint-Emilion,
France, July 1, 2002},
pages = {198--200},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/1133373.1133413},
doi = {10.1145/1133373.1133413},
timestamp = {Thu, 07 Nov 2019 10:24:25 +0100},
biburl = {https://dblp.org/rec/conf/sigopsE/StephensH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aPcsac/EdwardsH01,
author = {Antony Edwards and
Gernot Heiser},
title = {Components + Security = {OS} Extensibility},
booktitle = {6th Australasian Computer Systems Architecture Conference {(ACSAC}
2001), 29-30 January 2001, Gold Coast, Queensland, Australia},
pages = {27--34},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ACAC.2001.903351},
doi = {10.1109/ACAC.2001.903351},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aPcsac/EdwardsH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/EdwardsH01,
author = {Antony Edwards and
Gernot Heiser},
title = {Secure {OS} Extensibility Needn't Cost an Arm and a Leg},
booktitle = {Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating
Systems, May 20-23, 2001, Elmau/Oberbayern, Germany},
pages = {168},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HOTOS.2001.990084},
doi = {10.1109/HOTOS.2001.990084},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/EdwardsH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aPcsac/WigginsH00,
author = {Adam Wiggins and
Gernot Heiser},
title = {Fast Address-Space Switching on the StrongARM {SA-1100} Processor},
booktitle = {5th Australasian Computer Architecture Conference {(ACAC} 2000), 31
January - 3 February 2000, Canberra, Australia},
pages = {97},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ACAC.2000.824330},
doi = {10.1109/ACAC.2000.824330},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aPcsac/WigginsH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/DellerH99,
author = {Luke Deller and
Gernot Heiser},
title = {Linking Programs in a Single Address Space},
booktitle = {Proceedings of the 1999 {USENIX} Annual Technical Conference, June
6-11, 1999, Monterey, California, {USA}},
pages = {283--294},
publisher = {{USENIX}},
year = {1999},
url = {http://www.usenix.org/events/usenix99/full\_papers/deller/deller.pdf},
timestamp = {Tue, 16 Jul 2024 09:12:24 +0200},
biburl = {https://dblp.org/rec/conf/usenix/DellerH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/HeiserEVRL98,
author = {Gernot Heiser and
Kevin Elphinstone and
Jerry Vochteloo and
Stephen Russell and
Jochen Liedtke},
title = {The Mungi Single-Address-Space Operating System},
journal = {Softw. Pract. Exp.},
volume = {28},
number = {9},
pages = {901--928},
year = {1998},
url = {https://doi.org/10.1002/(SICI)1097-024X(19980725)28:9\&\#60;901::AID-SPE181\&\#62;3.0.CO;2-7},
doi = {10.1002/(SICI)1097-024X(19980725)28:9\&\#60;901::AID-SPE181\&\#62;3.0.CO;2-7},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/HeiserEVRL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/LiedtkeESHHIJ97,
author = {Jochen Liedtke and
Kevin Elphinstone and
Sebastian Sch{\"{o}}nberg and
Hermann H{\"{a}}rtig and
Gernot Heiser and
Nayeem Islam and
Trent Jaeger},
title = {Achieved {IPC} Performance},
booktitle = {Proceedings of The Sixth Workshop on Hot Topics in Operating Systems,
HotOS-VI, Cape Cod, Massachusetts, USA, May 5-6, 1997},
pages = {28--31},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/HOTOS.1997.595177},
doi = {10.1109/HOTOS.1997.595177},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/LiedtkeESHHIJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/OuzangH96,
author = {Jinsong Ouzang and
Gernot Heiser},
editor = {Hamid R. Arabnia},
title = {Libra: {A} Library for Reliable Distributed Applications},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 1996, August 9-11,
1996, Sunnyvale, California, {USA}},
pages = {801--810},
publisher = {{CSREA} Press},
year = {1996},
timestamp = {Wed, 21 Apr 2004 11:30:43 +0200},
biburl = {https://dblp.org/rec/conf/pdpta/OuzangH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pos/ElphinstoneRHL96,
author = {Kevin Elphinstone and
Stephen Russell and
Gernot Heiser and
Jochen Liedtke},
editor = {Richard Connor and
Scott Nettles},
title = {Supporting Persistent Object Systems in a Single Address Space},
booktitle = {Proceedings of the 7th Workshop on Persistent Object Systems, Cape
May, New Jersey, USA, 1996},
pages = {111--119},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Wed, 07 Jul 2021 16:59:32 +0200},
biburl = {https://dblp.org/rec/conf/pos/ElphinstoneRHL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Heiser91,
author = {Gernot Heiser},
title = {Design and implementation of a three-dimensional, general purpose
semiconductor device simulatior},
school = {{ETH} Zurich, Switzerland},
year = {1991},
url = {https://d-nb.info/910654816},
isbn = {978-3-89191-440-3},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Heiser91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/HeiserPWF91,
author = {Gernot Heiser and
Claude Pommerell and
J{\"{u}}rgen Weis and
Wolfgang Fichtner},
title = {Three-dimensional numerical semiconductor device simulation: algorithms,
architectures, results},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {10},
number = {10},
pages = {1218--1230},
year = {1991},
url = {https://doi.org/10.1109/43.88918},
doi = {10.1109/43.88918},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/HeiserPWF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BiagioniHHM86,
author = {Edoardo S. Biagioni and
Klaus H. Hinrichs and
Gernot Heiser and
Carlo Muller},
title = {A Portable Operating System Interface and Utility Library},
journal = {{IEEE} Softw.},
volume = {3},
number = {6},
pages = {18--26},
year = {1986},
url = {https://doi.org/10.1109/MS.1986.229470},
doi = {10.1109/MS.1986.229470},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/BiagioniHHM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-15 00:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
