SSA-based Compiler Design (original) (raw)
Overview
Editors:
- Fabrice Rastello
- Inria, Grenoble, France
- Florent Bouchez Tichadou
- University of Grenoble Alpes, Grenoble, France
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
47k Accesses
18 Citations
32 Altmetric
Access this book
Other ways to access
About this book
This book provides readers with a single-source reference to static-single assignment
(SSA)-based compiler design. It is the first (and up to now only) book that covers
in a deep and comprehensive way how an optimizing compiler can be designed using
the SSA form. After introducing vanilla SSA and its main properties, the authors
describe several compiler analyses and optimizations under this form. They illustrate
how compiler design can be made simpler and more efficient, thanks to the SSA form.
This book also serves as a valuable text/reference for lecturers, making the teaching of
compilers simpler and more effective. Coverage also includes advanced topics, such as
code generation, aliasing, predication and more, making this book a valuable reference
for advanced students and practicing engineers.
Similar content being viewed by others
Table of contents (24 chapters)
Vanilla SSA
Analysis
Liveness
- Benoît Boissinot, Fabrice Rastello
Pages 107-122
- Benoît Boissinot, Fabrice Rastello
Extensions
Editors and Affiliations
Inria, Grenoble, France
Fabrice Rastello
University of Grenoble Alpes, Grenoble, France
Florent Bouchez Tichadou
About the editors
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).
Accessibility Information
Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.
Bibliographic Information
- Book Title: SSA-based Compiler Design
- Editors: Fabrice Rastello, Florent Bouchez Tichadou
- DOI: https://doi.org/10.1007/978-3-030-80515-9
- Publisher: Springer Cham
- eBook Packages: Computer Science, Computer Science (R0)
- Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2022
- Hardcover ISBN: 978-3-030-80514-2Published: 09 December 2022
- Softcover ISBN: 978-3-030-80517-3Published: 09 December 2023
- eBook ISBN: 978-3-030-80515-9Published: 08 December 2022
- Edition Number: 1
- Number of Pages: XVII, 382
- Number of Illustrations: 116 b/w illustrations, 32 illustrations in colour
- Topics: Circuits and Systems, Programming Languages, Compilers, Interpreters, Processor Architectures