[comp.os.research] SOSP bibliography

darrell@sdcsvax.UUCP (12/08/87)

[ This is a good idea.  I know Eugene has lots of bibliographies...  --DL ]

What follows is a complete list of the papers at this year's SOSP, in
refer/bib format, sorted by author.  I suspect there are hundreds of
people who would like this on-line.  Thought I'd save them the effort,
since I've already done it.  Perhaps others can return the favor; we
could distribute biblios for other conferences this way, too.
___________________________

%A K. Birman
%A T. Joseph
%T Exploiting Virtual Synchrony in Distributed Systems
%P 123-138
%J Proceedings of the Eleventh ACM Symposium on Operating Systems Principles
%K sosp
%C Austin, TX
%D 8-11 November 1987
%O In \f2ACM Operating Systems Review 21\fP:5

%A A. Birrell
%A J. Guttag
%A J. Horning
%A R. Levin
%T Synchronization Primitives for a Multiprocessor: A Formal Specification
%P 94-102
%J Proceedings of the Eleventh ACM Symposium on Operating Systems Principles
%K sosp
%C Austin, TX
%D 8-11 November 1987
%O In \f2ACM Operating Systems Review 21\fP:5

%A A. Birrell
%A M. Jones
%A E. Wobber
%T A Simple and Efficient Implementation of a Small Database
%P 149-154
%J Proceedings of the Eleventh ACM Symposium on Operating Systems Principles
%K sosp
%C Austin, TX
%D 8-11 November 1987
%O In \f2ACM Operating Systems Review 21\fP:5

%A A. Chang
%A M. Mergen
%T 801 Storage: Architecture and Programming
%J ACM TOCS
%D to appear
%O Originally presented at the
\f2Eleventh ACM Symposium on Operating Systems Principles\fP,
Austin, TX,
8-11 November 1987

%A R. Finlayson
%A D. Cheriton
%T Log Files: An Extended File Service Exploiting Write-Once Storage
%P 139-148
%J Proceedings of the Eleventh ACM Symposium on Operating Systems Principles
%K sosp
%C Austin, TX
%D 8-11 November 1987
%O In \f2ACM Operating Systems Review 21\fP:5

%A R. Hagmann
%T Reimplementing the Cedar File System Using Logging and Group Commit
%P 155-162
%J Proceedings of the Eleventh ACM Symposium on Operating Systems Principles
%K sosp
%C Austin, TX
%D 8-11 November 1987
%O In \f2ACM Operating Systems Review 21\fP:5

%A R. Haskin
%A Y. Malachi
%A W. Sawdon
%A G. Chan
%T Recovery Management in QuickSilver
%J ACM TOCS
%D to appear
%O Originally presented at the
\f2Eleventh ACM Symposium on Operating Systems Principles\fP,
Austin, TX,
8-11 November 1987

%A J. Howard
%A M. Kazar
%A S. Menees
%A D. Nichols
%A M. Satyanarayanan
%A R. Sidebotham
%A M. West
%T Scale and Performance in a Distributed File System
%J ACM TOCS
%D to appear
%O Originally presented at the
\f2Eleventh ACM Symposium on Operating Systems Principles\fP,
Austin, TX,
8-11 November 1987

%A D. Jefferson
%A B. Beckman
%A F. Wieland
%A L. Blume
%A M. DiLoreto
%A P. Hontalas
%A P. Laroche
%A K. Sturdevant
%A J. Tupman
%A V. Warren
%A J. Wedel
%A H. Younger
%A S. Bellenot
%T Time Warp Operating System
%P 77-93
%J Proceedings of the Eleventh ACM Symposium on Operating Systems Principles
%K sosp
%C Austin, TX
%D 8-11 November 1987
%O In \f2ACM Operating Systems Review 21\fP:5

%A E. Jul
%A H. Levy
%A N. Hutchinson
%A A. Black
%T Fine-Grained Mobility in the Emerald System
%J ACM TOCS
%D to appear
%O Originally presented at the
\f2Eleventh ACM Symposium on Operating Systems Principles\fP,
Austin, TX,
8-11 November 1987

