2022
It's Time to Replace TCP in the Datacenter.
CoRR, 2022
2021
A Linux Kernel Implementation of the Homa Transport Protocol.
Proceedings of the 2021 USENIX Annual Technical Conference, 2021
Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021
MilliSort and MilliQuery: Large-Scale Data-Intensive Computing in Milliseconds.
Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021
2019
Exploiting Commutativity For Practical Fast Replication.
Proceedings of the 16th USENIX Symposium on Networked Systems Design and Implementation, 2019
Proceedings of the Workshop on Hot Topics in Operating Systems, 2019
2018
Always measure one level deeper.
Commun. ACM, 2018
NanoLog: A Nanosecond Scale Logging System.
Proceedings of the 2018 USENIX Annual Technical Conference, 2018
Homa: a receiver-driven low-latency transport protocol using network priorities.
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018
Arachne: Core-Aware Thread Management.
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018
2016
SLIK: Scalable Low-Latency Indexes for a Key-Value Store.
Proceedings of the 2016 USENIX Annual Technical Conference, 2016
2015
The RAMCloud Storage System.
,
,
,
,
,
,
,
,
,
,
,
,
ACM Trans. Comput. Syst., 2015
Experience with Rules-Based Programming for Distributed, Concurrent, Fault-Tolerant Code.
Proceedings of the 2015 USENIX Annual Technical Conference, 2015
Implementing linearizability at large scale and low latency.
Proceedings of the 25th Symposium on Operating Systems Principles, 2015
2014
In Search of an Understandable Consensus Algorithm.
Proceedings of the 2014 USENIX Annual Technical Conference, 2014
Log-structured memory for DRAM-based storage.
Proceedings of the 12th USENIX conference on File and Storage Technologies, 2014
2013
Copysets: Reducing the Frequency of Data Loss in Cloud Storage.
Proceedings of the 2013 USENIX Annual Technical Conference, 2013
Toward Common Patterns for Distributed, Concurrent, Fault-Tolerant Code.
Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013
2011
,
,
,
,
,
,
,
,
,
,
,
,
,
Commun. ACM, 2011
Is scale your enemy, or is scale your friend?: technical perspective.
Commun. ACM, 2011
Fast crash recovery in RAMCloud.
Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011
It's Time for Low Latency.
Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011
2009
The case for RAMClouds: scalable high-performance storage entirely in DRAM.
,
,
,
,
,
,
,
,
,
,
,
,
ACM SIGOPS Oper. Syst. Rev., 2009
1999
Integration: A New Style of Programming.
Computer, 1999
Free Software Needs Profit.
Commun. ACM, 1999
1998
Scripting: Higher-Level Programming for the 21st Century.
Computer, 1998
The Safe-Tcl Security Model.
Proceedings of the 1998 USENIX Annual Technical Conference, 1998
The Safe-Tcl Security Model.
Proceedings of the Mobile Agents and Security, 1998
1995
The Zebra Striped Network File System
ACM Trans. Comput. Syst., 1995
A Safe Tcl Toolkit for Electronic Meeting Places.
Proceedings of the First USENIX Workshop on Electronic Commerce, 1995
Tcl und Tk - Entwicklung grafischer Benutzerschnittstellen für das X Window System.
Professional Computing, Addison-Wesley, ISBN: 978-3-89319-793-4, 1995
1994
Sawmill: A High-Bandwidth Logging File System.
Proceedings of the USENIX Summer 1994 Technical Conference, 1994
Addison-Wesley, ISBN: 0-201-63337-X, 1994
1992
The Design and Implementation of a Log-Structured File System.
ACM Trans. Comput. Syst., 1992
Push Technology, Not Abstractions.
ACM SIGOPS Oper. Syst. Rev., 1992
Non-Volatile Memory for Fast, Reliable File Systems.
Proceedings of the ASPLOS-V Proceedings, 1992
1991
Transparent Process Migration: Design Alternatives and the Sprite Implementation.
Softw. Pract. Exp., 1991
Availability in the Sprite Distributed File System.
ACM SIGOPS Oper. Syst. Rev., 1991
A Comparison of Two Distributed Systems: Amoeba and Sprite.
Comput. Syst., 1991
An X11 Toolkit Based on the Tcl Language.
Proceedings of the Usenix Winter 1991 Conference, Dallas, TX, USA, January 1991, 1991
Measurements of a Distributed File System.
Proceedings of the Thirteenth ACM Symposium on Operating System Principles, 1991
1990
Proceedings of the Usenix Summer 1990 Technical Conference, 1990
Why Aren't Operating Systems Getting Faster As Fast as Hardware?
Proceedings of the Usenix Summer 1990 Technical Conference, 1990
Tcl: An Embeddable Command Language.
Proceedings of the Usenix Summer 1990 Technical Conference, 1990
Performance Measurements of a Multiprocessor Sprite Kernel.
Proceedings of the Usenix Summer 1990 Technical Conference, 1990
1989
Beating the I/O Bottleneck: A Case for Log-Structured File Systems.
ACM SIGOPS Oper. Syst. Rev., 1989
Sprite position statement: use distributed state for failure recovery.
Proceedings of the Second Workshop On Workstation Operating Systems, 1989
Log-structured file systems.
Proceedings of the Thirty-Fourth IEEE Computer Society International Conference: Intellectual Leverage, 1989
1988
Caching in the Sprite Network File System.
ACM Trans. Comput. Syst., 1988
A Project on High Performance I/O Subsystems.
IEEE Data Eng. Bull., 1988
The Sprite Network Operating System.
Computer, 1988
Proceedings of the Fourteenth International Conference on Very Large Data Bases, August 29, 1988
1987
Caching in the Sprite Network File System (Extended Abstract).
Proceedings of the Eleventh ACM Symposium on Operating System Principles, 1987
Process Migration in the Sprite Operating System.
Proceedings of the 7th International Conference on Distributed Computing Systems, 1987
1986
Magic's Circuit Extractor.
IEEE Des. Test, 1986
Prefix Tables: A Simple Mechanism for Locating Files in a Distributed System.
Proceedings of the 6th International Conference on Distributed Computing Systems, 1986
1985
A Switch-Level Timing Verifier for Digital MOS VLSI.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1985
The Magic VLSI Layout System.
IEEE Des. Test, 1985
A Trace-Driven Analysis of the UNIX 4.2 BSD File System.
Proceedings of the Tenth ACM Symposium on Operating System Principles, 1985
1984
The User Interface and Implementation of an IC Layout Editor.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1984
Corner Stitching: A Data-Structuring Technique for VLSI Layout Tools.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1984
Magic's incremental design-rule checker.
Proceedings of the 21st Design Automation Conference, 1984
Plowing: Interactive stretching and compaction in magic.
Proceedings of the 21st Design Automation Conference, 1984
Switch-level delay models for digital MOS VLSI.
Proceedings of the 21st Design Automation Conference, 1984
A switchbox router with obstacle avoidance.
Proceedings of the 21st Design Automation Conference, 1984
1983
Pictures with parentheses: Combining graphics and procedures in a VLSI layout tool.
Proceedings of the 20th Design Automation Conference, 1983
VLSI tools and architectures: Putting the new technology to work.
Proceedings of the 1983 computer science conference, CSC 1983, Orlando, FL, USA, 1983, 1983
1982
Scheduling Techniques for Concurrent Systems.
Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982
Measurements of a VLSI design.
Proceedings of the 19th Design Automation Conference, 1982
Lyra: A new approach to geometric layout rule checking.
Proceedings of the 19th Design Automation Conference, 1982
Proceedings of the COMPCON'82, 1982
Caesar: An Interactive Editor for VLSI Layout.
Proceedings of the COMPCON'82, 1982
1980
Medusa: An Experiment in Distributed Operating System Structure.
Commun. ACM, 1980
1979
Medusa: An Experiment in Distributed Operating System Structure (Summary).
Proceedings of the Seventh Symposium on Operating System Principles, 1979
1977
The implementation of the Cm* multi-microprocessor.
Proceedings of the American Federation of Information Processing Societies: 1977 National Computer Conference, 1977