A verifiable SSA program representation for aggressive compiler optimization - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Vijay Menon, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen. A verifiable SSA program representation for aggressive compiler optimization. In J. Gregory Morrisett, Simon L. Peyton Jones, editors, Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006. pages 397-408, ACM, 2006. [doi]

This author has not been identified. Look up 'Vijay Menon' in GoogleThis author has not been identified. Look up 'Neal Glew' in GoogleThis author has not been identified. Look up 'Brian R. Murphy' in GoogleIdentified as Andrew McCreight This author has not been identified. Look up 'Tatiana Shpeisman' in GoogleThis author has not been identified. Look up 'Ali-Reza Adl-Tabatabai' in GoogleThis author has not been identified. Look up 'Leaf Petersen' in Google

runs on WebDSL