Towards Untrusted Device Drivers (2003)


Download Links

by Ben Leslie , Gernot Heiser
Citations:14 - 1 self

Active Bibliography

6 Encapsulated user-level device drivers in the Mungi operating system – Ben Leslie, Nicholas Fitzroy-dale, Gernot Heiser - 2004
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
4 On Tailoring Thread Schedules in Protocol Design: Experimental Results – Juan Carlos Gomez, Vernon Rego, V. S. Sunderam
8 Improving Computer Communication Performance by Reducing Memory Bandwidth Consumption – Bengt Ahlgren - 1997
12 Deploying safe user-level network services with icTCP – Haryadi S. Gunawi, Andrea C. Arpaci-dusseau, Remzi H. Arpaci-dusseau - 2004
63 High-Performance LocalArea Communication With Fast Sockets – Steven H. Rodrigues, Thomas E. Anderson, David E. Culler - 1997
58 The APIC Approach to High Performance Network Interface Design – Zubin D. Dittia, Guru M. Parulkar, Jerome R. Cox - 1997
5 Microdrivers: A New Architecture for Device Drivers – Vinod Ganapathy, Arini Balakrishnan, Michael M. Swift, Somesh Jha
Device driver reuse via virtual machines – Joshua Thomas LeVasseur - 2009
10 The Fluke Device Driver Framework – Kevin Thomas Van Maren - 1999
7 Itanium Page Tables and TLB – Matthew Chapman, Ian Wienand, Gernot Heiser - 2003
9 Proof Linking: A Modular Verification Architecture for Mobile Code Systems – Philip W. L. Fong - 2004
Hardware Works, Software Doesn't: – Enforcing Modularity With, Emmett Witchel, Krste Asanović - 2003
Real-time Upcalls: A Mechanism to Provide Real-time Processing Guarantees – Raman Gopalakrishna, Guru M. Parulkar - 1995
A Virtual Platform for Network Experimentation – Olaf Landsiedel, Georg Kunz, Stefan Götz, Klaus Wehrle - 2009
6 The CLAM Approach to Multithreaded Communication on Shared-memory Multiprocessors: Design and Experiments – Juan Carlos Gomez, Edward Mascarenhas, Vernon Rego - 1996
23 The Design and Implementation of Microdrivers – Vinod Ganapathy, Matthew J. Renzelmann, Arini Balakrishnan, Michael M. Swift, Somesh Jha - 2008
Flexible Operating System Internals: The Design and Implementation of the Anykernel and Rump Kernels – Antti Kantee
2 Riddoch: 10Gb/s Ethernet performance and retrospective – Steven Pope, David Riddoch - 2007