Stephen Garland papers, 1950 - 2012Manuscript ML-101

Box & Folder List

Series 2, Addendum, 1959-2005

Back to series

Box: 12, Dates: 1981-1995

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, RRL User's Manual, 1989

    Access Restrictions

    Unrestricted

  • Folder: 2, Technical Information Series, Class 1, 1984

    Access Restrictions

    Unrestricted

  • Folder: 3, REVE Papers, 1983-1984

    Access Restrictions

    Unrestricted

  • Folder: 4, REVE Archives, 1983-1984

    Access Restrictions

    Unrestricted

  • Folder: 5, REVE Users/Inquires, 1984-1986

    Access Restrictions

    Unrestricted

  • Folder: 6, REVE System, 1985-1987

    Access Restrictions

    Unrestricted

  • Folder: 7, Kathy Yelick, 1987-1992

    Access Restrictions

    Unrestricted

  • Folder: 8, MIT Theses, 1981-1983

    Access Restrictions

    Unrestricted

  • Folder: 9, LP: History, 1989

    Access Restrictions

    Unrestricted

  • Folder: 10, LP: Logic, 1987-1989

    Access Restrictions

    Unrestricted

  • Folder: 11, LP: Performance, 1987-1989

    Access Restrictions

    Unrestricted

  • Folder: 12, LP: Notes, 1989-1994

    Access Restrictions

    Unrestricted

  • Folder: 13, Parallel LP, 1993-1994

    Access Restrictions

    Unrestricted

  • Folder: 14, Asspegique and LP, 1991-1993

    Access Restrictions

    Unrestricted

  • Folder: 15, France, 1997-1998

    Access Restrictions

    Unrestricted

  • Folder: 16, LP Orderings, 1985-1995

    Access Restrictions

    Unrestricted

  • Folder: 17, LP: Cong, Closure, 1989-1995

    Access Restrictions

    Unrestricted

  • Folder: 18, LP: Agenda, 1992-1994

    Access Restrictions

    Unrestricted

  • Folder: 19, LP: Current, 1987-1992

    Access Restrictions

    Unrestricted

  • Folder: 20, LP: XLP, 1989

    Access Restrictions

    Unrestricted

  • Folder: 21, LP: SRC Proofs, 1987-1991

    Access Restrictions

    Unrestricted

  • Folder: 22, LP: Course, 1990-1994

    Access Restrictions

    Unrestricted

  • Folder: 23, Proof Club, 1994

    Access Restrictions

    Unrestricted

  • Folder: 24, M. Edmunds, B.S. Thesis, 1989

    Access Restrictions

    Unrestricted

  • Folder: 25, Eli Kaufman, 1992

    Access Restrictions

    Unrestricted

  • Folder: 26, Anya Pogosyants, 1993-1994

    Access Restrictions

    Unrestricted

  • Folder: 27, Mark Vandevoorde, 1993-1995

    Access Restrictions

    Unrestricted

  • Folder: 28, M. Vogt, B.S. Thesis, 1990

    Access Restrictions

    Unrestricted

  • Folder: 29, Lescanne, 1986

    Access Restrictions

    Unrestricted

  • Folder: 30, Martin, 1989-1990

    Access Restrictions

    Unrestricted

  • Folder: 31, Staunstrup, 1993

    Access Restrictions

    Unrestricted

