Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

74

POPL
2006
ACM

favoriteEmaildiscussreport

134views Programming Languages» more POPL 2006»

A verifiable SSA program representation for aggressive compiler optimization

14 years 11 months ago

A verifiable SSA program representation for aggressive compiler optimization

Download www.cs.cmu.edu

Vijay Menon, Neal Glew, Brian R. Murphy, Andrew Mc

Real-time Traffic

POPL 2006 | Programming Languages | Verifiable Ssa Program |

claim paper

Related Content

» Flattening tuples in an SSA intermediate representation

» A Formal Correctness Proof for Code Generation from SSA Form in IsabelleHOL

» Efficiently Building the Gated Single Assignment Form in Codes with Pointers in Modern Opt...

» A compiler framework for speculative analysis and optimizations

» Scalable Array SSA and Array Data Flow Analysis

» Escape analysis in the context of dynamic compilation and deoptimization

» Region array SSA

» Eliminating Redundant JoinSet Computations in Static Single Assignment

» Data communication estimation and reduction for reconfigurable systems

Post Info
More Details (n/a)

Added	03 Dec 2009
Updated	03 Dec 2009
Type	Conference
Year	2006
Where	POPL
Authors	Vijay Menon, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen

Comments (0)