While at the University of Illinois at Urbana-Champaign he developed the Parafrase compiler system (1977), which was the first testbed for the development of automatic vectorization and related program transformations.
At the University of Illinois at Urbana-Champaign, he developed the Parafrase compiler system in 1977, functioning as the first platform for exploring automatic vectorization and other program transformation techniques.