Code Optimization by Integer Linear Programming
Abstract elided by the publisher.
Related papers
- Register Allocation and Optimal Spill Code Scheduling in Software Pipelined Loops Using 0-1 Integer Linear Programming Formulation CC 2007
- Polyhedral auto-transformation with no integer linear programming PLDI 2018
- Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic CAV 2024
- Synthesizing MILP Constraints for Efficient and Robust Optimization PLDI 2023
- Scimitar: Functional Programs as Optimization Problems Onward! 2024
- Optimal Spilling for CISC Machines with Few Registers PLDI 2001
- Fast and Efficient Bit-Level Precision Tuning SAS 2021
- Termination of Integer Linear Programs CAV 2006