We build on
SALTO: System for Assembly-Language Transformations and Optimizations
- retargetable assembly source to source preprocessor
- Erven Rohou’s Ph. D
TSF:
- Scripting language for program transformation on top of ForeSys (Simulog)
- Yann Mevel’s Ph. D