Virtual
Memory, Processes, and Sharing in MULTICS.
R. C. Daley and J. B.
Dennis.
Communications of the ACM, 11(5), May 1968, pp.
306-312.
Virtual Memory
Management in the VAX/VMS Operating Systems.
H. M. Levy and P. H. Lipman.
IEEE Computer, 15(3), March 1982, pp. 35-41.
The Structure
of the "THE" Multiprogramming System.
E. W. Dijkstra.
Communications of the ACM, 11(5), May 1968, pp. 341-346.
HYDRA: The
Kernel of a Multiprocessor Operating System.
W. A. Wulf, E.
Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack.
Communications of the ACM, 17(6), June 1974, pp. 337-345.
The Duality of
Memory and Communication in the Implementation of a Multiprocessor Operating
System.
M. Young, A. Tevanian, R. Rashid, D. Golub, J. Eppinger, J.
Chew, W. Bolosky, D. Black, and R. Baron.
Proc. 11th SOSP, Operating
Systems Review, 21(5), November 1987, pp. 63-76.
Threads
and Input/Output in the Synthesis Kernel.
H. Massalin and Calton
Pu.
Proc. 12th SOSP, Operating Systems Review, 23(5), December 1989,
pp. 191-201.
Exokernel:
An Operating System Architecture for Application-Level Resource Management.
D. R. Engler, M. F. Kaashoek, and J. O'Toole Jr..
Proc. 15th
SOSP, December 1995, pp. 251-266.
Disco: Running
Commodity Operating Systems on Scalable Multiprocessors.
E.
Bugnion, S. Devine, and M. Rosenblum.
Proc. 16th SOSP, October 1997,
pp. 143-156.
Experience
with Processes and Monitors in Mesa.
B. W. Lampson and D. D.
Redell.
Communications of the ACM, 23(2), February 1980, pp.
105-117.
An
Introduction to Programming with Threads.
A. D. Birrell.
Tech. Rep.
SRC-035, Digital Equipment Corporation, January 1989.
Scheduler
Activations: Effective Kernel Support for the User-Level Management of
Parallelism.
T. Anderson, B. Bershad, E. Lazowska, and H.
Levy.
Proc. 13th SOSP, ACM Transactions on Computer Systems, 10(1),
February 1992, pp. 53-79.
Implementing
Remote Procedure Calls.
A. D. Birrell and B. J. Nelson.
ACM Transactions on Computer Systems, 2(1), February 1984, pp. 39-59.
Active
Messages: A Mechanism for Integrated Communication and
Computation.
T. von Eicken, D. E. Culler, S. C. Goldstein, K. E.
Schauser.
Proc. 19th ISCA, May 1992, pp. 256-266.
Active network
vision and reality: lessons from a capsule-based system.
D. Wetherall.
Proc. 17th SOSP, Operating Systems Review, 34(5), December 1999, pp.
64-79.
RAID:
High-Performance, Reliable Secondary Storage.
P. Chen, E. Lee, G.
Gibson, R. Katz, and D. Patterson.
ACM Computing Surveys, 26(2), June
1994, pp. 145-188.
The UNIX
Time-Sharing System.
D. M. Ritchie and K. Thompson.
Communications of the ACM, 17(7), July 1974, pp. 365-375.
A Fast File
System for UNIX.
M. K. Mckusick, W. N. Joy, S. J. Leffler, and R.
S. Fabry.
ACM Transactions on Computer Systems, 2(3), August 1984,
pp. 181-197.
The Design and
Implementation of a Log-Structured File System.
M. Rosenblum and
J. Ousterhout.
ACM Transactions on Computer Systems, 10(1), February
1992, pp. 26-52.
Design and
Implementation of the Sun Network Filesystem.
R. Sandberg, D.
Goldberg, S. Kleiman, D. Walsh, and B. Lyon.
Proc. USENIX Summer
Conference, June 1985, pp. 119-130.
Scale and
Performance in a Distributed File System.
J. H. Howard, M. L.
Kazar, S. G. Menees, D. A. Nichols, M. Satyanarayanan, R. N. Sidebotham, and M.
J. West.
ACM Transactions on Computer Systems, 6(1), February 1988,
pp. 51-81.
The LOCUS
Distributed Operating System.
B. Walker, G. Popek, R. English, C. Kline,
and G. Thiel.
Proc. 9th SOSP, Operating Systems Review, 17(5),
November 1983, pp. 49-70.
Caching in
the Sprite Network File System.
M. N. Nelson, B. B. Welch, and J. K.
Ousterhout.
ACM Transactions on Computer Systems, 6(1), February
1988, pp. 134-154.
Memory
Coherence in Shared Virtual Memory Systems.
K. Li and P. Hudak.
ACM Transaction on Computer Systems, 7(4), November 1989, pp.
321-359.
Serverless
Network File Systems.
T. E. Anderson, M. D. Dahlin, J. M. Neefe, D. A.
Patterson, D. S. Roselli, and R. Y. Wang.
Proc. 15th SOSP, ACM
Transactions on Computer Systems, 14(1), February 1996, pp. 41-79.
Wide-area
cooperative storage with CFS.
F. Dabek, M. F. Kaashoek, D.
Karger, R. Morris, and I Stoica.
Proc. 18th SOSP, October 2001.
The Emperor's
Old Clothes.
C. A. R. Hoare
Communications of the ACM, 24(2),
February 1981, pp. 75-83.
Hints for
Computer System Design.
B. W. Lampson,
Proc. 9th SOSP, Operating
System Review, 17(5), Special Issue, October 1983, pp. 33-48.
Cookies and
Web Browser Design: Toward Realizing Informed Consent Online
Lynette I.
Millett, Batya Friedman, and Edward W. Felten
Proc. of CHI 2001 Conference
on Human Factors in Computing Systems, April 2001.
Measuring
ISP Topologies with Rocketfuel
Neil Spring, Ratul Mahajan and David
Wetherall (University of Washington)
SIGCOMM 2002
Understanding
BGP Misconfiguration
Ratul Mahajan, David Wetherall and Tom Anderson
(University of Washington)
SIGCOMM 2002
Bugs as
Inconsistent Behavior: A General Approach to Inferring Errors in Systems
Code
Dawson Engler, David Yu Chen, Andy Chou (Stanford University)
SOSP 2001
SAVE:
Source Address Validation Enforcement Protocol
Jun Li, Jelena Mirkovic,
Mengqiu Wang, Peter Reiher, Lixia Zhang
INFOCOM 2002
Improving
BGP Convergence Through Consistency Assertions
D. Pei, X. Zhao, L. Wang,
D. Massey, A. Mankin, S. F. Wu, and L. Zhang
INFOCOM 2002
Adaptive
RED: An Algorithm for Increasing the Robustness of RED's Active Queue
Management
Sally Floyd, Ramakrishna Gummadi, and Scott Shenker
Under
submission
Scaling
of Multicast Trees: Comments on the Chuang-Sirbu Law
Graham Phillips,
Scott Shenker, and Hongsuda Tangmunarunkit
SIGCOMM 1999
Towards
Global Network Positioning
T. S. Eugene Ng and Hui Zhang
SIGCOMM IMW
2001
The
Origins of Power Laws in Internet Topologies Revisited
Qian Chen,
Hyunseok Chang, Ramesh Govindan, Sugih Jamin, Scott Shenker and Walter Willnger
INFOCOM 2002
Stable
Internet Routing Without Global Coordination
L. Gao and J. Rexford
IEEE/ACM ToN
Internet
Indirection Infrastructure
I. Stoica, Dan Adkins, Shelly Zhuang, Scott
Shenker, and Sonesh Surana
Submitted for publication
Network
Embedded Programmable Storage and its Applications
Randy Wang
Submitted for publication
Wave
and Equation Based Rate Control Using Multicast Round Trip Time
Michael
Luby, Vivek Goyal, Simon Skaria, and Gavin Horn
Submitted for publication
Mitigating
Routing Misbehavior in Mobile Ad Hoc Networks
Sergio Marti, T.J. Giuli,
Kevin Lai and Mary Baker
MOBICOM 2000
Recovery
Oriented Computing (ROC): Motivation, Definition, Techniques, and Case
Studies
David Patterson and 14 others.
Computer Science Technical
Report UCB/CSD-02-1175, U.C. Berkeley
Is
IP Going to Take Over the World (of Communications)
Pablo
Molinero-Fernandez, Nick McKeown, and Hui Zhang
Informed
Content Delivery Across Adaptive Overlay Networks
John Byers, Jeffrey
Considine, Michael Mitzenmacher, and Stanislav Rost
a revised version to
appear in SIGCOMM '02
Application-level
Multicast using Content-Addressable Networks.
In Proceedings of 3rd
International Workshop on Networked Group Communication, London, Nov 2001
by
S. Ratnasamy, M. Handley, S. Shenker, and R. Karp.
DNS Performance and
the Effectiveness of Caching
Jaeyeon Jung, Emil Sit, Hari Balakrishnan,
and Robert Morris.
Proc. ACM SIGCOMM Internet Measurement Workshop, San
Francisco, CA, November 2001.
Span: An
Energy-Efficient Coordination Algorithm for Topology Maintenance in Ad Hoc
Wireless Networks
Benjie Chen, Kyle Jamieson, Hari Balakrishnan, and
Robert Morris.
Proceedings of the 7th ACM International Conference on Mobile
Computing and Networking (MobiCom '01), Rome, Italy, July 2001.
Inferring
Internet Denial of Service Activity
David Moore, Geoffrey Voelker, and
Stefan Savage
2001 USENIX Security Symposium, Washington D.C., August 2001.
Attacking
Malicious Code - A Report to the Infosec Research Council
Gary McGraw
and Greg Morrisett.
In IEEE Software 17(5), Sep./Oct. 2000, pp.33-41.
A Case for
Language-Based Protection
Chris Hawblitzel and Thorsten von Eicken.
Technical Report 98-1670, Cornell University, Mar. 1998.
Operating
System Protection for Fine-Grained Programs
Trent Jaeger, Jochen
Liedtke, Nayeem Islam.
In Proc. 7th USENIX Security Symposium, Jan. 1998.
Extensible Security
Architectures for Java
Dan S. Wallach, Dirk Balfanz, Drew Dean, and
Edward W. Felten.
In Proc. 16th Symposium on Operating Systems Principles
(SOSP), Oct. 1997.
An
Overview of Security in the .NET Framework
Damien Watkins, Sebastian
Lange.
In MSDN Magazine, Jan. 2002.
Understanding
Java Stack Inspection
Dan S. Wallach and Edward W. Felten.
In Proc.
IEEE Symposium on Security and Privacy, May 1998.
Enforceable
Security Policies
Fred B. Schneider.
In ACM Transactions on
Information and System Security 3(1), pp.30-50, Feb. 2000.
A Type System
for Expressive Security Policies
David Walker.
In Proc. 27th ACM
SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Jan.
2000.
The
Confused Deputy
Norman Hardy.
In Operating Systems Review 22(4),
pp.36-38, Oct. 1988.
A
Lattice Model of Secure Information Flow
Dorothy Denning.
In
Communications of the ACM 19(5), May 1976.
Computer
Security in the Real World
Butler W. Lampson.
Invited Lecture, In
Proc. 16th Annual Computer Security Applications Conference (ACSAC), Dec. 2000.
Reflections
on Trusting Trust
Ken Thompson.
ACM Turing Award Lecture, In
Communications of the ACM 27(8), Aug. 1984.
Robust
Congestion Signaling
David Ely, Neil Spring, David Wetherall, Stefan
Savage, and Tom Anderson
Proceedings of the 2001 International Conference on
Network Protocols, Riverside, CA, November 2001.
Practical
Network Support for IP Traceback
Stefan Savage, David Wetherall, Anna
Karlin and Tom Anderson
Proceedings of the 2000 ACM SIGCOMM Conference, pp.
295-306, Stockholm, Sweden, August 2000.
TCP
Congestion Control with a Misbehaving Receiver
Stefan Savage, Neal
Cardwell, David Wetherall and Tom Anderson
ACM Computer Communications
Review, 29(5):71-78, October 1999.
Sting: a
TCP-based Network Measurement Tool
Stefan Savage
Proceedings of the
1999 USENIX Symposium on Internet Technologies and Systems, pp. 71-79, Boulder,
CO, October 1999.
Extensibility,
Safety and Performance in the SPIN Operating System
Brian Bershad,
Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, Marc Fiuczynski, David
Becker, Craig Chambers, and Susan Eggers
Proceedings of the 15th ACM
Symposium on Operating System Principles, pp. 267-284, Copper Mountain, CO,
December 1995.