| 1994 | PLDI | Accurate Static Estimators for Program Optimization. | Tim A. Wagner, Vance Maverick, Susan L. Graham, Michael A. Harrison |
| 1976 | STOC | On Line Context Free Language Recognition in Less than Cubic Time (Extended Abstract) | Susan L. Graham, Michael A. Harrison, Walter L. Ruzzo |
| 1975 | MFCS | On Models of Protection in Operating Systems. | Michael A. Harrison |
| 1975 | SOSP | On Protection in Operating System. | Michael A. Harrison, Walter L. Ruzzo, Jeffrey D. Ullman |
| 1974 | ICALP | Production Prefix Parsing (Extended Abstract). | Matthew M. Geller, Susan L. Graham, Michael A. Harrison |
| 1973 | FOCS | Characterizations of LR(0) Languages (Extended Abstract) | Matthew M. Geller, Michael A. Harrison |
| 1973 | GI | On Covers and Precedence Analysis. | Michael A. Harrison |
| 1973 | POPL | Strict Deterministic Versus LR(0) Parsing. | Matthew M. Geller, Michael A. Harrison |
| 1972 | ICALP | On a Family of Deterministic Grammars (Extended Abstract). | Michael A. Harrison, Ivan M. Havel |
| 1969 | FOCS | Single Pass Precedence Analysis (Extended Abstract) | Jim Gray, Michael A. Harrison |
| 1966 | FOCS | One-Way Stack Automata (Extended Abstract) | Seymour Ginsburg, Sheila A. Greibach, Michael A. Harrison |
| 1964 | FOCS | A census of finite automata (extended summary) | Michael A. Harrison |