When the Decreasing Sequence Fails
No abstract available.
Related papers
- Synthesizing Context-free Grammars from Recurrent Neural Networks TACAS 2021
- Fast searches for effective optimization phase sequences PLDI 2004
- Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs PLDI 2019
- Improving Performance by Branch Reordering PLDI 1998
- Control CPR: A Branch Height Reduction Optimization for EPIC Architectures PLDI 1999
- Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators PLDI 1996
- Efficient and effective branch reordering using profile data TOPLAS 2002
- PSLP: padded SLP automatic vectorization CGO 2015