Before CP/M and such, he was a serious compiler guy who made contributions to data-flow analysis, etc. E.g., http://dl.acm.org/citation.cfm?id=512945