Fabrice Rastello is an Inria research director and the leader of the CORSE (Compiler Optimization and Runtime SystEms) Inria team. His expertize includes automatic parallelization (PhD thesis on tiling as a loop transformations), and compiler back-end optimizations (engineer at STMicroelectronics's compiler group + researcher at Inria). Among others, he advised several PhD thesis so as to fully revisit register allocation for JIT compilation in the light of Static Single Assignment (SSA) properties. He likes mixing theory (mostly graphs, algorithmic, and algebra) and practice (industrial transfer). His current research topics include: (i) combining run-time techniques with static compilation, hybrid compilation being an example of such approach he is trying to promote; (ii) performance debugging through static and dynamic (binary instrumentation) analysis; (iii) revisiting compilers infrastructure for pattern specific programs.

Florent Bouchez Tichadou received his Ph.D. in computer science in 2009 at the ENS Lyon in France, working on program compilation. He was then a post-doctoral fellow at the Indian Institute of Science (IISc) in Bangalore, India. He worked for three years at Kalray, a startup company in the Grenoble area in France. Since 2013, he is an assistant professor at the Université Grenoble Alpes (UGA).

Provides first single-source reference to widely adopted, static-single assignment (SSA) form of compiler design

Offers readers state-of-the-art, advanced compiler optimization techniques

Includes content from globally recognized compiler research centers and engineering practitioners

1. Introduction.- 2. Properties and flavors.- 3. Standard Construction and Destruction Algorithms.- 4. Advanced Construction Algorithms for SSA.- 5. SSA Reconstruction.- 6. Functional Representations of SSA.- 7. Introduction.- 8. Propagating Information using SSA.- 9. Liveness.- 10. Loop Tree and Induction Variables.- 11. Redundancy Elimination.- 12. Introduction.- 13. Static Single Information form.- 14. Graphs and Gating Functions.- 15. Psi-SSA Form.- 16. Hashed SSA form: HSSA.- 17. Array SSA Form.- 18. SSA Form and Code Generation.- 19. Instruction Code Selection.- 20. If-Conversion.- 21. SSA Destruction for Machine Code.- 22. Register Allocation.- 23. Hardware Compilation using SSA.- 24. Building SSA in a Compiler for PHP.