• Redundant XML-Based Content Routing
• Information Discovery (InfoRadar)
• Computational Video
• HyPursuit
• Content Routing System
• Algebraic Video System
• FX Programming Language
• Concurrent Garbage Collection
• Semantic File System
• Community Information System

Redundant XML-Based Content Routing

• "Mesh-Based Content Routing using XML"
  Alex C. Snoeren, Kenneth Conley, and David K. Gifford
  18th ACM Symposium on Operating Systems Principles, Banff, Canada, October 2001

Inforadar

• "Fast and Effective Query Refinement"
  Bienvenido Vélez, Ron Weiss, Mark A. Sheldon, and David K. Gifford
  Proceedings of the 20th ACM Conference on Research and Development in Information Retrieval (SIGIR 97) , Philadelphia, Pennsylvania, July 1997

Hypursuit

• "HyPursuit: A Hierarchical Network Search Engine that Exploits Content-Link Hypertext Clustering"
  Ron Weiss, Bienvenido Velez, Mark A. Sheldon, Chanathip Nemprempre, Peter Szilagyi, Andrzej Duda, and David K. Gifford
  Proceedings of the Seventh ACM Conference on Hypertext, Washington, DC, March 1996

• "Content Routing: A Scalable Architecture for Network-Based Information Discovery"
  Mark A. Sheldon
  MIT, PhD Thesis, 1995
• "Content Routing for Distributed Information Servers"
  Mark A. Sheldon, Andrzej Duda, Ron Weiss, James W. O'Toole, Jr., and David K. Gifford
  Proc. Fourth International Conference on Extending Database Technology, Cambridge, England, March 1994
  Available as Springer-Verlag, Lecture Notes in Computer Science, Number 779
• "A Content Routing System for Distributed Information Servers"
  Mark A. Sheldon, Andrzej Duda, Ron Weiss, James W. O'Toole, Jr., and David K. Gifford
  MIT/LCS/TR-578, June 1993
• "Content Routing in Networks of WAIS Servers"
  Andrzej Duda and Mark A. Sheldon
  14th IEEE International Conference on Distributed Computing Systems, Poznan, Poland, June 1994
• "Discover: A Resource Discovery System based on Content Routing"
  Mark A. Sheldon, Andrzej Duda, Ron Weiss, and David K. Gifford
  Proceedings of the Third International World Wide Web Conference Elsevier, North Holland
  Computer Networks and ISDN Systems, April 1995
• "Services and Metadata Representation for Distributed Information Discovery"
  Mark A. Sheldon, Ron Weiss, Bienvenido Vélez, and David K. Gifford
  World Wide Web Consortium Distributed Indexing/Searching Workshop, May 1996

Algebraic Video System

• "Composition and Search with Video Algebra"
  Ron Weiss, Andrzej Duda, and David K. Gifford
  IEEE Multimedia, Spring 1995
• "Content-Based Access to Algebraic Video"
  Ron Weiss, Andrzej Duda, and David K. Gifford
  Proc. IEEE First International Conference on Multimedia Computing and Systems, Boston, MA, May 1994

FX Programming Language

• "Algebraic Reconstruction of Types and Effects"
  Pierre Jouvelot and David K. Gifford
  Principles of Programming Languages '91
• "Polymorphic Time Systems for Estimating Program Complexity"
  Vincent Dornic, Pierre Jouvelot, and David K. Gifford
  Letters on Programming Languages and Systems
• "Reasoning About Contiuations with Control Effects"
  Pierre Jouvelot and David K. Gifford
  Programming Language and Design '89
• "Report on the FX-91 Programming Language"
  David K. Gifford, Pierre Jouvelot, Mark A. Sheldon, and James W. O'Toole
  MIT/LCS/TR-531, February 1992
• "Static Dependent Costs for Estimating Program Execution Time"
  Brian Reistad and David K. Gifford
  ACM Conference on Lisp and Functional Programming, 1994
