Brian N. Bershad

Muthukaruppan Annamalai

ACM Trans. Comput. Syst., 2006

2005

Improving the reliability of commodity operating systems.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2005

2004

System support for pervasive applications.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2004

Recovering Device Drivers (Awarded Best Paper!).

[BibT_eX]

[DOI]

Muthukaruppan Annamalai

Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004

2003

Using Computers to Diagnose Computer Problems.

[BibT_eX]

[DOI]

Joshua Redstone

Proceedings of HotOS'03: 9th Workshop on Hot Topics in Operating Systems, 2003

System Support for Pervasive Applications.

[BibT_eX]

[DOI]

Proceedings of the Future Directions in Distributed Computing, 2003

2001

Separating access control policy, enforcement, and functionality in extensible systems.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2001

Systems Directions for Pervasive Computing.

[BibT_eX]

[DOI]

Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001

2000

Manageability, availability, and performance in porcupine: a highly scalable, cluster-based mail service.

[BibT_eX]

[DOI]

Yasushi Saito

ACM Trans. Comput. Syst., 2000

A system architecture for pervasive computing.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM SIGOPS European Workshop, 2000

Receiver Based Management of Low Bandwidth Access Links.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE INFOCOM 2000, 2000

Characterizing processor architectures for programmable network interfaces.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on Supercomputing, 2000

1999

Design and implementation of a distributed virtual machine for networked computers.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Symposium on Operating System Principles, 1999

Providing Policy-Neutral and Transparent Access Control in Extensible Systems.

[BibT_eX]

[DOI]

Proceedings of the Secure Internet Programming, 1999

Using production grammars in software testing.

[BibT_eX]

[DOI]

Emin Gün Sirer

