CSL373 Reading List
(unordered)
- Mach: A New Kernel Foundation For UNIX Development, Accetta et al., 1986.
- A Comparison of Software and Hardware Techniques for x86 Virtualization, Keith Adams and Ole Agesen, ASPLOS, 2006.
- The Interaction of Architecture and Operating System Design, Anderson et al., ASPLOS IV, 1991.
- Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism, Anderson et al., ACM Transactions on Computer Systems, 1992.
- Java Operating Systems: Design and Implementation, Back et al., Technical Report UUCS-98-015, University of Utah, 1998.
- Lightweight Remote Procedure Call, Bershad et al., ACM Transactions on Computer Systems, Vol. 8, 1990.
- Fast Mutual Exclusion for Uniprocessors, Bershad et al., Fifth Symposium on Architectural support for Programming Languages and Operating Systems (APLOS V), 1992.
- Extensibility, Safety and Performance in the SPIN Operating System, Bershad et al., SIGOPS, 1995.
- The Process Group Approach to Reliable Distributed Computing, Kenneth P. Berman, Communications of the ACM, Vol 36, Issue 12, 1993.
- Implementing Remote Procedure Calls, Andrew D. Birrell and Bruce J. Nelson, ACM Transactions on Computer Systems, Vol. 2, 1984.
- The KeyKOS Nanokernel Architecture, Bomberger et al., USENIX Workshop on Micro-Kernels and Other Kernel Architectures, USENIX Association, 1992.
- Fault Tolerance Under UNIX, Borg et al., ACM Transactions on Computer Systems, Vol. 7, 1989.
- A Network Architecture for Heterogeneous Mobile Computing, Brewer et al., IEEE Personal Communications Journal, Vol. 5, 1998.
- Disco: Running Commodity Operating Systems on Scalable Multiprocessors, Bugnion et al., ACM Transactions on Computer Systems (TOCS), Vol. 15, Issue 4, 1997.
- Sharing and Protection in a Single-Address-Space Operating System, Chase et al., ACM Transactions on Computer Systems (TOCS), Vol. 12, 1994.
- Data Security, Dorothy E. Denning and Peter J. Denning, Computing Surveys, Vol. 11, 1979.
- The Structure of the "THE"-Multiprogramming Edsger W. Dijkstra, ACM Symposium on Operating System Principles, 1967.
- Using Continuations to Implement Thread Management and Communication in Operating Systems, Draves et al., SOSP, 1991.
- Fbufs:
A High-Bandwidth
Cross-Domain Transfer Facility, Peter Druschel and Larry L.
Peterson, Asheville, NC USA 1993
- KLEE:
Unassisted and
Automatic Generation of High-Coverage Tests for Complex Systems Programs,
Cristian Cadar et. al, OSDI (2008).
- Language
Support for Fast
and Reliable MessagebasedCommunication in Singularity OS, Manuel
F¨ahndrich et.< al., EuroSys'06.
- The
Flux
OSKit: A Substrate for Kernel and Language Research, Bryan Ford et., 16th et. at. ACMSymposium
on Operating Systems Principles, October 1997.
- Interface
and Execution Models in the Fluke Kernel, Bryan Ford et. al., OSDI'99.
- Cluster-Based
Scalable Network Services,Armando Fox et. at., SOSP 97.
- Semantic
File Systems, David K. Gifford et. at., 13th ACM Symposium on
Operating Systems Principles, October 1991
- ARCHITECTURE
OF VIRTUAL MACHINES, R. P. Goldberg.AFIPS National Computer
Conference, New York, 1973
- Unix
as an Application Program, David Golub et al., USENIX Summer
Conference, June 1990
- The
Transaction Concept: Virtues
and Limitations, Jim Gray. IEEE1981
- High
Availability Computer Systems, Jim Gray,Daniel P. Siewiorek, IEEE
Computer Society Press Los Alamitos, CA, USA1991
- THE
S/KEYTM ONE-TIME PASSWORD
SYSTEM, Neil M. Haller. Proceedings
of the Internet Society Symposium on Network and Distributed Systems1994.
- The
Confused Deputy, Norm Hardy, ACM SIGOPS Operating Systems
Review1988.
- A
Methodology for
Implementing Highly Concurrent Data Structures, Maurice Herlihy, ACM SIGPLAN symposium on
Principles & practice of parallel programming PPOPP'90, 1990
- Monitors:
An Operating System Structuring Concept, C.A.R. hoare,Communications of the
ACM,October 1974
- Communicating
Sequential
Processes,, C. A. R. Hoare PHI,
1985
- The
Emperor’s Old
Clothes, C.A.R. Hoare, Communications of the ACM, 1981.
- Scale
and
Performance in a Distributed File System, JOHN H. HOWARD et. al.
ACM Transactions cm Computer Systems, February 1988.
- Singularity: Rethinking the Software Stack, Galen C. Hunt and James R. Larus, ACM SIGOPS Operating Systems Review - Systems work at Microsoft Research, April 2007
- The x-Kernel : An Architecture for Implementing Network Protocols, Norman C. Hutchinson, Member, IEEE, and Larry L. Peterson, IEEE transactions on software engineering,Vol 17, No.1 January 1991
- Fine-Grained Mobility in the Emerald System, Eric Jul et. al., ACM Transactions on Computer Systems (TOCS), 1988
- Backgrounding Intrusions, Samuel T. King and Peter M. Chen, ACM Transactions on Computer Systems, Vol. 23, No. 1, February 2005
- Disconnected Operation in the Coda File System, James J. Kistler and M. Satyanarayanan,ACM Transactions on Computer Systems, Vol. 10, No. 1, February 1992, February 1992
- Protection, Butler W. Lampson et. al., 5th Princeton Conf. on Information Sciences and Systems, 1971
- A Note on the Confinement Problem, Butler W. Lampson, ACM SIGOPS Operating Systems Review, v.9 n.5, p.192-196 , November 1975
- Experience with Processes and Monitors in Mesa, Butler W. Lampson and David D. Redell,Communications of the ACM 23, February 1980
- Hints for Computer System Design, Butler W Lampson, 9th ACM Symposium on Operating Systems Principles, October 1983
- Authentication in Distributed Systems: Theory and Practice , Butler Lampson et.al. , ACM Trans. Computer Systems, November 1992
- The Design and Implementation of an Operating System to Support Distributed Multimedia Applications , Ian leslie et.al.,EW 8 Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications , 1998
- An Investigation of the therac-25 Accidents, Nancy G. Leveson and Clark S. Turner, IEEE Computer, Vol. 26, No. 7, July 1993, July 1993
- An Evaluation of the Ninth SOSP Submissions,Roy Levin and David D. Redell , ACM's Operating Systems Review, Volume 17, Number 3, July 1983
- Memory Coherence in Shared Virtual Memory Systems, Kai Li and Paul Hudak, ACM 0-89791-198-9/86/0800-0229, 1986
- Improving IPC by Kernel Design, Jochen Liedtke,SIGOPS, 1993
- On &mu Kernel Construction, Jochen Liedtke, 15th ACM sysmposium on operating system principles, 1995
- ARIANE 5 Flight 501 failure Report by the Inquiry Board , J. L. LIONS et.al. , esa, 1996
- Read-Copy Update , Paul E. McKenney et. al. , Ottawa Linux Symposium , 2001
- Read-Copy Update, Paul E. McKenney et al. , IBM Systems Journal , 2008
- A Fast File System for UNIX , Marshall mckusick et al. , ACM transactions on computer systems , 1984
- Algorithms for Scalable Syncronization on Shared Memory Multiprocesssors John M. Mellor Crummey , Michael L. Scott , ACM transactions, 1991
- Ethernet : Distributed packet switching for local Computer Networks, Robert Metclafe et al. , Communications of the ACM , 1976
- Eliminating Receive Livelock in an Interrupt-driven Kernel, Jeffrey Mogul, K. K. Ramakrishnan , USENIX Annual Technical Conference , 1996
- Using Encryption for Authentication in Large Networks of Computers, Roger needham and Michael Schroeder , Communications of the ACM , 1978
- Caching in the Sprite Network File System ,Michael n. Nelson et al. , ACM transactions on computer systems , 1988
- rethink The Sync ,Edmund B. Nightingale et al. , ACM Transactions on Computer Systems , 2006
- Reliable Object storage to support Atomic Actions,Brian masao Oki , ACM symposium on Operating systems principles
- IO-Lite: A Unified I/O Buffering and Caching System, VIVEK S. PAI et al. , ACM Transactions on Computer Systems, 2000
- Detection of Mutual Inconsistency in Distributed Systems ,D. Stott Parker et al. , IEEE Transactions On Software Engineering , 1983
- A Case for Redundant Arrays of Inexpensive Disks (RAID),David A. Patterson et al., ACM Sigmod , 1988
- Plan 9 from Bell Labs,Rob Pike et al., Bell labs, 1974
- Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures ,Richard Rashid et al., ACM , 1987
- Pilot: An Operating System for a Personal Computer,David D. Redell et al. Communications of the ACM , 1980/li>
- What really happend on Mars,Glenn Reeves , Microsoft Research , 1997
- The UNIX Time-Sharing System,Dennis M. Ritchie and Ken Thompson , Communications of the ACM , 1974
- The Evolution of the Unix Time-sharing System,Dennis M. Ritchie , ACM, 1979
- A Method for Obtaining Digital Signatures and Public-Key Cryptosystems Key Cryptosystems,R.L. Rivest et al. , Communications of the ACM , 1978
-
The Protection of Information in Computer Systems,Saltzer J.H.and Schroeder M.D Proceedings of the IEEE ,Volume: 63 Issue:9 Sept. 1975
-
The ITC Distributed File System Principles and Design,M. Satyanarayanan et. al. SOSP '85 Proceedings of the tenth ACM symposium on Operating systems principles, 1985
-
Lightweight Recoverable Virtual Memory,M. Satyanarayanan et. al. ACM Transactions on Computer Systems (TOCS) - Special issue on operating systems principles Volume 12 Issue 1, Feb. 1994
-
Eraser: A Dynamic Data Race Detector for Multithreaded Programs,Stefan Savage et. al. ACM Transactions on Computer Systems (TOCS) Volume 15 Issue 4, Nov. 1997
-
Towards Transparent and Efficient Software Distributed Shared Memory,Daniel J. Scales and Kourosh Gharachorloo. SOSP '97 Proceedings of the sixteenth ACM symposium on Operating systems principles, 1997
-
The X Window System,Robert W. Scheifler and Jim Gettys. ACM Transactions on Graphics Volume 5 Issue 2, April 1986
-
Experience with Grapevine: The Growth of a Distributed System, Michael D. Schroeder et. al. ACM Transactions on Computer Systems (TOCS) Vol 2,No. 1, February 1984, Pages 3-23.
-
Kerberos: An Authentication Service for Open Network Systems,Jennifer G. Steiner et. al.Winter 1988 Usenix Conference. February, 1988.
-
Towards an Active Network Architecture,David L. Tennenhouse and David J. Wetherall. ACM SIGCOMM Computer Communication Review, v.37 n.5, October 2007
-
Managing Update Conflicts in Bayou,a Weakly Connected Replicated Storage System,Douglas B. Terry et. al. Proceedings of the fifteenth ACM symposium on Operating systems principles, 1995
-
Frangipani: A Scalable Distributed File System,Chandramohan A. Thekkath et. al. Proceedings of the sixteenth ACM symposium on Operating systems principles, 1997
-
UNIX Implementation,K Thompson. The Bell System Technical Journal, Vol. 57, No. 6, Part 2, July- August, 1978
-
Reflections on Trusting Trust,K Thompson. Communications of the ACM. Volume 27 Issue 8, Aug 1984
-
Journaling the Linux ext2fs Filesystem,Stephen C. Tweedie. Fourth Annual Linux Expo, Durham, North Carolina, May 1998
-
Active Messages: a Mechanism for Integrated Communication and Computation,Thorsten von Eicken et. al. ISCA '92 Proceedings of the 19th annual international symposium on Computer architecture, 1992
-
Lottery Scheduling: Flexible Proportional-Share Resource Management,Carl A. Waldspurger and William E. Weihl. OSDI '94 Proceedings of the 1st USENIX conference on Operating Systems Design and Implementation, 1994
-
The LOCUS Distributed Operating System, Bruce Walker et. al. SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles, 1983
-
The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System,M. Young et. al. SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles, 1987