Following, I list some of the published research contributions that I consider novel. Several of them were co-authored by undergraduates. These contributions were, to the best of my knowledge, the ones that first approached the topic and were the precursors of further work in those areas.

  • Speeding-up general context-free parsing by learning rule ordering [CN 66]
  • Paging of Linked-List Programs and Memory Recovery with Compaction [Coh 67]
  • Development of an An Extensible Editor for a Small Machine with Disk Storage. Student Senior Thesis by Arthur Benjamin [Ben 72]
  • Syntax-Directed Unit Conversion and Dimensional Analysis [Coh 73b]  [CF 75]
  • Automatic Analysis of Algorithms [CZ 74]
  • Syntax-Directed Translation of Chemical Compounds into 2-D Representations. Student Senior Thesis by Neil Carpenter [Car 76]
  • Syntax Directed Translation of Partial Differential Equations into Numeric Programs [CG 75]
  • Generating Non-Deterministic Programs using Higher-Level Languages [Coh 75] [CC 74]
  • Analysis of Strassen’s Matrix Multiplication [CR 76]
  • Symbolic Solution of Finite Difference Equations [CK 77]
  • Analysis of Deterministic Parsing Algorithms [CR 78]
  • Computation of Volumes of Multi-Dimensional Polyhedra [CH 79]
  • Analysis of Parallel Parsing [CHK 82]
  • Computing the Number of Strings of a Given Length Generated by FS and CF grammars [CH 83]
  • Analysis of Parallel Garbage Collection [CH 84]
  • Use of Infinite Trees in Parsing using Prolog [GC 84]
  • Analysis of Parallel Programs [HCHP 92]
  • Metalevel interpretation of constraints [ICW 93]
  • Using Prolog and Constraints in Bioinformatics [Coh 01]