彼は1976年にsmalltalkを実用化するバイトコード化された仮想マシンを設計した。