Programming semantics for multiprogrammed computations

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Programming semantics for multiprogrammed computations

Full text

Pdf (1.47 MB)

Source

Communications of the ACM archive
Volume 9 , Issue 3 (March 1966) table of contents

Pages: 143 - 155

Year of Publication: 1966

ISSN:0001-0782

Authors

Jack B. Dennis	Massachusetts Institute of Technology, Cambridge
Earl C. Van Horn	Massachusetts Institute of Technology, Cambridge

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 20, Downloads (12 Months): 102, Citation Count: 175

Additional Information:

abstract references cited by collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/365230.365252 What is a DOI?

ABSTRACT

The semantics are defined for a number of meta-instructions which perform operations essential to the writing of programs in multiprogrammed computer systems. These meta-instructions relate to parallel processing, protecting of separate computations, program debugging, and the sharing among users of memory segments and other computing objects, the names of which are hierarchically structured. The language sophistication contemplated is midway between an assembly language and an advanced algebraic language.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	DESMONDE, W. H. Real-Time Data Processing Systems: Introductory Concepts. Prentice-HMl, Englewood Cliffs, N. J., 1964.
	2	J. E. Hamlin, A general description of the national aeronautics and space administration real time computing complex, Proceedings of the 1964 19th ACM national conference, p.12.201-12.2022, January 1964 [doi>10.1145/800257.808890]
	3	FANO, R. M. The MAC system: the computer utility approach. IEEE Spectrum 2 (Jan. 1965), 56-64.
	4	DENNIS, J. B., AND GLASEE, E. The structure of on-line information processing systems. Information Systems Sciences: Proc. Second Cong., Spartan Books, Baltimore, 1965, pp. 1-11.
	5	ILIFFE, J. K., AND JODEIT, J. G. A dynamic storage allocation scheme. Comput. J. 5 (Oct. 1962), 200-209.
	6	GREENFIELD, M. N. FACT segmentation. AFIPS Conf. Proc. 21, Spartan Books, Baltimore, 1962, pp. 307-315.
	7	Anatol W. Holt, Program organization and record keeping for dynamic storage allocation, Communications of the ACM, v.4 n.10, p.422-431, Oct. 1961 [doi>10.1145/366786.366795]
	8	Jack B. Dennis, Segmentation and the Design of Multiprogrammed Computer Systems, Journal of the ACM (JACM), v.12 n.4, p.589-602, Oct. 1965 [doi>10.1145/321296.321310]
	9	GLASER, E., COULEUR, J., ANn OLIVER, O. System design of a computer for time-sharing applications. AFIPS Conf. Proc. 28, Spartan Books, Baltimore, 1965, p. 197-202.
	10	FORGIE, J.W. A time- and memory-sharing executive program for quick-response, on-line applications. AFIPS Conf. Proc. 28, Spartan Books, Baltimore, 1965, p. 599-609.
	11	COMFORT, W.T. A computing system design for user service. AFIPS Conf. Proe. 28, Spartan Books, Baltimore, 1965, p. 619-626.
	12	McCuLLOUGH, J. D., SPEIERMAN, K. H., AND ZURCHER, F. W. A design for a multiple user multiprocessing system. AFIPS Conf. Proc. 28, Spartan Books, Baltimore, 1965, p. 611-617.
	13	J. B. Dennis, PROGRAM STRUCTURE IN A MULTI-ACCESS COMPUTER, Massachusetts Institute of Technology, Cambridge, MA, 1964
	14	CONWAY, M. A multiprocessor system design. AFIPS Conf. Proc. 24, Spartan Books, Baltimore, 1963, pp. 139-146.
	15	CRISMAN, P. (ED.) The Compatible Time-Sharing System: A Programmer's Guide. MIT Press, Cambridge, Mass., 2d ed., 1965, sec. AD. 2.
	16	HoslEn, W. A. Pitfalls and safeguards in real-time digital systems with emphasis on programming. IRE Trans. EM-8 (June 1961), 99-115.
	17	John McCarthy , Fernando J. Corbató , Marjorie M. Daggett, The linking segment subprogram language and linking loader, Communications of the ACM, v.6 n.7, p.391, July 1963 [doi>10.1145/366663.366702]
	18	F. J. Corbató, The Compatible Time-Sharing System: A Programmer's Guide, The MIT Press, 1963
	19	DALEY, R. C., AND NEUMAN, P. G. A general purpose file system for secondary storage. AFIPS Conf. Proc. 28, Spartan Books, Baltimore, 1965, p. 213-229.

