From Verification to Optimizations, Rigel Gjomemo, Kedar S. Namjoshi, Phu Huu Phung, V. N. Venkatakrishnan, Lenore D. Zuck
Computer Science Faculty Publications