• "Static Dependent Types for First Class Modules"
  Mark A. Sheldon and David K. Gifford
  Lisp and Functional Programming, 1990
• "Static Dependent Types for First-Class Modules"
  Mark A. Sheldon
  MIT, SM Thesis, 1989
• "Type Abstraction Rules for References: A Comparison of Four Which Have Achieved Notoriety"
  James William O'Toole, Jr.
  MIT/LCS/TM-390, April 1989
• "Type Reconstruction with First-Class Polymorphic Values"
  James William O'Toole, Jr. and David K. Gifford.
  ACM SIGPLAN Proceedings of the Conference on Programming Language Design and Implementation, Portland, Oregon, June 1989

Concurrent Garbage Collection

• "Concurrent Compacting Garbage Collection of a Persistent Heap"
  James O'Toole, Scott Nettles, and David Gifford
  14th ACM Symposium on Operating Systems Principles, Asheville, North Carolina, December 1993.
• "Concurrent Garbage Collection of Persistent Heaps"
  James O'Toole, Scott Nettles, and David Gifford
  MIT/LCS/TR-569 and CMU-CS-93-137, June 1993. Submitted to 14th Symposium on Operating Systems Principles
• "Concurrent Replicating Garbage Collection"
  James O'Toole and Scott Nettles
  To appear as MIT Laboratory of Computer Science TR-570 and Carnegie Mellon University Computer Science TR-93-138, April 1993
• "Garbage Collecting an Object Cache"
  James O'Toole
  MIT LCS Technical Memo TM-485, April 1993
• "Garbage Collecting Locally"
  James O'Toole
  Area Exam, Department of Electrical Engineering and Computer Science, MIT, December 1990
• "Implementing Orthogonal Persistence: A Simple Optimization Based on Replicating Collection."
  Scott Nettles and James O'Toole
  IEEE International Workshop on Object-Orientation in Operating Systems, Asheville, North Carolina, December 1993
• "Real-Time Replication-Based Garbage Collection"
  Scott Nettles and James O'Toole
  ACM SIGPLAN Conference on Programming Language Design and Implementation, Albequerque, New Mexico, June 1993
• "Real-Time Replication Garbage Collection"
  S. Nettles, J. O'Toole, D. Pierce, and N. Haines
  Proceedings of the SIGPLAN International Workshop on Memory Management, pp. 357-364, September, 1992
  Carnegie Mellon University Technical Report CMU-CS-93-135
• "Real-Time Replication GC: An Implementation Report"
  James O'Toole, Scott Nettles
  MIT/LCS/TR-568 and CMU-CS-93-136, April 1993
• "Replication-Based Incremental Copying Collection"
  Scott Nettles, James O'Toole, David Pierce, and Nicholas Haines
  Proceedings of the International Workshop on Memory Management, Springer Verlag, September 1992

Semantic File System

• "Intelligent File Systems for Object Repositories"
  David K. Gifford and James O'Toole
  Operating Systems of the 90s and Beyond, Springer Verlag, 1991
• "Names should mean What, not Where"
  James W. O'Toole and David K. Gifford
  ACM 5th European Workshop on Distributed Systems, September 1992
• "Semantic File Systems"
  David K. Gifford, Pierre Jouvelot, Mark A. Sheldon, and James W. O'Toole, Jr.
  13th ACM Symposium on Operating Systems Principles, October 1991

Other Projects

• "Anonymous Authentication of Membership in Dynamic Groups"
  Stuart E. Schechter, Todd C. Parnell and Alexander J. Hartemink
  Financial Cryptography '99, Anguilla, British West Indies, February 1999
• "Implementing XNS protocols for 4.2bsd Unix"
  James O'Toole, Chris Torek, and Mark Weiser
  USENIX Winter Conference Proceedings, Dallas, Texas, January 1985
• "A Module System for Scheme"
  Pavel Curtis and James Rauen
  Appeared in Lisp and Functional Programming '90
• "Processor Lattices"
  David K. Gifford and James O'Toole
  PSRG research memo, MIT, September 1986