The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations
No abstract available.
Related papers
- Static Single Assignment for Explicitely Parallel Programs POPL 1993
- Static Single Assignment Form for machine Code PLDI 1999
- Verified construction of static single assignment form CC 2016
- Simple and Efficient Construction of Static Single Assignment Form CC 2013
- Efficient Accomodation of May-Alias Information in SSA Form PLDI 1993
- A New Algorithm for Scalar Register Promotion based on SSA Form PLDI 1998
- Single-Pass Generation of Static Single-Assignment Form for Structured Languages TOPLAS 1994
- Java bytecode verification via static single assignment form TOPLAS 2008