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]