Lisp machine
In 1980, he cofounded Symbolics, developing software for their Lisp machine. He also participated significantly in the design of the programming language Common Lisp (CL). He was one of the five co-authors of the original language specification, "Common Lisp the Language, First Edition". He worked on Statice, an object-oriented database published by Symbolics in 1988.