Microdrivers: A New Architecture for Device Drivers

by Vinod Ganapathy , Arini Balakrishnan , Michael M. Swift , Somesh Jha
Venue:In Proc. of HotOS XI, pp 85—90
Citations:5 - 2 self

Documents Related by Co-Citation

232 Improving the reliability of commodity operating systems – Michael M. Swift, Brian N. Bershad, Henry M. Levy - 2003
39 User-level Device Drivers: Achieved Performance – Ben Leslie, Peter Chubb, Nicholas Fitzroy-dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yueting Shen, Kevin Elphinstone, Gernot Heiser - 2005
106 Recovering device drivers – Michael M. Swift, Brian N. Bershad, Henry M. Levy - 2004
68 Devil: An IDL for Hardware Programming – Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, Gilles Muller - 2000
246 An Empirical Study of Operating System Errors – Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson Engler - 2001
25 The Systematic Improvement of Fault Tolerance in the Rio File Cache – Wee Teck Ng, Peter M. Chen - 1999
69 SafeDrive: Safe and recoverable extensions using language-based techniques – Feng Zhou, Jeremy Condit, Zachary Anderson, Ilya Bagrak - 2006
96 Safe hardware access with the Xen virtual machine monitor – Keir Fraser, Steven H, Rolf Neugebauer, Ian Pratt, Andrew Warfield, Mark Williamson - 2004
23 The Design and Implementation of Microdrivers – Vinod Ganapathy, Matthew J. Renzelmann, Arini Balakrishnan, Michael M. Swift, Somesh Jha - 2008
141 Thorough Static Analysis of Device Drivers – Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner - 2006
405 CIL: Intermediate language and tools for analysis and transformation of C programs – George C. Necula, Scott Mcpeak, Shree P. Rahul, Westley Weimer - 2002
1251 Xen and the art of virtualization – Paul Barham, Boris Dragovic, Keir Fraser, Steven H, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield
339 Checking system rules using system-specific, programmer-written compiler extensions – Dawson Engler, Benjamin Chelf, Andy Chou - 2000
73 Privtrans: automatically partitioning programs for privilege separation – David Brumley, Dawn Song - 2004
6 An I/O system for Mach – B B Alessandro Forin, David Golub - 1991
2 Checking the Hardware-Software Interface in Spec# – Kevin Bierhoff
1 I/O virtualization and AMD’s IOMMU. http://developer.amd.com/documentation/ articles/pages/892006101.aspx – S Apiki - 2006
1 The Michigan Terminal System – D W Boettner, M T Alexander - 1975
12 A Lightweight Method for Building Reliable Operating Systems Despite Unreliable Device Drivers – J N Herder, H Bos, A S Tanenbaum - 2006