Box: 13, Dates: 1987-2001

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Talks: REVE, 1987
  • Folder: 2, Talks: Induction, 1987
  • Folder: 3, Talks: LP Overview, 1987
  • Folder: 4, Meetings, Lake Arrowhead, 1987
  • Folder: 5, Papers: Induction, 1988
  • Folder: 6, Papers: CADE, 1988
  • Folder: 7, Papers: VLSI Verification, Jorgen, 1988
  • Folder: 8, Talks: LP, KB, CMU, 1989
  • Folder: 9, Papers: RTA, LP Overview, 1989
  • Folder: 10, Papers: Compositional Verif., Grenoble, 1989
  • Folder: 11, Talks: LP, BU, 1989
  • Folder: 12, Talks: Spec. Tools, Dartmouth, 1990
  • Folder: 13, Papers: Debugging Specification, Galilee, 1989-1990
  • Folder: 14, IEEE special issue: Debugging Larch Shared Language Spec., Garland and Guttag, 1990
  • Folder: 15, Meetings: Theorem Provers, 1992
  • Folder: 16, Papers: Karl-Heinz Buth, 1992
  • Folder: 17, Mechanized Design Verification, Niels Mellergaard, 1994
  • Folder: 18, Theses: Boutheina Chetali, 1996
  • Folder: 19, Verification using the Larch Prover, Boutheina Chetali, undated
  • Folder: 20, Technical Report No.179, 1989
  • Folder: 21, Computing Sciences Report, University of Surrey, E.A.Scott, 1993
  • Folder: 22, Group Theory in the Larch Prover, Ursula Martin, 1991
  • Folder: 23, LIENS report, 1995
  • Folder: 24, LIENS report, 1992
  • Folder: 25, NQTHM and LP, 1992
  • Folder: 26, Technical Report, University of London, 1992
  • Folder: 27, Graphical User Interface for LP, Ian McLelland, 1994
  • Folder: 28, NQTHM and LP, 1992
  • Folder: 29, LP: Papers on use, 1994
  • Folder: 30, Amy Moormann Zaremski, 1996
  • Folder: 31, Scotland, St. Andrews, 1994
  • Folder: 32, Talks: An Introduction to LP, 1994
  • Folder: 33, CADE, 1994
  • Folder: 34, Sample Use of LP, undated
  • Folder: 35, Meetings, RTA, 1989
  • Folder: 36, Papers: Circuit Design, 1992
  • Folder: 37, Talks: An Introduction to LP, 6.897, 2001
  • Folder: 38, Papers: Retimed CPU, 1992
  • Folder: 39, Meetings: Larch Workshop, 1992

Box: 14, Dates: 1982-1986

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Papers: Guttag, undated
  • Folder: 2, Larch, 1982-1985
  • Folder: 3, Larch: System, 1984-1986

Box: 15, Dates: 1984-2000,

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Larch: Tutorial, 1985
  • Folder: 2, Larch: Bugs, 1984-1986
  • Folder: 3, Larch: Help, 1986
  • Folder: 4, Larch: Logic, 1987-1988
  • Folder: 5, Larch: LSL, 1994-1997
  • Folder: 6, LSL Checker, 1989
  • Folder: 7, LSL Current, 1989-1993
  • Folder: 8, Larch Interface Language, 1988-1989
  • Folder: 9, Larch/c, 1990
  • Folder: 10, Larch: Larch/CLU, 1988
  • Folder: 11, Cornell Synthesizer Documentation, 1985-1987
  • Folder: 12, DEC Spec., 1989-1990
  • Folder: 13, Consulting-DEC, 1987-1992
  • Folder: 14, AQUA, 1995
  • Folder: 15, Wing, 1992
  • Folder: 16, Shortcoming of LCL 2.4, 1995
  • Folder: 17, Larch/C++, 1997
  • Folder: 18, First International Workshop on Larch, LCS, 1992
  • Folder: 19, First International Workshop on Larch, Springer-Verlag, 1992
  • Folder: 20, METRIS, 1992
  • Folder: 21, Dave Evans, 1993-1999
  • Folder: 22, Stata, 1996
  • Folder: 23, Yang Meng Tan, 1992-1993
  • Folder: 24, SPD-Equipment, 1988-1995
  • Folder: 25, LCS Employment, 1989-1995
  • Folder: 26, SPD-Reports, undated
  • Folder: 27, SPD-Students, 1986-2000
  • Folder: 28, SPD-Budget, 1995-1999
  • Folder: 29, NSF CCR-8706652, Automated Semantic Analysis, 1987-1989
  • Folder: 30, NSF CCR-8910848, Formal Specification, 1989-1991
  • Folder: 31, NSF CCR-9115797, Automated Reasoning, 1992-1995
  • Folder: 32, NSF CCR-9504248, Automated Reasoning, 1994-1997
  • Folder: 33, NSF INT-9016780, Theorem Prover Support, 1991-1994
  • Folder: 34, NSF INT-Rejected, Continuation of INT 9016780, 1993-1994
  • Folder: 35, NYNEX, 1988
  • Folder: 36, NSA, 1995-1996
  • Folder: 37, DARPA, 1988-1997
  • Folder: 38, Talks: Specification, NCR, 1989

Box: 16, Dates: 1959-1962

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Dartmouth course notes, 1959-1962

