MIT Seal

  1. Alsop, Joseph: “A Canonic Translator”, 1967, B.S. (available in MIT Library) #*
  2. Altman, Vernon I., “A Canonic Reduction Generator”, Received “Brooks Award for Best Master’s Thesis in Sloan School, 1974, M.S. #*
  3. Bagchi, Amitava: “Degrees of Insolvability of Initial Segments of W”, 1968, B.S. *
  4. Clowe, Gaven: “Simulation of a Remote Batch Processing System”, 1969, B.S.*
  5. Dancy, Charles: “A COBOL Compiler for the IBM 1130”, 1969, M.S. (available in MIT Library) *
  6. DeTreville, John., “Design and implementation of an example operating system”, 1972, M.S., PhD (available in MIT Library) *
  7. DiGiammarino, Peter F., “A Framework For Management Information Systems Evolution And Case Study”, 1975, B.S *
  8. Doyle, James: “Issues of Undecidability in Canonic Systems”, 1967, M.S. (available in MIT Library)
  9. Dorias, Punj: 1974 M.S.
  10. Earle, Roy: “Global Optimization in Algebraic Language Compilers”, 1970, M.S. (available in MIT Library) *
  11. Eanes, Sterling R., “Using Tree Structured Example to Filter Context-Free Derivation Sets”, 1973, 1972, Ph.D. *
  12. Godfrey, William A., “Current Research in the Application of Digital Computers in Medicine”, B.S., 1972 M.S. *
  13. Goodman, Leonard: “Complexity Measures for Programming Languages”, 1971, M.S. (available in MIT Library) #*
  14. Godfrey, William A.”,Current Research in the Application of digital Computers in Medicine” 1972 B.S.
  15. Gutentag, Louis M., “GMIS: Generalized Management Information Systems”, M.S., 1976. (available in MIT Library) *
  16. Haggerty, Joseph: “Complexity Measures for Language Recognition by Canonic Systems”, 1969, M.S. *
  17. Heppen, L.: “An Editor and Runoff System”, 1968, B.S. *
  18. Hollander, Clifford: “Design of a Multitasking Monitor for the IBM 1130”, 1969, B.S. *
  19. Holt, George: “Semantic Models for Data Description”, 1970, M.S. (available in MIT Library) #*
  20. Johnson, Jerry: “File system to Support Timesharing in a Multi-programming Environment”, 1970, M.S.
  21. Johnson, Jerry, 1974, Ph.D.
  22. Koenig, Dieta: “Evaluation of PL/I as an interactive language”. 1972, M.S. *
  23. Kurger, Susan, “Pedagogical Aids for Programming”, M.S., 1975. *
  24. Klos, Walter J.: “A Program Capable of Printing Aggregate Data”, 1970, B.S. *
  25. Langell, John: “A Context Editor for Text Manipulation”, 1968, B.S.
  26. Lester, Bruce: “Computer Graphic Displays”, 1969, B.S. *
  27. Loeb, Steven, “A Generalized Graphics Facility”, M.S., 1974.
  28. Madnick, Stuart.E. “File System Design Strategy”, 1969, M.S. *
  29. Madnick, Stuart E.: “Storage Hierarchy Systems”, 1973, Ph.D. (available in MIT Library) *
  30. Maglio, John, “Data Validation in a Generalized Management Information System”, M.S., 1976. (available in MIT Library) *
  31. Mah, Clinton P., “A Relational Approach to Natural Language Translation”, M.S., 1973 *
  32. Mandl, Robert: “Further Results on Hierarchies of Canonic Systems”, M.S., 1969, (available in MIT Library) *
  33. McCarthy, Richard J., “Design and Implementation of an On-Line Referral System”, M.S., 1975. *
  34. McCray, William.A.: “SIM360: A S/360 Simulator”, B.S., 1972 (available in MIT Library) *
  35. Michels, William C. “An On-Line Production Planning System”, 1971, M.S. #*
  36. Nemec, Frank A. Jr.: “A Medical Information Retrieval System for Statistical Data”, 1968, B.S.
  37. Rigel, 1994 M.S
  38. Regil, Durel S. “POPS: physician’s office processing System”, M.S., 1974. *
  39. Ramchandani, Chander: “Debugging Scheme to Run Interpretively in Virtual Memory”, 1970, M.S.
  40. Schwartz, David “Multiprogramming in a page on Demand Computer System”, 1973, M.S.
  41. Spalding, John: “Design of a Super Binder in Multics”, 1968, B.S. *
  42. Smith, Grant N., “Decision Rules for the Automated Generation of Storage Strategies in Data Management Systems”, M.S., 1975. *
  43. Sufiras, Joel: “Observational Complexity of Character Strings”, M.S., 1973. *
  44. Sufiras: 1972 M.S.
  45. Thurber, Richard, “Simple – An Interactive Simulation Language”, M.S., 1972. #*
  46. Thurber: 1972 M.S.
  47. Toong, Hoo-Min: “The Ability of the Lambda Calculus to Specify a Class of Simulation Language Algorithms”, 1969, M.S. (available in MIT Library)
  48. Travis, Leon: “A COBOL Interpretive System for the IBM 1130”, 1970, M.S. (available in MIT Library)
  49. Wells, Douglas M: “Derive Interface Module for PDP-9/ESL Display”, 1970 B.S.
  50. Yelton, Patricia, “An Application of a Relational Data Base System”, M.S., 1974. *
  51. Zaborowski, Stanly: “Monitoring, a Case Study in Software Reliability”, 1972, M.S. (available in MIT Library) *

# Theses joint between EE and Sloan

* Supervisor and Chairman of thesis committee