Publications by Gernot Heiser
2013
Eighth Eurosys Conference 2013, EuroSys '13, Prague, Czech Republic, April 2013
@inproceedings{abc, author = {Gernot Heiser and Etienne Le Sueur and Adrian Danis and Aleksander Budzynowski and Tudor-Ioan Salomie and Gustavo Alonso}, booktitle = {Eighth Eurosys Conference 2013, EuroSys {\textquoteright}13, Prague, Czech Republic}, title = {RapiLog: reducing system complexity through verification.}, url = {http://doi.acm.org/10.1145/2465351.2465383}, year = {2013} }
2007
Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS-XI), San Diego, CA, USA, January 2007
@inproceedings{abc, author = {Timothy Roscoe and Kevin Elphinstone and Gernot Heiser}, booktitle = {Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS-XI), San Diego, CA, USA}, title = {Hype and Virtue}, year = {2007} }
Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS-XI), San Diego, CA, USA, January 2007
@inproceedings{abc, author = {Kevin Elphinstone and Gerwin Klein and Philip Derrin and Timothy Roscoe and Gernot Heiser}, booktitle = {Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS-XI), San Diego, CA, USA}, title = {Towards a practical, verified kernel}, year = {2007} }
2005
Proceedings of the 2005 USENIX Annual Technical Conference, Anaheim, CA, USA, January 2005
@inproceedings{abc, author = {Andrew Baumann and Gernot Heiser and Jonathan Appavoo and Dilma Da Silva and Orran Krieger and Robert W. Wisniewski and Jeremy Kerr}, booktitle = {Proceedings of the 2005 USENIX Annual Technical Conference}, title = {Providing Dynamic Update in an Operating System.}, url = {http://www.usenix.org/events/usenix05/tech/general/baumann.html}, venue = {Anaheim, CA, USA}, year = {2005} }