Box: 17, Dates: 1960-2001

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Dartmouth course notes, 1960-1961
  • Folder: 2, Dartmouth course notes, 1961
  • Folder: 3, Senior Thesis, 1963
  • Folder: 4, Addison, Recursive Functions, 1964
  • Folder: 5, Makkai, Model Theory, 1967
  • Folder: 6, Enderton, Recursive Functions, 1966
  • Folder: 7, Schwabhauser, Foundations of Geometry, 1965
  • Folder: 8, Addison, 1963-1966
  • Folder: 9, Addison, 1964-1967
  • Folder: 10, Tarsk, Set Theory, 1963-1964
  • Folder: 11, Berkeley Logic Colloquia & Informal Model Theory Seminar, 1963-1967
  • Folder: 12, Moschovakis, Descriptive Set Theory & Logic Seminar, UCLA, 1970-1971
  • Folder: 13, Loeve, Measure Theory, 1964
  • Folder: 14, Decision Problems in Number Theory, Robinson & Theory of Algorithms, Shepherdson, 1966
  • Folder: 15, Solovay, Foundation of Set Theory, 1966-1967
  • Folder: 16, Cook, Logic and Computers, 1966
  • Folder: 17, Enderton, Models for 2nd-order Number Theory & Seminar Reports, 1965-1967
  • Folder: 18, Garland, Seminar Reports, UC Berkeley, 1965-1967
  • Folder: 19, Logic: Lectures, undated
  • Folder: 20, Lecture Notes, 1980-1982
  • Folder: 21, Electronic Mail, 1975-1981
  • Folder: 22, Hebrew University, Software Engineering, 1983-1992
  • Folder: 23, Fulbright Program, 1990-1992
  • Folder: 24, ILP, 1987-2000
  • Folder: 25, 6.891 Theorem Proving, 1988
  • Folder: 26, 6.893, 1995
  • Folder: 27, Student Qualifying Exams, 1996-2001
  • Folder: 28, Eric Ding, 1995-1996
  • Folder: 29, Kastas Arkovdas, 1999

Box: 18, Dates: 1963-2002

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Publications, 1963-1991
  • Folder: 2, LCS News, 1984-1991
  • Folder: 3, LCS, Misc., 1988-1997
  • Folder: 4, LCS, Reports, 1983-1987
  • Folder: 5, LCS, Research Highlights, 1998
  • Folder: 6, LCS, Faculty and Research Staff, 1999
  • Folder: 7, LCS, Research Abstracts, 2002
  • Folder: 8, AIL, Research Abstracts, 2001
  • Folder: 9, Michael L. Dertouzos, 2001
  • Folder: 10, Technology Review, 1999
  • Folder: 11, LCS Celebration, 1999
  • Folder: 12, Project MAC 25th Anniversary, 1988
  • Folder: 13, LCS Introduction, undated
  • Folder: 14, LCS Research Symposium, 1988
  • Folder: 15, Project MAC 25th Anniversary, 1988
  • Folder: 16, LCS Research Activities, undated
  • Folder: 17, LCS Research Activities, undated
  • Folder: 18, LCS Research Activities, undated
  • Folder: 19, MIT Computer Science Research Symposium, 1988
  • Folder: 20, LCS Research Activities, undated
  • Folder: 21, LCS Progress Report, 1983-1984
  • Folder: 22, LCS Progress Report, 1985-1986
  • Folder: 23, LCS Progress Report, 1986-1987
  • Folder: 24, LCS Progress Report, 1988-1989
  • Folder: 25, LCS Progress Report, 1989-1990
  • Folder: 26, LCS Progress Report, 1990-1991
  • Folder: 27, LCS Progress Report, 1994-1995

Box: 19, Dates: 1992-1997

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, ARPA-CAETI, 1992-1997
  • Folder: 2, Brian Grossman, 1996
  • Folder: 3, Angelika Leeb, 1995-1996
  • Folder: 4, ORA, 1995-1997

