Travelled to:
9 × USA
Collaborated with:
∅ A.Birrell M.D.Schroeder M.F.Richardson A.J.Herbert R.D.H.Walker D.F.Hartley M.Burrows M.Abadi D.K.Gifford T.M.A.Lomas L.Gong J.H.Saltzer R.Levin
Talks about:
system (7) file (4) comput (3) cap (3) distribut (2) cambridg (2) logic (2) oper (2) difficult (1) workstat (1)
Person: Roger M. Needham
DBLP: Needham:Roger_M=
Contributed to:
Wrote 14 papers:
- LICS-1998-Needham #logic
- Logic and Over-Simplification (RMN), pp. 2–3.
- SOSP-1989-BurrowsAN #authentication #logic
- A Logic of Authentication (MB, MA, RMN), pp. 1–13.
- SOSP-1989-LomasGSN #risk management
- Reducing Risks from Poorly Chosen Keys (TMAL, LG, JHS, RMN), pp. 14–18.
- SOSP-1985-SchroederGN #file system
- A Caching File System For a Programmer’s Workstation (MDS, DKG, RMN), pp. 25–34.
- SOSP-1983-RichardsonN
- The TRIPOS Filing Machine, a Front End to a File Server (MFR, RMN), pp. 120–128.
- SOSP-1983-SchroederBN #distributed #experience
- Experience with Grapevine: The Growth of a Distributed System (MDS, AB, RMN), pp. 141–142.
- SOSP-1981-BirrellLNS #distributed #named
- Gravevine: An Exercise in Distributed Computing (AB, RL, RMN, MDS), pp. 178–179.
- SOSP-1981-HerbertN #network
- Sequencing Computation Steps in a Network (AJH, RMN), pp. 59–63.
- SOSP-1979-Needham #aspect-oriented
- Systems Aspects of the Cambridge Ring (RMN), pp. 82–85.
- SOSP-1977-Needham #evaluation
- The CAP Project — An Interim Evaluation (RMN), pp. 17–22.
- SOSP-1977-NeedhamB
- The Cap Filing System (RMN, AB), pp. 11–16.
- SOSP-1977-NeedhamW
- The Cambridge CAP Computer and its Protection System (RMN, RDHW), pp. 1–10.
- SOSP-1971-Needham #fault #operating system
- Handling Difficult Faults in Operating Systems (RMN), pp. 55–57.
- SOSP-1969-NeedhamH #design #operating system #theory and practice
- Theory and practice in operating system design (RMN, DFH), pp. 8–12.