CITED BY 175

	William B. Ackerman , William W. Plummer, An implementation of a multiprocessing computer system, Proceedings of the first ACM symposium on Operating System Principles, p.5.1-5.10, January 1967
	Charles M. Geschke , James H. Morris, Jr. , Edwin H. Satterthwaite, Early experience with Mesa, Communications of the ACM, v.20 n.8, p.540-553, Aug. 1977
	Dorothy E. Denning , Peter J. Denning, Data Security, ACM Computing Surveys (CSUR), v.11 n.3, p.227-249, Sept. 1979
	K. K. Leong , K. M. Yu , W. B. Lee, A security model for distributed product data management system, Computers in Industry, v.50 n.2, p.179-193, February 2003
	Jack L. Rosenfeld, A case study in programming for parallel-processors, Communications of the ACM, v.12 n.12, p.645-655, Dec. 1969
	James H. Morris, Jr., Protection in programming languages, Communications of the ACM, v.16 n.1, p.15-21, Jan. 1973
	Michael A. Harrison , Walter L. Ruzzo , Jeffrey D. Ullman, Protection in operating systems, Communications of the ACM, v.19 n.8, p.461-471, Aug. 1976
	Michale J. Spier , Thomas N. Hastings , David N. Cutler, An experimental implementation of the kernel/domain architecture, ACM SIGOPS Operating Systems Review, v.7 n.4, p.8-21, October 1973
	Gary D. Hornbuckle, A multiprogramming monitor for small machines, Communications of the ACM, v.10 n.5, p.273-278, May 1967
	Trent Jaeger , Atul Prakash , Jochen Liedtke , Nayeem Islam, Flexible control of downloaded executable content, ACM Transactions on Information and System Security (TISSEC), v.2 n.2, p.177-228, May 1999
	R. Stockton Gaines, An operating system based on the concept of a supervisory computer, Communications of the ACM, v.15 n.3, p.150-156, March 1972
	Gregory R. Andrews , Fred B. Schneider, Concepts and Notations for Concurrent Programming, ACM Computing Surveys (CSUR), v.15 n.1, p.3-43, March 1983
	C. Bétourné , J. Boulenger , J. Ferrié , C. Kaiser , S. Krakowiak , J. Mossière, Process management and resource sharing in the multiaccess system in ESOPE, Communications of the ACM, v.13 n.12, p.727-733, Dec. 1970
	Thomas Riechmann , Franz J. Hauck, Meta objects for access control: a formal model for role-based principals, Proceedings of the 1998 workshop on New security paradigms, p.30-38, September 22-26, 1998, Charlottesville, Virginia, United States
	L. M. Chirica , D. F. Martin , T. A. Dreisbach , J. G. Peetz , A. Sorkin, Two PARALLEL EULER run time models: The dangling reference, impostor environment, and label problems, Proceedings of the ACM-IEEE symposium on High-level-language computer architecture, p.141-151, November 07-08, 1973, College Park, Maryland, United States
	Peter J. Denning, The working set model for program behavior, Proceedings of the first ACM symposium on Operating System Principles, p.15.1-15.12, January 1967
	Lance J. Hoffman, Computers and Privacy: A Survey, ACM Computing Surveys (CSUR), v.1 n.2, p.85-103, June 1969
	M. D. Guzzi , J. P. Hoeflinger , D. A. Padua , D. H. Lawrie, Cedar Fortran and other Vector and parallel Fortran dialects, Proceedings of the 1988 ACM/IEEE conference on Supercomputing, p.114-121, November 12-17, 1988, Orlando, Florida, United States
	Earl C. Van Horn, Three criteria for designing computing systems to facilitate debugging, Proceedings of the first ACM symposium on Operating System Principles, p.7.1-7.5, January 1967
	Peter Freeman, Software reliability and design: A survey, Proceedings of the 13th conference on Design automation, p.484-494, June 28-30, 1976, San Francisco, California, United States
	Michael A. Harrison , Walter L. Ruzzo , Jeffrey D. Ullman, On protection in operating systems, ACM SIGOPS Operating Systems Review, v.9 n.5, p.14-24, November 1975
	W. Wulf , R. Levin , C. Pierson, Overview of the Hydra Operating System development, ACM SIGOPS Operating Systems Review, v.9 n.5, p.122-131, November 1975
	Won Kim, Relational Database Systemsr, ACM Computing Surveys (CSUR), v.11 n.3, p.187-211, Sept. 1979
	Peter J. Denning, The working set model for program behavior, Communications of the ACM, v.11 n.5, p.323-333, May 1968
	C. V. Ramamoorthy , M. J. Gonzalez, Recognition and representation of parallel processable streams in computer programs-II (Task/process Parallelism), Proceedings of the 1969 24th national conference, p.387-397, August 26-28, 1969
	Robert M. Keller, Parallel Program Schemata and Maximal Parallelism I. Fundamental Results, Journal of the ACM (JACM), v.20 n.3, p.514-537, July 1973
	H. K. Reghbati , V. C. Hamacher, Hardware support for concurrent programming in loosely coupled multiprocessors, Proceedings of the 5th annual symposium on Computer architecture, p.195-201, April 03-05, 1978
	Andrew S. Tanenbaum, Corrigenda: “A Tutorial on Algol 68”, ACM Computing Surveys (CSUR), v.9 n.3, p.255-256, Sept. 1977
	Gregory R. Andrews, Parallel programs: proofs, principles, and practice, Communications of the ACM, v.24 n.3, p.140-145, March 1981
	Butler W. Lampson, A scheduling philosophy for multi-processing systems, Proceedings of the first ACM symposium on Operating System Principles, p.8.1-8.24, January 1967
	G. Saunders , M. Hitchens , V. Varadharajan, Role-based access control and the access control matrix, ACM SIGOPS Operating Systems Review, v.35 n.4, p.6-20, October 2001
	A. Shoshani , A. J. Bernstein, Synchronization in a parallel-accessed data base, Communications of the ACM, v.12 n.11, p.604-607, Nov. 1969
	Andrew S. Tanenbaum , Robbert Van Renesse, Distributed operating systems, ACM Computing Surveys (CSUR), v.17 n.4, p.419-470, Dec. 1985
	Peter J. Denning, Fault Tolerant Operating Systems, ACM Computing Surveys (CSUR), v.8 n.4, p.359-389, Dec. 1976
	R. S. Fabry, Capability-based addressing, Communications of the ACM, v.17 n.7, p.403-412, July 1974
	E. G. Coffman , M. Elphick , A. Shoshani, System Deadlocks, ACM Computing Surveys (CSUR), v.3 n.2, p.67-78, June 1971
	Peter J. Denning, ACM president's letter: are operating systems obsolete?, Communications of the ACM, v.25 n.4, p.225-227, April 1982
	Jules I. Schwartz, Online programming, Communications of the ACM, v.9 n.3, p.199-203, March 1966
	Jeffrey S. Chase , Henry M. Levy , Michael J. Feeley , Edward D. Lazowska, Sharing and protection in a single-address-space operating system, ACM Transactions on Computer Systems (TOCS), v.12 n.4, p.271-307, Nov. 1994
	Thomas Riechmann , Franz J. Hauck, Meta objects for access control: extending capability-based security, Proceedings of the 1997 workshop on New security paradigms, p.17-22, September 23-26, 1997, Langdale, Cumbria, United Kingdom
	Peter J. Denning, Virtual Memory, ACM Computing Surveys (CSUR), v.2 n.3, p.153-189, Sept. 1970
	Anita K. Jones , Barbara H. Liskov, A language extension for expressing constraints on data access, Communications of the ACM, v.21 n.5, p.358-367, May 1978
	R. J. Lipton, Limitations of synchronization primitives with conditional branching and global variables, Proceedings of the sixth annual ACM symposium on Theory of computing, p.230-241, April 30-May 02, 1974, Seattle, Washington, United States
	Jonathan M. Silverman, Reflections on the verification of the security of an operating system kernel, ACM SIGOPS Operating Systems Review, v.17 n.5, p.143-154, October 1983
	Jack B. Dennis, Retrospective: a preliminary architecture for a basic data flow processor, 25 years of the international symposia on Computer architecture (selected papers), p.2-4, June 27-July 02, 1998, Barcelona, Spain
	Walter F. Tichy, Programming-in-the-large: past, present, and future, Proceedings of the 14th international conference on Software engineering, p.362-367, May 11-15, 1992, Melbourne, Australia
	Richard W. Conn , Richard H. Yamamoto, A model highlighting the security of operating systems, Proceedings of the 1974 annual conference, p.174-179, January 1974
	B. Bershad , T. Anderson , E. Lazowska , H. Levy, Lightweight remote procedure call, ACM SIGOPS Operating Systems Review, v.23 n.5, p.102-113, Dec. 3–6, 1989
	G. Weck , B. Wiesner, Design and implementation of a portable database system for small computers, ACM SIGSMALL Newsletter, v.7 n.2, p.162-173, October 1981
	Jack B. Dennis, Surveyor's Forum: An Error Recovery, ACM Computing Surveys (CSUR), v.9 n.3, p.254, Sept. 1977
	George W. Cox , William M. Corwin , Konrad K. Lai , Fred J. Pollack, Interprocess communication and processor dispatching on the Intel 432, ACM Transactions on Computer Systems (TOCS), v.1 n.1, p.45-66, Feb. 1983
	Niklaus Wirth, On multiprogramming, machine coding, and computer organization, Communications of the ACM, v.12 n.9, p.489-498, Sept. 1969
	Peter J. Denning, The working set model for program behavior, Communications of the ACM, v.26 n.1, p.43-48, Jan. 1983
	Mark W. Newman , Shahram Izadi , W. Keith Edwards , Jana Z. Sedivy , Trevor F. Smith, User interfaces when and where they are needed: an infrastructure for recombinant computing, Proceedings of the 15th annual ACM symposium on User interface software and technology, October 27-30, 2002, Paris, France
	J. Carver Hill, Synchronizing processors with memory-content-generated interrupts, Communications of the ACM, v.16 n.6, p.350-351, June 1973
	Sape Mullender, Making Amoeba work, Proceedings of the 2nd workshop on Making distributed systems work, p.1-3, September 08-10, 1986, Amsterdam, Netherlands
	Donald D. Chamberlin, An adaptation of dataflow methods for WYSIWYG document processing, Proceedings of the ACM conference on Document processing systems, p.101-109, December 05-08, 1988, Santa Fe, New Mexico, United States
	Norman Adams , Jonathan Rees, Object-oriented programming in scheme, Proceedings of the 1988 ACM conference on LISP and functional programming, p.277-288, July 25-27, 1988, Snowbird, Utah, United States
	David P. Reed, Implementing atomic actions on decentralized data, ACM Transactions on Computer Systems (TOCS), v.1 n.1, p.3-23, Feb. 1983
	Preet J. Nedginn , Trebor L. Bworn, CLOG:^6,SM,©,21an Ada^® package for automatic footnote generation in Unix^TM, Communications of the ACM, v.27 n.4, p.351, April 1984
	Robert C. Daley , Jack B. Dennis, Virtual memory, processes, and sharing in MULTICS, Communications of the ACM, v.11 n.5, p.306-312, May 1968
	Harry J. Saal , Israel Gat, A hardware architecture for controlling information flow, Proceedings of the 5th annual symposium on Computer architecture, p.73-77, April 03-05, 1978
	J. K. Iliffe, Surveyor's Forum: An Error Recovery, ACM Computing Surveys (CSUR), v.9 n.3, p.253-254, Sept. 1977
	Michael J. Manthey, A model for and discussion of multi-interpreter systems, Communications of the ACM, v.22 n.5, p.299-309, May 1979
	John Rosenberg , Alan Dearle , David Hulse , Anders Lindström , Stephen Norris, Operating system support for persistent and recoverable computations, Communications of the ACM, v.39 n.9, p.62-69, Sept. 1996
	Ravinderpal Singh Sandhu, The schematic protection model: its definition and analysis for acyclic attenuating schemes, Journal of the ACM (JACM), v.35 n.2, p.404-432, April 1988
	Bruce J. MacLennan, A simple software environment based on objects and relations, ACM SIGPLAN Notices, v.18 n.6, p.199-207, June 1983
	J. J. Horning , B. Randell, Process Structuring, ACM Computing Surveys (CSUR), v.5 n.1, p.5-30, March 1973
	D. A. Abramson , J. Rosenberg, The microarchitecture of a capability-based computer, ACM SIGMICRO Newsletter, v.17 n.4, p.138-145, Dec. 1986
	M. C. Harrison , J. T. Schwartz, SHARER, a time sharing system for the CDC 6600, Communications of the ACM, v.10 n.10, p.659-665, Oct. 1967
	G. J. Myers , B. R. S. Buckingham, A hardware implementation of capability-based addressing, ACM SIGARCH Computer Architecture News, v.8 n.6, p.12-24, October 1980
	Butler W. Lampson, A scheduling philosophy for multiprocessing systems, Communications of the ACM, v.11 n.5, p.347-360, May 1968
	Theodore A. Linden, Operating System Structures to Support Security and Reliable Software, ACM Computing Surveys (CSUR), v.8 n.4, p.409-445, Dec. 1976
	Lawrence Robinson, Specification techniques, Proceedings of the 13th conference on Design automation, p.470-478, June 28-30, 1976, San Francisco, California, United States
	Attila Gürsoy , L. V. Kalé, High level support for divide-and-conquer parallelism, Proceedings of the 1991 ACM/IEEE conference on Supercomputing, p.283-292, November 18-22, 1991, Albuquerque, New Mexico, United States
	David C. Walden, A system for interprocess communication in a resource sharing computer network, Communications of the ACM, v.15 n.4, p.221-230, April 1972
	Robert C. Daley , Jack B. Dennis, Virtual memory, processes, and sharing in Multics, Proceedings of the first ACM symposium on Operating System Principles, p.12.1-12.8, January 1967
	Brian N. Bershad , Thomas E. Anderson , Edward D. Lazowska , Henry M. Levy, Lightweight remote procedure call, ACM Transactions on Computer Systems (TOCS), v.8 n.1, p.37-55, Feb. 1990
	L. Anido-Rifón , M. Llamas-Nistal , M. J. Fernández-Iglesias, A component model for stardardized web-based education, Proceedings of the 10th international conference on World Wide Web, p.86-95, May 01-05, 2001, Hong Kong, Hong Kong
	Peter Wegner, Machine organization for multiprogramming, Proceedings of the 1967 22nd national conference, p.135-150, January 1967, Washington, D.C., United States
	Y. C. Yan , S. F. Lundstrom, The Post-Game Analysis Framework-Developing Resource Management Strategies for Concurrent Systems, IEEE Transactions on Knowledge and Data Engineering, v.1 n.3, p.293-309, September 1989
	A. Singh , J. Schaeffer , M. Green, A Template-Based Approach to the Generation of Distributed Applications Using a Network of Workstations, IEEE Transactions on Parallel and Distributed Systems, v.2 n.1, p.52-67, January 1991
	Antony Edwards , Gernot Heiser, Components + security = OS extensibility, Australian Computer Science Communications, v.23 n.4, p.27-34, January 2001
	Micah Beck , Terry Moore , James S. Plank, An end-to-end approach to globally scalable network storage, ACM SIGCOMM Computer Communication Review, v.32 n.4, October 2002
	Micah Beck , Terry Moore , James S. Plank, An end-to-end approach to globally scalable programmable networking, ACM SIGCOMM Computer Communication Review, v.33 n.4, October 2003
	G. W. Gerrity, On processes and interrupts, ACM SIGARCH Computer Architecture News, v.9 n.4, p.4-14, June 1981
	Jack B. Dennis, Fresh Breeze: a multiprocessor chip architecture guided by modular programming principles, ACM SIGARCH Computer Architecture News, v.31 n.1, March 2003
	Jeremy Dion, The Cambridge File Server, ACM SIGOPS Operating Systems Review, v.14 n.4, p.26-35, October 1980
	Emmett Witchel , Josh Cates , Krste Asanović, Mondrian memory protection, ACM SIGPLAN Notices, v.37 n.10, October 2002
	G. Forsythe, Syllabi and qualifying examinations for the Ph. D. in computer science at Stanford University, ACM SIGCSE Bulletin, v.1 n.4, p.25-34, December 1969
	Peter J. Denning, Principles of computer system organization, ACM SIGCSE Bulletin, v.2 n.3, p.45-55, November 1970
	Michael M. Swift , Brian N. Bershad , Henry M. Levy, Improving the reliability of commodity operating systems, Proceedings of the nineteenth ACM symposium on Operating systems principles, October 19-22, 2003, Bolton Landing, NY, USA
	C. Bétourné , J. Boulenger , J. Ferrié , C. Kaiser , J. Kott , S. Krakowiak , J. Mossière, Process management and resource sharing in the multiaccess system "ESOPE", Proceedings of the second symposium on Operating systems principles, October 20-22, 1969, Princeton, New Jersey
	John M. Chambers, A user-controlled synchronization method, ACM SIGOPS Operating Systems Review, v.7 n.2, p.16-25, April 1973
	Michael J. Spier , Elliott I. Organick, The multics interprocess communication facility, Proceedings of the second symposium on Operating systems principles, October 20-22, 1969, Princeton, New Jersey
	Tatsuya Hayashi, A new approach to construction of computer systems, Proceedings of the 1975 annual conference, p.19-23, January 1975
	W. Wulf , E. Cohen , W. Corwin , A. Jones , R. Levin , C. Pierson , F. Pollack, HYDRA: the kernel of a multiprocessor operating system, Communications of the ACM, v.17 n.6, p.337-345, June 1974
	Jonathan S. Shapiro , Jonathan M. Smith , David J. Farber, EROS: a fast capability system, ACM SIGOPS Operating Systems Review, v.33 n.5, p.170-185, Dec. 1999
	David K. Gifford, Cryptographic sealing for information secrecy and authentication, Communications of the ACM, v.25 n.4, p.274-286, April 1982
	Michael D. Schroeder , Jerome H. Saltzer, A hardware architecture for implementing protection rings, Communications of the ACM, v.15 n.3, p.157-170, March 1972
	Peter J. Denning, Third Generation Computer Systems, ACM Computing Surveys (CSUR), v.3 n.4, p.175-216, Dec. 1971
	M. Frans Kaashoek , Dawson R. Engler , Gregory R. Ganger , Hector M. Briceño , Russell Hunt , David Mazières , Thomas Pinckney , Robert Grimm , John Jannotti , Kenneth Mackenzie, Application performance and flexibility on exokernel systems, ACM SIGOPS Operating Systems Review, v.31 n.5, p.52-65, Dec. 1997
	Glenford J. Myers, Storage concepts in a software-reliability-directed computer architecture, Proceedings of the 5th annual symposium on Computer architecture, p.107-113, April 03-05, 1978
	J. L. Baer, A Survey of Some Theoretical Aspects of Multiprocessing, ACM Computing Surveys (CSUR), v.5 n.1, p.31-80, March 1973
	Andrew S. Tanenbaum , Robbert van Renesse , Hans van Staveren , Gregory J. Sharp , Sape J. Mullender, Experiences with the Amoeba distributed operating system, Communications of the ACM, v.33 n.12, p.46-63, Dec. 1990
	William B. Easton, Process synchronization without long-term interlock, Proceedings of the third ACM symposium on Operating systems principles, p.95-100, October 18-20, 1971, Palo Alto, California, United States
	Robert T. Braden, A server host system on the ARPANET, Proceedings of the fifth symposium on Data communications, p.4.1-4.9, September 27-29, 1977, Snowbird, Utah, United States
	Earl C. Van Horn, Three criteria for designing computing systems to facilitate debugging, Communications of the ACM, v.11 n.5, p.360-365, May 1968
	Gerald J. Popek , Charles S. Kline, Encryption and Secure Computer Networks, ACM Computing Surveys (CSUR), v.11 n.4, p.331-356, Dec. 1979
	Garth A. Gibson , David F. Nagle , Khalil Amiri , Jeff Butler , Fay W. Chang , Howard Gobioff , Charles Hardin , Erik Riedel , David Rochberg , Jim Zelenka, A cost-effective, high-bandwidth storage architecture, ACM SIGOPS Operating Systems Review, v.32 n.5, p.92-103, Dec. 1998
	Lawrence Robinson , Karl N. Levitt , Peter G. Neumann , Ashok R. Saxena, On attaining reliable software for a secure operating system, ACM SIGPLAN Notices, v.10 n.6, p.267-284, June 1975
	J. E. Shemer , A. J. Collmeyer, Database sharing: A study of interference, roadblock and deadlock, Proceedings of 1972 ACM-SIGFIDET workshop on Data description, access and control, p.147-163, January 1972
	Leonard Mor , Joseph H. Yott , Hans Zima, Progress: a programming language for real-time systems, ACM SIGPLAN Notices, v.7 n.6, June 1972
	J. L. Keedy, A technique for passing reference parameters in an information-hiding architecture, ACM SIGARCH Computer Architecture News, v.7 n.9, p.11-15, August 1979
	G. J. Myers , B. R. S. Buckingham, A hardware implementation of capability-based addressing, ACM SIGOPS Operating Systems Review, v.14 n.4, p.13-25, October 1980
	Andrew S. Tanenbaum , Sape J. Mullender, An overview of the Amoeba distributed operating system, ACM SIGOPS Operating Systems Review, v.15 n.3, p.51-64, July 1981
	Johannes Madsen, A computer system supporting data abstraction, ACM SIGOPS Operating Systems Review, v.15 n.2, p.38-78, April 1981
	Barry C. Goldstein , Thomas W. Scrutchin, A machine-oriented resource management architecture, ACM SIGARCH Computer Architecture News, v.3 n.4, p.214-219, December 1974
	Yutaka Ishikawa , Mario TOKORO, The design of an object oriented architecture, ACM SIGARCH Computer Architecture News, v.12 n.3, p.178-187, June 1984
	L. M. Chirica , T. A. Dreisbach , D. F. Martin , J. G. Peetz , A. Sorkin, Two parallel EULER run time models: the dangling reference, impostor environment, and label problems, ACM SIGPLAN Notices, v.8 n.11, November 1973
	Peter J. Denning, Principles of computer system organization, Proceedings of the first SIGCSE technical symposium on Education in computer science, p.45-55, January 1970
	D. B. Lomet, Process structuring, synchronization, and recovery using atomic actions, ACM SIGPLAN Notices, v.12 n.3, p.128-137, March 1977
	Johannes Madsen, A computer system supporting data abstraction, ACM SIGOPS Operating Systems Review, v.15 n.1, p.45-72, January 1981
	Michael M. Swift , Brian N. Bershad , Henry M. Levy, Improving the reliability of commodity operating systems, ACM Transactions on Computer Systems (TOCS), v.23 n.1, p.77-110, February 2005
	David A. Fisher, A survey of control structures in programming languages, ACM SIGPLAN Notices, v.7 n.11, November 1972
	K. Mani Chandy , Ian Foster, A Notation for Deterministic Cooperating Processes, IEEE Transactions on Parallel and Distributed Systems, v.6 n.8, p.863-871, August 1995
	Peter S. Browne, Computer security: a survey, ACM SIGMIS Database, v.4 n.3, p.1-12, Fall 1972
	William B. Easton, Process synchronization without long-term interlock, ACM SIGOPS Operating Systems Review, v.6 n.1/2, June 1972
	Gary D. Knott, A proposal for certain process management and intercommunication primitives, ACM SIGOPS Operating Systems Review, v.8 n.4, p.7-44, October 1974
	Butler W. Lampson, Protection, ACM SIGOPS Operating Systems Review, v.8 n.1, p.18-24, January 1974
	Daniel M. Berry, Introduction to Oregano, ACM SIGPLAN Notices, v.6 n.2, February 1971
	Peter Hibbard, Multiprocessor software design, Proceedings of the ACM 1980 annual conference, p.527-536, January 1980
	Feike W. Dillema , Simone Lupetti, Rendezvous-based access control for medical records in the pre-hospital environment, Proceedings of the 1st ACM SIGMOBILE international workshop on Systems and networking support for healthcare and assisted living environments, June 11-11, 2007, San Juan, Puerto Rico
	Christian Payne, A cryptographic access control architecture secure against privileged attackers, Proceedings of the 2007 ACM workshop on Computer security architecture, November 02-02, 2007, Fairfax, Virginia, USA
	Peter J. Denning, Operating Systems: A statistical model for console behavior in multiuser computers, Communications of the ACM, v.11 n.9, p.605-612, Sept. 1968
	Yuji Chiba, Heap protection for Java virtual machines, Proceedings of the 4th international symposium on Principles and practice of programming in Java, August 30-September 01, 2006, Mannheim, Germany
	Mihai Budiu , Úlfar Erlingsson , Martín Abadi, Architectural support for software-based protection, Proceedings of the 1st workshop on Architectural and system support for improving software dependability, p.42-51, October 21-21, 2006, San Jose, California
	Nur Izura Udzir , Alan M. Wood , Jeremy L. Jacob, Coordination with multicapabilities, Science of Computer Programming, v.64 n.2, p.205-222, January, 2007
	Andrew Whitaker , Richard S. Cox , Marianne Shaw , Steven D. Grible, Constructing services with interposable virtual hardware, Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation, p.13-13, March 29-31, 2004, San Francisco, California
	Emmett Witchel , Krste Asanović, Hardware works, software doesn't: enforcing modularity with Mondriaan memory protection, Proceedings of the 9th conference on Hot Topics in Operating Systems, p.24-24, May 18-21, 2003, Lihue, Hawaii
	Leendert van Doorn, A secure java^TM virtual machine, Proceedings of the 9th conference on USENIX Security Symposium, p.2-2, August 14-17, 2000, Denver, Colorado
	David S. Peterson , Matt Bishop , Raju Pandey, A Flexible Containment Mechanism for Executing Untrusted Code, Proceedings of the 11th USENIX Security Symposium, p.207-225, August 05-09, 2002
	Michael Golm , Meik Felser , Christian Wawersich , Jürgen Kleinöder, The JX Operating System, Proceedings of the General Track: 2002 USENIX Annual Technical Conference, p.45-58, June 10-15, 2002
	Jonathan S. Shapiro , Jonathan Adams, Design Evolution of the EROS Single-Level Store, Proceedings of the General Track: 2002 USENIX Annual Technical Conference, p.59-72, June 10-15, 2002
	Andrew Berman , Virgil Bourassa , Erik Selberg, TRON: process-specific file protection for the UNIX operating system, Proceedings of the USENIX 1995 Technical Conference Proceedings on USENIX 1995 Technical Conference Proceedings, p.14-14, January 16-20, 1995, New Orleans, Louisiana
	Serge E. Hallyn , Phil Kearns, Domain and type enforcement for linux, Proceedings of the 4th conference on 4th Annual Linux Showcase & Conference, Atlanta, p.15-15, October 10-14, 2000, Atlanta, Georgia
	Trent Jaeger , Jochen Liedtke , Vsevolod Panteleenko , Yoonho Park , Nayeem Islam, Security architecture for component-based operating systems, Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications, p.222-228, September 1998, Sintra, Portugal
	A. N. Habermann, Prevention of system deadlocks, Communications of the ACM, v.12 n.7, p.373-ff., July 1969
	Roger Oliver, Protection in a distributed document processing system, ACM SIGOPS Operating Systems Review, v.24 n.2, p.56-65, April 1990
	Jean Bacon , Richard Hayton , Sai Lai Lo , Ken Moody, Extensible access control for a hierarchy of servers, ACM SIGOPS Operating Systems Review, v.28 n.3, p.4-15, July 1994
	Marco de Vivo , Gabriela O. de Vivo , Luis Gonzalez, A brief essay on capabilities, ACM SIGPLAN Notices, v.30 n.7, p.29-36, July 1995
	Jim Gray, Locking, Record of the Project MAC conference on concurrent systems and parallel computation, ACM, New York, NY, 1970
	Toby Murray , Duncan Grove, Non-delegatable authorities in capability systems, Journal of Computer Security, v.16 n.6, p.743-759, December 2008
	K. C. Sevcik , J. W. Atwood , M. S. Grushcow , R. C. Holt , J. J. Horning , D. Tsichritzis, Project SUE as a learning experience, Proceedings of the December 5-7, 1972, fall joint computer conference, part I, December 05-07, 1972, Anaheim, California
	Yuji Chiba, Java heap protection for debugging native methods, Science of Computer Programming, v.70 n.2-3, p.149-167, February, 2008
	Derek G. Murray , Steven Hand, Privilege separation made easy: trusting small libraries not big processes, Proceedings of the 1st European workshop on system security, March 31-31, 2008, Glasgow, Scotland
	Kevin R. B. Butler , Stephen E. McLaughlin , Patrick D. McDaniel, Non-volatile memory and disks:: avenues for policy architectures, Proceedings of the 2007 ACM workshop on Computer security architecture, November 02-02, 2007, Fairfax, Virginia, USA
	Jun Li , Alan H. Karp, Access control for the services oriented architecture, Proceedings of the 2007 ACM workshop on Secure web services, November 02-02, 2007, Fairfax, Virginia, USA
	Joe Devietti , Colin Blundell , Milo M. K. Martin , Steve Zdancewic, Hardbound: architectural support for spatial safety of the C programming language, ACM SIGARCH Computer Architecture News, v.36 n.1, March 2008
	Neal H. Walfield , Marcus Brinkmann, A critique of the GNU hurd multi-server operating system, ACM SIGOPS Operating Systems Review, v.41 n.4, July 2007
	Albert B. Tonik, Development of executive routines, both hardware and software, Proceedings of the November 14-16, 1967, fall joint computer conference, November 14-16, 1967, Anaheim, California
	A. P. Murray , D. A. Grove, PULSE: a pluggable user-space Linux security environment, Proceedings of the sixth Australasian conference on Information security, January 01-01, 2008, Wollongong, NSW, Australia
	G. Scott Graham , Peter J. Denning, Protection: principles and practice, Proceedings of the November 16-18, 1971, fall joint computer conference, November 16-18, 1971, Las Vegas, Nevada
	Dhammika Elkaduwe , Philip Derrin , Kevin Elphinstone, Kernel design for isolation and assurance of physical memory, Proceedings of the 1st workshop on Isolation and integration in embedded systems, p.35-40, April 01-01, 2008, Glasgow, Scotland
	Stefan Miltchev , Jonathan M. Smith , Vassilis Prevelakis , Angelos Keromytis , Sotiris Ioannidis, Decentralized access control in distributed file systems, ACM Computing Surveys (CSUR), v.40 n.3, p.1-30, August 2008
	Lance J. Hoffman, The formulary model for flexible privacy and access controls, Proceedings of the May 16-18, 1972, spring joint computer conference, May 16-18, 1972, Atlantic City, New Jersey
	B. W. Lampson, Dynamic protection structures, Proceedings of the November 18-20, 1969, fall joint computer conference, November 18-20, 1969, Las Vegas, Nevada
	Alexander S. Lett , William L. Konigsford, TSS/360: a time-shared operating system, Proceedings of the December 9-11, 1968, fall joint computer conference, part I, December 09-11, 1968, San Francisco, California
	Larry L. Constantine, Control of sequence and parallelism in modular programs, Proceedings of the April 30--May 2, 1968, spring joint computer conference, April 30-May 02, 1968, Atlantic City, New Jersey
	Robert F. Mathis , Stephen R. Crocker , Marvin Denicoff , Victor Mitchell , Frederick W. Weingarten , Edward Feustel , Lance J. Hoffman , David Hsiao , Rein Turn , William Wulf, Research in data security: policies and projects, Proceedings of the May 6-10, 1974, national computer conference and exposition, May 06-10, 1974, Chicago, Illinois
	E. J. Dieterich , L. C. Kaye, A compatible airborne multiprocessor, Proceedings of the November 18-20, 1969, fall joint computer conference, November 18-20, 1969, Las Vegas, Nevada
	Paul F. King , Arthur J. Collmeyer, Database sharing: an efficient mechanism for supporting concurrent processes, Proceedings of the June 4-8, 1973, national computer conference and exposition, June 04-08, 1973, New York, New York
	Steven B. Lipner , William A. Wulf , Roger R. Schell , Gerald J. Popek , Peter G. Neumann , Clark Weissman , Theodore A. Linden, Security kernels, Proceedings of the May 6-10, 1974, national computer conference and exposition, May 06-10, 1974, Chicago, Illinois
	David L. Mills, An overview of the distributed computer network, Proceedings of the June 7-10, 1976, national computer conference and exposition, June 07-10, 1976, New York, New York
	Edward F. Gehringer, Capability-based addressing, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003

Collaborative Colleagues:

Jack B. Dennis: colleagues

Earl C. Van Horn: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player