%A B. Liskov
%A D. Curtis
%A P. Johnson
%A R. Scheifler
%T Implementation of Argus
%P 111-122
%J Proceedings of the Eleventh ACM Symposium on Operating Systems Principles
%K sosp
%C Austin, TX
%D 8-11 November 1987
%O In \f2ACM Operating Systems Review 21\fP:5

%A J. Mogul
%A R. Rashid
%A M. Accetta
%T The Packet Filter: An Efficient Mechanism for User-level Network Code
%P 39-51
%J Proceedings of the Eleventh ACM Symposium on Operating Systems Principles
%K sosp
%C Austin, TX
%D 8-11 November 1987
%O In \f2ACM Operating Systems Review 21\fP:5

%A M. Nelson
%A B. Welch
%A J. Ousterhout
%T Caching in the Sprite Network File System
%J ACM TOCS
%D to appear
%O Originally presented at the
\f2Eleventh ACM Symposium on Operating Systems Principles\fP,
Austin, TX,
8-11 November 1987

%A D. Nichols
%T Using Idle Workstations in a Shared Computing Environment
%P 5-12
%J Proceedings of the Eleventh ACM Symposium on Operating Systems Principles
%K sosp
%C Austin, TX
%D 8-11 November 1987
%O In \f2ACM Operating Systems Review 21\fP:5

%A M. Schwartz
%A J. Zahorjan
%A D. Notkin
%T A Name Service for Evolving Heterogeneous Systems
%P 52-62
%J Proceedings of the Eleventh ACM Symposium on Operating Systems Principles
%K sosp
%C Austin, TX
%D 8-11 November 1987
%O In \f2ACM Operating Systems Review 21\fP:5

%A D. Terry
%A D. Swinehart
%T MAnaging Stored Voice in the Etherphone System
%J ACM TOCS
%D to appear
%O Originally presented at the
\f2Eleventh ACM Symposium on Operating Systems Principles\fP,
Austin, TX,
8-11 November 1987

%A G. Varghese
%A T. Lauck
%T Hashed and Hierarchical Timing Wheels: Data Structures for the Efficient
Implementation of a Timer Facility
%P 25-38
%J Proceedings of the Eleventh ACM Symposium on Operating Systems Principles
%K sosp
%C Austin, TX
%D 8-11 November 1987
%O In \f2ACM Operating Systems Review 21\fP:5

%A M. Young
%A A. Tevanian
%A R. Rashid
%A D. Golub
%A J. Eppinger
%A J. Chew
%A W. Bolosky
%A D. Black
%A R. Baron
%T The Duality of Memory and Communication in the Implementation of a
Multiprocessor Operating System
%P 63-76
%J Proceedings of the Eleventh ACM Symposium on Operating Systems Principles
%K sosp
%C Austin, TX
%D 8-11 November 1987
%O In \f2ACM Operating Systems Review 21\fP:5

%A E. Zayas
%T Attaching the Process Migration Bottleneck
%P 13-24
%J Proceedings of the Eleventh ACM Symposium on Operating Systems Principles
%K sosp
%C Austin, TX
%D 8-11 November 1987
%O In \f2ACM Operating Systems Review 21\fP:5

grunwald@m.cs.uiuc.edu (12/10/87)

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"
}

eugene@orville.nas.nasa.gov (Eugene Miya) (01/12/90)

[ Also available for anonymous ftp from midgard.ucsc.edu.  --DL ]

%A Michael Burrows
%A Martin Abadi
%A Roger Needham
%T A Logic of Authentication
%J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review
%V 23
%N 5
%D December 1989
%P 1-13
%K Security

%A T. Mark A. Lomas
%A Li Gong
%A Jerome Saltzer
%A Roger Needham
%T Reducing Risks from Poorly Chosen Keys
%J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review
%V 23
%N 5
%D December 1989
%P 14-18
%K Security

%A William J. Bolosky
%A Robert P. Fitzgerald
%A Michael L. Scott
%T Simple But Effective Techniques for NUMA Memory Management
%J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review
%V 23
%N 5
%D December 1989
%P 19-31
%K NUMA Memory Management, non-uniform memory access, MACH, IBM ACE,

