A verifiable SSA program representation for aggressive compiler optimization.
Vijay MenonNeal GlewBrian R. MurphyAndrew McCreightTatiana ShpeismanAli-Reza Adl-TabatabaiLeaf PetersenPublished in: POPL (2006)
Keyphrases
- optimization algorithm
- optimization process
- objective function
- discrete optimization
- optimization problems
- optimization method
- real valued time series
- real time
- representation scheme
- computer programs
- feature representation
- constrained optimization
- optimization methods
- linear programming
- programming language
- object oriented
- data sets