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
POPL, 2006.
@inproceedings{POPL-2006-MenonGMMSAP,
author = "Vijay Menon and Neal Glew and Brian R. Murphy and Andrew McCreight and Tatiana Shpeisman and Ali-Reza Adl-Tabatabai and Leaf Petersen",
booktitle = "{Proceedings of the 33rd Symposium on Principles of Programming Languages}",
doi = "10.1145/1111037.1111072",
editor = "J. Gregory Morrisett and Simon L. Peyton Jones",
isbn = "1-59593-027-2",
pages = "397--408",
publisher = "{ACM}",
title = "{A verifiable SSA program representation for aggressive compiler optimization}",
year = 2006,
}
Tags: