References

[ABLL92] Thomas E. Anderson, Brian N. Bershad, Edward D. Lazowska, and Henry M. Levy. Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism. ACM Transactions on Computer Systems, 9(1), February 1992.

[BCE et. al. 94] Brian N. Bershad, Craig Chambers, Susan Eggers, Chris Maeda, Dylan McNamee, Przemyslaw Pardyak, Stefan Savage, and Emin Guun Sirer. SPIN -- An Extensible Microkernel for Application-specific Operating System Services. In 6th ACM SIGOPS European Workshop, pages 68--71, 1994.

[BDG et. al. 88] Daniel G. Bobrow, Linda G. DeMichiel, Richard P. Gabriel, Sonya E. Keene, Gregor Kiczales, and David A. Moon. Common lisp object system specification. Sigplan Notices, 23(Special Issue), September 1988.

[Bel66] L. A. Belady. A Study of Replacement Algorithms for a Virtual-Storage Computer. IBM Systems Journal, 5(2):78--101, 1966.

[Bia94] Edoardo Biagioni. A structured tcp in standard ML. In Proceedings of the ACM Symposium on Communications Architectures and Protocols, September 1994.

[BJ81] Ozalp Babaouglu and William Joy. Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Referenced Bits. In Proceedings of the Eighth Symposium on Operating Systems Principles, pages 78--86, December 1981.

[BKK et. al. 86] Daniel Bobrow, Gregor Kiczales, Kenneth Kahn, Larry Masinter, Mark Stefik, and Frank Zdybel. Commonloops: Merging lisp and object-oriented programming. In Proceedings of the Conference on Object-Oriented Programming: Systems, Languages, and Applications, 1986.

[Bla90] David. L. Black. Scheduling and Resource Management Techniques for Multiprocessors. Technical Report CMU-CS-90-152, Carnegie Mellon University, July 1990.

[CCD et. al. 94] C. Castelluccia, I. Chrisment, W. Dabbous, C. Diot, C. Huitema, E. Siegel, and R. De Simone. HIPPARCH: Tailored protocol development using ESTEREL. Technical Report TR2374, INRIA, October 1994.

[CDG et. al. 89] Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow and Greg Nelson. Modula-3 Report (revised). DEC Systems Research Center, Research Report 52, November 1989.

[CFL94] Pei Cao, Edward W. Felten, and Kai Li. Application-Controlled File Caching Policies. In USENIX Summer 1994 Technical Conference, pages 171--182, 1994.

[CM93] Shigeru Chiba and Takashi Masuda. Designing an extensible distributed language with a meta-level architecture. In Proc. of the 7th European Conference on Object-Oriented Programming, LNCS 707, pages 482--501, 1993.

[CT90] David D. Clark and David L. Tennenhouse. Architectural considerations for a new generation of protocols. In Proceedings of the ACM Symposium on Communications Architectures and Protocols, pages 200--208, September 1990.

[CUL89] Craig Chambers, David Ungar, and Elgin Lee. An Efficient Implementation of SELF, a Dynamically-Typed Object-Oriented Language Based on Prototypes OOPSLA '89 Conference Proceedings, Sigplan Notices 24(10). ACM, October 1989.

[Den71] Peter J. Denning. Third Generation Computer Systems. Computing Surveys, 3(4):175--216, December 1971.

[Epp89] Jeffrey L. Eppinger. Virtual Memory Management for Transaction Processing Systems. Technical Report CMU-CS-89-115, Carnegie Mellon University, February 1989.

[Fea82] M. Feather. A System for Assisting Program Transformation. ACM Transactions on Programming Languages and Systems, 4:1--20, 1982.

[Gog86] Joseph A. Goguen. Reusing and Interconnecting Software Components. Computer, 19(2):16--28, February 1986.

[Gog89] Joseph A. Goguen. Principles of Parameterized Programming. In Ted J. Biggerstaff and Alan J. Perlis, editors, Software Reusability--Volume I. Concepts and Models, pages 159--226. ACM Press, New York, 1989.

[GS] D. Garlan and M. Shaw. An Introduction to Software Architecture. In Advances in Software Engineering and Knowledge Engineering. World Scientific Publishing Company.

[Har77] A. Haraldsson. A Program Manipulation System Based on Partial Evaluation. PhD Thesis, Linkoping University, Sweden. 1977

[HC92] Kieran Harty and David R. Cheriton. Application-Controlled Physical Memory using External Page-Cache Management. In The Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, pages 187--197, October 1992.

[HKM et. al.88] John H. Howard, Michael L. Kazar, Sherri G. Menees, David A. Nichols, M. Satyanarayanan, Robert N. Sidebotham, and Michael J. West. Scale and Performance in a Distributed File System. ACM Transactions on Computer Systems, 6(1):51--81, February 1988.

[HO93] William Harrison and Harold Ossher. Subject-Oriented Programming (A Critique of Pure Objects). In Proceedings of the OOPSLA '93 Conference on Object-oriented Programming Systems, Languages and Applications, pages 411--428, October 1993. Published as Proceedings OOPSLA '93, ACM SIGPLAN Notices, volume 28, number10.

[IMY92] Yuuji Ichisugi, Satoshi Matsuoka, and Akinori Yonezawa. Rbc1: A reflective object-oriented concurrrent language without a run-time kernel. In Proceedings of the International Workshop on New Models for Software Architecture '92; Reflection and Meta-Level Architecture, pages 24--35, 1992.

[Jac88] Van Jacobson. Congestion Avoidance and Control. In Proceedings of the SIGCOMM '88 Symposium on Communications Architectures and Protocols, pages 314--329. ACM, August 1988.

[KR78] Brian W. Kernighan and Dennis M. Ritchie. The C Programming Language. Prentice-Hall, 1978.

[KR93] Gregor Kiczales and Luis Rodriguez. Efficient method dispatch in PCL. In A. Paepcke, editor, Object-Oriented Programming: The CLOS Perspective, pages 335--348. The MIT Press, Cambridge, MA, 1993.

[LCC et. al.75] R. Levin, E. Cohen, W. Corwin, F. Pollack, and W. Wulf. Policy/mechanism separation in hydra. In Proceedings of The Fifth Symposium on Operating Systems Principles, pages 132--140. SIGOPS and ACM, Association for Computing Machinery, 1975.

[LKRR92] John Lamping, Gregor Kiczales, Luis H. Rodriguez Jr., and Erik Ruf. An architecture for an open compiler. In Proceedings of the IMSA'92 Workshop on Reflection and Meta-level Architectures, 1992. Also to appear in forthcoming PARC Technical Report.

[MA90] Dylan McNamee and Katherine Armstrong. Extending the Mach External Pager Interface to Accommodate User-Level Page Replacement Policies. In Proceedings of the USENIX Association Mach Workshop, pages 17--29, 1990.

[Mae87] Pattie Maes. Computational Reflection (Ph.D. thesis). Technical Report 87-2, Artificial Intelligence Laboratory, Vrije Universiteit Brussel, 1987.

[MB93a] C. Maeda and B.N. Bershad. Protocol service decomposition for high-performance networking. In The 14th ACM Symposium on Operating System Principles, December 1993.

[MB93b] Chris Maeda and Brian N. Bershad. Service without Servers. In Fourth Workshop on Workstation Operating Systems, pages 170--176, 1993.

[MIO87] J. Musa, A. Iannino, and K. Okumoto. Software Reliability--Measurement, Prediction and Application. McGraw-Hill, 1987.

[Nel91] Greg Nelson. Systems Programming with Modula-3. Prentice-Hall. Prentice Hall Series in Innovative Technology, 1991.

[NWO88] Michael N. Nelson, Brent B. Welch, and John K. Ousterhout. Caching in the Sprite Network File System. ACM Transactions on Computer Systems, 6(1):134--154, February 1988.

[OIT92] Hideaki Okamura, Yutaka Ishikawa, and Mario Tokoro. Al-1/d: A distributed programming system with multi-model reflection framework. In Proceedings of the International Workshop on New Models for Software Architecture '92; Reflection and Meta-Level Architecture, pages 36--47, 1992.

[OP92] Sean W. O'Malley and Larry L. Peterson. A dynamic network architecture. ACM Transactions on Computer Systems, 10(2):110--143, May 1992.

[Par72] D. L. Parnas. On the criteria to be used in decomposing systems into modules. Communications of the ACM, 15(2), December 1972.

[PGS93] R. Hugo Patterson, Garth A. Gibson, and M. Satyanarayanan. A Status Report on Research in Transparent Informed Prefetching. Operating Systems Review, 27(2):21--34, April 1993.

[Rit84] D. M. Ritchie. A stream input-output system. AT\&T Bell Laboratories Technical Journal, 63(8):1897--1910, October 1984.

[Sir94] Martin J. Sirkin. A Software System Generator for Data Structures. PhD thesis, University of Washington, 1994.

[Smi82] Brian Cantwell Smith. Reflection and semantics in a procedural language (Ph.D. thesis). Technical Report TR-272, Laboratory for Computer Science, MIT, 1982.

[Smi84] Brian Cantwell Smith. Reflection and semantics in Lisp. In Proceedings of the ACM Symposium on Principles of Programming Languages (POPL), pages 23--35, 1984.

[SP91] Stuart Sechrest and Yoonho Park. User-Level Physical Memory Management for Mach. In Proceedings of the USENIX Mach Symposium, pages 189--199, November 1991.

[Ste84] Guy L. Steele. Common Lisp: The Language. Digital Press, 1984.

[STR91] Bjarne Stroustrup. The C++ Programming Language, Second Edition. Addison-Wesley, 1991.

[Sul94] Kevin J. Sullivan. Mediators: Easing the Design and Evolution of Integrated Software Systems. (Ph.D. thesis) University of Washington, 1994. Forthcoming.

[SW80] Mary Shaw and Wm. A. Wulf. Towards relaxing assumptions in languages and their implementations. SIGPLAN Notices, 15(3):45--61, 1980.

[TNML93] C.A. Thekkath, T.D. Nguyen, E. Moy, and E.D. Lazowska. Implementing network protocols at user level. IEEE/ACM Transactions on Networking, 1(5), October 1993.

[WY88] Takuo Watanabe and Akinori Yonezawa. Reflection in an object-oriented concurrent language. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), San Diego CA., pages 306--315. ACM, September 1988.

[You89] Michael Wayne Young. Exporting a User Interface to Memory Management from a Communication-Oriented Operating System. Technical Report CMU-CS-89-202, Carnegie Mellon University, November 1989.

Back to Main Workshop Page

Back to the Open Implementation Home Page