%A Alan L. Cox
%A Robert J. Fowler
%T The Implementation of a Coherent Memory Abstraction on a NUMA
Multiprocessor: Experiences with PLATINUM
%J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review
%V 23
%N 5
%D December 1989
%P 32-44
%K NUMA Memory Management, non-uniform memory access, BBN Butterfly,

%A V. Srinivasan
%A Jeffery Mogul
%T Spritely NFS: Experiments with Cache-Consistency Protocols
%J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review
%V 23
%N 5
%D December 1989
%P 45-57
%K File Caching

%A David A. Edwards
%A Martin S. McKendry
%T Exploiting Read-Mostly Workloads in the FileNet File System
%J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review
%V 23
%N 5
%D December 1989
%P 58-70
%K File Caching

%A Andrew Braulistein
%A Mark Riley
%A John Wilkes
%T Improving the efficiency of UNlX file buffer caches
%J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review
%V 23
%N 5
%D December 1989
%P 71-82
%K File Caching, XMF,

%A Michael D. Schroeder
%A Michael Burrows
%T Performance of Firefly RPC
%J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review
%V 23
%N 5
%D December 1989
%P 83-90
%K Remote Procedure Call,

%A Norman C. Hutchinson
%A Larry L. Peterson
%A Mark B. Abbott
%A Sean O'Malley
%T RPC in the x-Kernel: Evaluating New Design Techniques
%P 91-101
%J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review
%V 23
%N 5
%D December 1989
%K Remote Procedure Call

%A Brian N. Bershad
%A Thomas E. Anderson
%A Edward D. Lazowska
%A Henry M. Levy
%T Lightweight Remote Procedure Call
%J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review
%V 23
%N 5
%D December 1989
%P 102-113
%K Remote Procedure Call, RPC,

%A Mark Weiser
%A Alan Demers
%A Carl Hauser
%T The Portable Common Runtime Approach to Interoperability
%J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review
%V 23
%N 5
%D December 1989
%P 114-122
%K Structural Issues

%A Vadim Abrossimov
%A Marc Rozier
%A Marc Shapiro
%T Generic Virtual Memory Management for Operating System Kernels
%J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review
%V 23
%N 5
%D December 1989
%P 123-136
%K Structural Issues

%A Brian Rosenburg
%Z IBM
%T Low-Synchronization Translation Lookaside Buffer Consistency in
Large-Scale Shared-Memory Multiprocessors
%J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review
%V 23
%N 5
%D December 1989
%P 137-146
%K Multiprocessors

%A Jeffery S. Chase
%A Franz G. Amador
%A Edward D. Lazowska
%A Henry M.  Levy
%A Richard J. Littlefield
%T The Amber System: Parallel Programming on a Network of Multiprocessors
%J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review
%V 23
%N 5
%D December 1989
%P 147-158
%K Multiprocessors

%A Andrew Tucker
%A Anoop Gupta
%T Process Control and Scheduling Issues for Multiprogrammed Shared-Memory
Multiprocessors
%J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review
%V 23
%N 5
%D December 1989
%P 159-166
%K Multiprocessors

%A R. Barkley
%A T. Paul Lee
%T A Lazy Buddy System Bounded by Two Coalescing Delays
%J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review
%V 23
%N 5
%D December 1989
%P 167-176
%K Performance

%A Dan Duchamp
%T Analysis of Transaction Management Performance
%J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review
%V 23
%N 5
%D December 1989
%P 177-190
%K Performance

%A Henry Massalin
%A Carlton Pu
%T Threads and Input/Output in the Synthesis Kernel
%J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review
%V 23
%N 5
%D December 1989
%P 191-201
%K Performance

%A Cary G. Gray
%A David R. Cheriton
%Z Stanford U.
%T Leases: An Efficient Fault-Tolerant Mechanism for Distributed File
Cache Consistency
%J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review
%V 23
%N 5
%D December 1989
%P 202-210
%K Time-based Distributed Coherency

%A Brett D. Fleisch
%A Gerald J. Popek
%Z UCLA
%T Mirage: A Coherent Distributed Shared Memory Design
%J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review
%V 23
%N 5
%D December 1989
%P 211-223
%K Time-based Distributed Coherency