Proceedings of the Second Conference on Domain-Specific Languages (DSL '99), 1999

1998

Type-Safe Casting.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1998

A Transactional Memory in an Extensible Operating System.

[BibT_eX]

[DOI]

Yasushi Saito

Proceedings of the 1998 USENIX Annual Technical Conference, 1998

The Design and Implementation of an IPv6/IPv4 Network Address and Protocol Translator.

[BibT_eX]

[DOI]

Marc E. Fiuczynski

Vincent K. Lam

Proceedings of the 1998 USENIX Annual Technical Conference, 1998

The Interaction of Access Control and Object-Orientation in Extensible Systems.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 1998

Distributed virtual machines: a system architecture for network computing.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGOPS European Workshop: Support for Composing Distributed Applications, 1998

The Porcupine scalable mail server.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGOPS European Workshop: Support for Composing Distributed Applications, 1998

SPINE: a safe programmable and integrated network environment.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGOPS European Workshop: Support for Composing Distributed Applications, 1998

A Memory-Efficient Real-Time Non-Copying Garbage Collector.

[BibT_eX]

[DOI]

Tian F. Lim

Przemyslaw Pardyak

Proceedings of the International Symposium on Memory Management, 1998

Execution Characteristics of Desktop Applications on Windows NT.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual International Symposium on Computer Architecture, 1998

1997

Access Control for the SPIN Extensible Operating System.

[BibT_eX]

[DOI]

Proceedings of the 1997 IEEE Symposium on Security and Privacy, 1997

Security for Extensible Systems.

[BibT_eX]

[DOI]

Proceedings of The Sixth Workshop on Hot Topics in Operating Systems, 1997

Thread Management for Shared-Memory Multiprocessors.

[BibT_eX]

Proceedings of the Computer Science and Engineering Handbook, 1997

1996

An Extensible Protocol Architecture for Application-Specific Networking.

[BibT_eX]

Marc E. Fiuczynski

Proceedings of the USENIX Annual Technical Conference, 1996

Fast, Effective Dynamic Compilation.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

Dynamic Binding for an Extensible System.

[BibT_eX]

[DOI]

Przemyslaw Pardyak

Proceedings of the Second USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1996

A Trace-Driven Comparison of Algorithms for Parallel Prefetching and Caching.

[BibT_eX]

[DOI]

Proceedings of the Second USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1996

The Structure and Performance of Interpreters.

[BibT_eX]

[DOI]

Proceedings of the ASPLOS-VII Proceedings, 1996

1995

SPIN - An Extensible Microkernel for Application-specific Operating System Services.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1995

Extensibility, Safety and Performance in the SPIN Operating System.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995

Adaptive Disk Spin-down Policies for Mobile Computers.

[BibT_eX]

[DOI]

Fred Douglis

P. Krishnan

Proceedings of the 2nd Symposium on Mobile and Location-Independent Computing (MLICS'95), 1995

Reducing TLB and Memory Overhead Using Online Superpage Promotion.

[BibT_eX]

[DOI]

Proceedings of the 22nd Annual International Symposium on Computer Architecture, 1995

Protection is a software issue.

[BibT_eX]

[DOI]

Proceedings of the Fifth Workshop on Hot Topics in Operating Systems, 1995

1994

Efficient Packet Demultiplexing for Multiple Endpoints and Large Messages.

[BibT_eX]

[DOI]

Proceedings of the USENIX Winter 1994 Technical Conference, 1994

Software Write Detection for a Distributed Shared Memory.

[BibT_eX]

[DOI]

Matthew J. Zekauskas

Wayne Sawdon

Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1994

Some Issues in the Design of an Extensible Operating System (Panel Statement).

[BibT_eX]

Stefan Savage

Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1994

Dynamic Page Mapping Policies for Cache Conflict Resolution on Standard Hardware.

[BibT_eX]

Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1994

Mobisaic: An Information System for a Mobile Wireless Computing Environment.

[BibT_eX]

[DOI]

Geoffrey M. Voelker

Proceedings of the Mobile Computing [Mobidata Workshop on Mobile and Wireless Information Systems, Rutgers University, NJ, USA, October 31, 1994

A Group Structuring Mechanism for a Distributed Object-Oriented Language.

[BibT_eX]

[DOI]

Przemyslaw Pardyak

Proceedings of the 14th International Conference on Distributed Computing Systems, 1994

Avoiding Conflict Misses Dynamically in Large Direct-Mapped Caches.

[BibT_eX]

[DOI]

Proceedings of the ASPLOS-VI Proceedings, 1994

1993

Protocol Service Decomposition for High-Performance Networking.

[BibT_eX]

[DOI]

Chris Maeda

Proceedings of the Fourteenth ACM Symposium on Operating System Principles, 1993

The Impact of Operating System Structure on Memory System Performance.

[BibT_eX]

[DOI]

J. Bradley Chen

Proceedings of the Fourteenth ACM Symposium on Operating System Principles, 1993

Local Area Mobile Computing on Stock Hardware and Mostly Stock Software.

[BibT_eX]

[DOI]

Terri Watson

Proceedings of the USENIX Mobile & Location-Independent Computing Symposium, 1993

Fast Interrupt Priority Management in Operating System Kernels.

[BibT_eX]

[DOI]

Daniel Stodolsky

J. Bradley Chen

Proceedings of the USENIX Microkernels and Other Kernel Architectures Symposium, 1993

Using the Mach Communication Primitives in X11.

[BibT_eX]

[DOI]

Michael Ginsberg

Robert V. Baron

Proceedings of the USENIX MACH III Symposium, Santa Fe, New Mexico, USA, April 19-21, 1993, 1993

Practical Considerations for Non-Blocking Concurrent Objects.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

Service without Servers.

[BibT_eX]

[DOI]

Chris Maeda

Proceedings of the Proceedings Fourth Workshop on Workstation Operating Systems, 1993

1992

Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 1992

Diffusive parallelism: a parallel programming model for large scale distributed computation systems.

[BibT_eX]

[DOI]

Peter D. Stout

Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

The increasing irrelevance of IPC Performance for Micro-kernel-Based Operating Systems.

[BibT_eX]

Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, 1992

Consistency Management for Virtually Indexed Caches.

[BibT_eX]

[DOI]

Bob Wheeler

Proceedings of the ASPLOS-V Proceedings, 1992

Fast Mutual Exclusion for Uniprocessors.

[BibT_eX]

[DOI]

David D. Redell

John R. Ellis

Proceedings of the ASPLOS-V Proceedings, 1992

1991

User-Level Interprocess Communication for Shared Memory Multiprocessors.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 1991

Using Continuations to Implement Thread Management and Communication in Operating Systems.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth ACM Symposium on Operating System Principles, 1991

Dynamic Node Reconfiguration in a Parallel-Distributed Environment.

[BibT_eX]

[DOI]

Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1991

An I/O System for Mach 3.0.

[BibT_eX]

[DOI]

Alessandro Forin

David B. Golub

Proceedings of the USENIX MACH Symposium, Monterey, CA, USA, November 20-22, 1991, 1991

The Interaction of Architecture and Operating System Design.

[BibT_eX]

[DOI]

Proceedings of the ASPLOS-IV Proceedings, 1991

1990

Lightweight Remote Procedure Call.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 1990

1988

PRESTO: A System for Object-oriented Parallel Programming.

[BibT_eX]

[DOI]

Edward D. Lazowska

Softw. Pract. Exp., 1988

Watchdogs - Extending the UNIX File System.

[BibT_eX]

[DOI]

C. Brian Pinkerton

Comput. Syst., 1988

A Remote Computation Facility for a Heterogeneous Environment.

[BibT_eX]

[DOI]