Garnet: an open-source, next-generation, faster cache-store for accelerating applications and services
Publication Availability and Consistency Tradeoffs in the Echo Distributed File System Andy Hisgen, Andrew Birrell, Timothy Mann, Mike Schroeder, Garret Swart Proceeding of the 2nd IEEE Workshop on Workstation Operating Systems | September 1989
Publication The Existence of Refinement Mappings Martin Abadi, Leslie Lamport Proceedings of the 3rd Annual Symposium on Logic in Computer Science | July 1988 LICS 1988 Test of Time Award
Publication A Simple and Efficient Implementation for Small Databases Andrew Birrell, Mike Jones, Ted Wobber Proceedings of the 11th ACM Symposium on Operating System Principles | December 1987 Also appeared as SRC Research Report 24
Publication Towards a Better Understanding of the INTERNIST-1 Knowledge Base David Heckerman, Randolph A. Miller Proceedings of Medinfo, Washington | October 1986
Publication Timestamp-Based Algorithms for Concurrency Control in Distributed Database Systems Phil Bernstein, Nathan Goodman International Conference on Very Large Data Bases | September 1980
Publication What Does Boyce-Codd Normal Form Do Phil Bernstein, Nathan Goodman International Conference on Very Large Data Bases | September 1980
Publication A Universal File Server Andrew Birrell IEEE Transactions on Software Engineering | September 1980, pp. 450-453
Publication Fast Maintenance of Integrity Assertions Using Redundant Aggregate Data Phil Bernstein, Barbara T. Blaustein, Edmond M. Clarke International Conference on Very Large Data Bases | September 1980
Publication A Sophisticate’s Introduction to Database Normalization Theory Catriel Beeri, Phil Bernstein, Nathan Goodman International Conference on Very Large Data Bases | September 1978
Publication An Asynchronous Garbage Collector for the Cap Filing System Andrew Birrell ACM SIGOPS Operating Systems Review | April 1978, pp. 31-33
