Kenneth Zadeck is an American computer scientist known for his contributions to compiler optimization theory. In 1988, with Barry K. Rosen and Mark N. Wegman, he helped replace identity assignments with phi-functions and introduced the name static single assignment form for the resulting program representation, and in 1991 the three of them co-authored with Ron Cytron and Jeanne Ferrante the paper establishing an efficient algorithm for converting programs into that form, published in ACM Transactions on Programming Languages and Systems. He received the ACM SIGPLAN Programming Languages Achievement Award in 2006, shared with his four co-authors.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.