Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework - In Memory of Amir Pnueli
No abstract available.
Related papers
- TVOC: A Translation Validator for Optimizing Compilers CAV 2005
- A simple, verified validator for software pipelining POPL 2010
- Proving optimizations correct using parameterized program equivalence PLDI 2009
- Scheduling and Mapping: Software Pipelining in the Presence of Structural Hazards PLDI 1995
- Improved spill code generation for software pipelined loops PLDI 2000
- A Novel Framework of Register Allocation for Software Pipelining POPL 1993
- A First Step Towards Time Optimal Software Pipelining of Loops with Control Flows CC 2001
- Register Allocation and Optimal Spill Code Scheduling in Software Pipelined Loops Using 0-1 Integer Linear Programming Formulation CC 2007