Path: utzoo!mnetor!uunet!lll-winken!lll-lcc!ames!sdcsvax!darrell From: grunwald@m.cs.uiuc.edu Newsgroups: comp.os.research Subject: SOSP bibliography (BibTeX format) Message-ID: <4376@sdcsvax.UCSD.EDU> Date: 9 Dec 87 17:51:00 GMT Sender: darrell@sdcsvax.UCSD.EDU Lines: 165 Approved: mod-os@sdcsvax.uucp Thanks for the references -- I had just started to file them when I came across this. Here's the same references in BibTeX form: @string{SOSP87 = "Proceedings of the Eleventh ACM Symposium on Operating Systems Principles" } @InProceedings{birman:virtual-synchrony, author = "K. Birman and T. Joseph", address = "Austin, TX", year = 1987, month = "November", booktitle = SOSP87, organization = "ACM", pages = "123-138", title = "Exploiting Virtual Synchrony in Distributed Systems" } @InProceedings{birrell:synch-primitives, author = "A. Birrell and J. Guttag and J. Horning and R. Levin", address = "Austin, TX", year = 1987, month = "November", booktitle = SOSP87, organization = "ACM", pages = "94-102", title = "Synchronization Primitives for a Multiprocessor: A Formal Specification" } @InProceedings{birrell:small-database, author = "A. Birrell and M. Jones and E. Wobber", address = "Austin, TX", year = 1987, month = "November", booktitle = SOSP87, organization = "ACM", pages = "149-154", title = "A Simple and Efficient Implementation of a Small Database" } @InProceedings{chang:801-storage, author = "A. Chang and M. Mergen", year = 1987, month = "November", booktitle = SOSP87, organization = "ACM", title = "801 Storage: Architecture and Programming" } @InProceedings{finlayson:log-files, author = "R. Finlayson and D. Cheriton", address = "Austin, TX", year = 1987, month = "November", booktitle = SOSP87, organization = "ACM", pages = "139-148", title = "Log Files: An Extended File Service Exploiting Write-Once Storage" } @InProceedings{hagmann:cedar-file-system, author = "R. Hagmann", address = "Austin, TX", year = 1987, month = "November", booktitle = SOSP87, organization = "ACM", pages = "155-162", title = "Reimplementing the Cedar File System Using Logging and Group Commit" } @InProceedings{haskin:recovery-in-quicksilver, author = "R. Haskin and Y. Malachi and W. Sawdon and G. Chan", year = 1987, month = "November", booktitle = SOSP87, organization = "ACM", title = "Recovery Management in QuickSilver" } @InProceedings{howard:scale-and-performance, author = "J. Howard and M. Kazar and S. Menees and D. Nichols and M. Satyanarayanan and R. Sidebotham and M. West", year = 1987, month = "November", booktitle = SOSP87, organization = "ACM", title = "Scale and Performance in a Distributed File System" } @InProceedings{jefferson:timewarp, author = "D. Jefferson and B. Beckman and F. Wieland and L. Blume and M. DiLoreto and P. Hontalas and P. Laroche and K. Sturdevant and J. Tupman and V. Warren and J. Wedel and H. Younger and S. Bellenot", address = "Austin, TX", year = 1987, month = "November", booktitle = SOSP87, organization = "ACM", pages = "77-93", title = "Time Warp Operating System" } @InProceedings{jul:fine-grained-mobility, author = "E. Jul and H. Levy and N. Hutchinson and A. Black", year = 1987, month = "November", booktitle = SOSP87, organization = "ACM", title = "Fine-Grained Mobility in the Emerald System" } @InProceedings{liskov:implementation-of-argus, author = "B. Liskov and D. Curtis and P. Johnson and R. Scheifler", address = "Austin, TX", year = 1987, month = "November", booktitle = SOSP87, organization = "ACM", pages = "111-122", title = "Implementation of Argus" } @InProceedings{mogul:packet-filter, author = "J. Mogul and R. Rashid and M. Accetta", address = "Austin, TX", year = 1987, month = "November", booktitle = SOSP87, organization = "ACM", pages = "39-51", title = "The Packet Filter: An Efficient Mechanism for User-level Network Code" } @InProceedings{nelson:cachine-in-sprite, author = "M. Nelson and B. Welch and J. Ousterhout", year = 1987, month = "November", booktitle = SOSP87, organization = "ACM", title = "Caching in the Sprite Network File System" } @InProceedings{nichols:idle-workstations, author = "D. Nichols", address = "Austin, TX", year = 1987, month = "November", booktitle = SOSP87, organization = "ACM", pages = "5-12", title = "Using Idle Workstations in a Shared Computing Environment" } @InProceedings{schwartz:name-service, author = "M. Schwartz and J. Zahorjan and D. Notkin", address = "Austin, TX", year = 1987, month = "November", booktitle = SOSP87, organization = "ACM", pages = "52-62", title = "A Name Service for Evolving Heterogeneous Systems" } @InProceedings{terry:stored-voice, author = "D. Terry and D. Swinehart", year = 1987, month = "November", booktitle = SOSP87, organization = "ACM", title = "Managing Stored Voice in the Etherphone System" } @InProceedings{varghese:timing-wheels, author = "G. Varghese and T. Lauck", address = "Austin, TX", year = 1987, month = "November", booktitle = SOSP87, organization = "ACM", pages = "25-38", title = "Hashed and Hierarchical Timing Wheels: Data Structures for the Efficient Implementation of a Timer Facility" } @InProceedings{young:memory-and-communication, author = "M. Young and A. Tevanian and R. Rashid and D. Golub and J. Eppinger and J. Chew and W. Bolosky and D. Black and R. Baron", address = "Austin, TX", year = 1987, month = "November", booktitle = SOSP87, organization = "ACM", pages = "63-76", title = "The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System" } @InProceedings{zayas:process-migration, author = "E. Zayas", address = "Austin, TX", year = 1987, month = "November", booktitle = SOSP87, organization = "ACM", pages = "13-24", title = "Attaching the Process Migration Bottleneck" }