Thursday, May 29, 2014
Location: MIT Stata Center, Room 32-141
Bio: Peter G. Neumann (Neumann@CSL.sri.com, http://www.csl.sri.com/neumann) is Senior Principal Scientist in the Computer Science Lab at SRI International, where he has been since 1971, after 10 years at Bell Labs thoughout the 1960s (which included the Multics years). He is currently PI of two DARPA projects (whose PM was originally Howie Shrobe). A new paper for ICSA 2014 details the Multics-inspired CHERI system hardware design (Capability Hardware Enhanced RISC Instructions), in joint work with SRI and the University of Cambridge: http://www.csl.sri.com/neumann/isca2014-cheri.pdf
Abstract: The computing climate and facilities at MIT in the early 1950's and 1960's will be briefly described. This will be followed by a sketch of the events that led to the formation of Project MAC and the decision to embark on the Multics project.
Bio: Fernando J. Corbató, Professor Emeritus in the Department of Electrical Engineering and Computer Science at M.I.T., has achieved wide recognition for his pioneering work on the design and development of multiple-access computer systems. He was associated with the M.I.T. Computation Center from its organization in 1956 until 1966. In 1963 he was a founding member of Project MAC, the antecedent of CSAIL. An early version of the Compatible Time-Sharing System (CTSS) was first demonstrated in November 1961, at the M.I.T. Computation Center. In the fall of 1963, after further development, the system began daily operation at Project MAC.
Abstract: At a time when computers are increasingly involved in all aspects of our lives, our computer systems are too easily broken or subverted. The current state of affairs is, no doubt, unsurprising to Multicians who are painfully aware of the design and security compromises that went into the base design of today's mainstream systems. The past 30 years has also brought vast changes in the availability and costs of computer hardware as well as significant advances in formal methods. How do we exploit these advances to make computer systems worthy of the trust we are now placing in them? We specifically take a clean-slate approach to computer architectures and system designs based on modern costs and threats. We spend now cheap hardware to reduce or eliminate traditional security-performance tradeoffs and to provide stronger hardware safety and security interlocks that prevent gross security and safety violations even when there are bugs in the code. We embrace well-known security principles of least and separate privileges and complete mediation of operations. Our system revisits many pioneering Multics concepts including gates between software components with different-privileges, small and verified system components, and formal information flow properties and guarantees.
Project paper: http://www.crash-safe.org
Bio: Andre DeHon received S.B., S.M., and Ph.D. degrees in Electrical Engineering and Computer Science from the Massachusetts Institute of Technology in 1990, 1993, and 1996 respectively. From 1996 to 1999, Andre co-ran the BRASS group in the Computer Science Department at the University of California at Berkeley. From 1999 to 2006, he was an Assistant Professor of Computer Science at the California Institute of Technology. In 2006 he joined the Electrical and Systems Engineering Department at the University of Pennsylvania, where he is now a Full Professor. He is broadly interested in how we physically implement computations from substrates, including VLSI and molecular electronics, up through architecture, CAD, and programming models. He places special emphasis on spatial programmable architectures (e.g. FPGAs) and interconnect design and optimization. Multics BIO: Andre DeHon is a bastard child of the tail end of LISP Machine and Multics eras, having been a research assistant for Knight and a teaching assistant for Saltzer. As a member of MIT's Student Information Processing Board (SIPB), he was part of the group that pushed Multics access to MIT students and was logged in during the decommissioning of MIT-Multics. So, while he never contributed to Multics, he was around in time to learn that there were computer systems that predated Unix and Windows and that did have a principled way to address safety and security. He hopes the world is now ready for many of the Multics and LISPM ideas that were ahead of their time and have mostly been forgotten during the dark ages of mainstream Internet growth.
Abstract: November 2015 marks the fiftieth anniversary of the 1965 Fall Joint Computer Conference at which the description of Multics was presented to the computer community. To mark this anniversary I have set for myself three initiatives to mark the event. They are:
1. Write a follow-on book to Organic's text which will describe the second generation of Multics hardware and software;
2. Lobby to get a technical society to sponsor a Multics fifty year anniversary conference centered on the pioneering role Multics has vis-a-vis today's commercial operating systems;
3. Champion the completion of a Multics VM based on the current efforts to emulate the 6180/DPS-8/M.
I will be describing my approaches to and current status of these three initiatives.
Bio: After working on the data management and B2 certification projects at CISL, Michael moved to Stratus Computer where he designed and prototyped several PCBs in addition to writing firmware for other boards. At Banyan Systems Michael maintained their Unix System V kernel and implemented Intel APIC mediated multiprocessing on PC platforms. Most recently at EMC Michael supported tape library robotics and designed Linux drivers. Currently Michael has taken early retirement from EMC and is engaged in processor design utilizing FPGAs.
3:20PM BREAK AND REFRESHMENTS
Moderator: John Gintell
Fernando J. Corbató Jerome H. Saltzer Peter G. Neumann Robert A. Freiburghouse
Bio: John Gintell, S.B. MIT; M.S. Northeastern University. At Honeywell from '62-'67 he wrote a code-generator for a Fortran Compiler; then was project leader for another Fortran Compiler project; and then was a member of the System Planning group at Honeywell looking at OS evolution for several product lines. In late '66 attended an MIT Industrial Liaison symposium on Multics which led to joining the Multics project (after it had been cancelled and reinstated). Multician at Cambridge Information Systems laboratory (CISL) of GE/Honeywell '67-'86, initially worked on performance management tools and putting the linker in Ring 0. Then was manager of the OS group at CISL; overall project manager for the MIT/Honeywell joint team for a few years; the last five years as Manager of CISL. At Honeywell from '86-88 explored a possible Multics spinoff and was Manager of the Opus Project (an attempt to build a new OS with Multics technology on a mini-computer). Member of Corporate staff at Honeywell-Bull '89-'91 working on improved software technology and software development process. At Bull from '92-'94 was a Research group principal - key project was Scrutiny, a collaborative tool for Software Inspection. Independent consultant on Patent Infringement lawsuits (offense and defense) '95-'01. Now enjoying retirement - traveling, gardening, contra dancing and being a dance group organizer; thinking about Multics. Co-chair Cambridge GLBT Commission. Married to Robert Coren.
Until 6:00PM unstructured time to renew friendships