 He became an IBM Fellow in 2007.He was elected to the National Academy of Engineering in 2010.Wegman is best known for being one of the inventors of the Static single assignment form, which is used in the analysis portion of most if not all modern optimizing compilers.