Box: 20, Dates: 1990-2005

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Reports: Security Engineering, 1997-1999
  • Folder: 2, Andrew Myers, 1990-1999
  • Folder: 3, Active Networks: Proposal, 1996-2000
  • Folder: 4, Active Networks: Other proposals, 1998
  • Folder: 5, Active Networks: Baltimore, 1996-1997
  • Folder: 6, Active Networks, 1998
  • Folder: 7, DMSO, 1998
  • Folder: 8, Active Networks Demo Meeting, 2000
  • Folder: 9, INFOCOM, 1998
  • Folder: 10, Active Networks: Talks, 1997
  • Folder: 11, Active Networks: Legedza, 1998
  • Folder: 12, Li Wei Leiman, 1996-1998
  • Folder: 13, Active Networks: Nygren, 1998-1999
  • Folder: 14, Van C. Van, 1996-1997
  • Folder: 15, Active Networks, Wetherall, 1996-1998
  • Folder: 16, Active Networks, Santos, Wetherall and Tennenhouse, 1995-1998
  • Folder: 17, Spectrum Ware Proposals, 1998-2000
  • Folder: 18, Spectrum Ware Reports, 1995-1999
  • Folder: 19, Spectrum Ware Miscellaneous, 1997-1999
  • Folder: 20, Glomo Meeting, 1998-1999
  • Folder: 21, Vanu G. Bose, 1998
  • Folder: 22, Spectrum Ware Students, 1999-2000
  • Folder: 23, Stanley Hu, 2000-2001
  • Folder: 24, Matthew Welborn, 1999-2000
  • Folder: 25, John Ankcorn, 1999-2000
  • Folder: 26, Dorothy Curtis, 2000
  • Folder: 27, Project Oxygen, 2001-2002
  • Folder: 28, Project Oxygen, 2002-2003
  • Folder: 29, NTT/Oxygen Grant, 2000
  • Folder: 30, Project Oxygen, Records (in CD format), 2001-2004
  • Folder: 31, Project Oxygen: Dertouzos, 2000
  • Folder: 32, Michael L. Dertouzos, 2000
  • Folder: 33, Intentional Naming System (INS), 1999-2000
  • Folder: 34, Cricket, 2001
  • Folder: 35, Kalpak Kothari, 2001-2005
  • Folder: 36, Nikolaos Michalakis, 2001-2003
  • Folder: 37, Jorge Rafael Nogueras, 2001
  • Folder: 38, Haystack: Account, 2003
  • Folder: 39, Haystack: Coding, 2003-2005
  • Folder: 40, Simile, 2002-2004

Box: 21, Dates: 1987-2003

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, IOA/NSF Funding, 2001-2002
  • Folder: 2, IOA Proposals, 1998-2002
  • Folder: 3, IOA-CMI Proposal, 2000-2003
  • Folder: 4, IOA Deshpande Proposal, 2003
  • Folder: 5, NSF Proposal, 2002
  • Folder: 6, STC Proposal, 1998
  • Folder: 7, IOA-SBIR Proposal, 2003
  • Folder: 8, IOA Papers, 2000-2002
  • Folder: 9, Papers: CAV, Crete, IOAutomata, 1993
  • Folder: 10, Papers: FORTE, 1994
  • Folder: 11, FORTE/PSTV, 1996
  • Folder: 12, IOA Paper, 1999
  • Folder: 13, IOA Talks, 1993-1998
  • Folder: 14, IOA Manual-History, 1996-1997
  • Folder: 15, IOA-Related Work, 1997
  • Folder: 16, Technology Review, 2003
  • Folder: 17, IOA Case Studies, 1999-2003
  • Folder: 18, IOA Code, 1994-2003
  • Folder: 19, IOA Miscellaneous, 2001-2002
  • Folder: 20, LP: Verificaion of Distributed Algorithms, 1987-1988
  • Folder: 21, IOA-Students, 2001
  • Folder: 22, Andrej Bogdamov, 2001
  • Folder: 23, Anna Chefter, 1998
  • Folder: 24, Laura Dean, 2001
  • Folder: 25, Victor Luchangro, 1993-1994
  • Folder: 26, Chris Luhrs, 2001-2002
  • Folder: 27, Sean W. McGinnis, 1998
  • Folder: 28, Antonio Ramirez, 1999
  • Folder: 29, Toh Ne Win, 2001-2003
  • Folder: 30, Automated Verification, Ekrem Soylemez, 1993-1994
  • Folder: 31, Jash Tauber, 1998-2004
  • Folder: 32, IOA Composer, 1997-2003
  • Folder: 33, Michael Tsai, 2001
  • Folder: 34, Mandana Vaziri, 1995-1998
  • Folder: 35, NTT, 2001
  • Folder: 36, IOA/Draper, 2002
  • Folder: 37, Vida, 2002
  • Folder: 38, Robson, 2003
  • Folder: 39, IOA Patent, 1997-2000

Box: 22, Dates: 1997

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Invention, 1997
  • Folder: 2, IOA Papers 5.1-5.4, 1997
  • Folder: 3, IOA Papers 5.5-8.3, 1997

Finding Aids