Vercors Vercors Vercors

Static Single-Assignment Form Seminar

27-30 April 2009, Autrans, France

About the Seminar

The way how the program is represented in the compiler has large influence on the efficiency and effectiveness of the compiler. Static Single Assignment (SSA) form is widely used in modern compilers even at the code generation level as it allows for simple yet efficient optimizations and analyses. Nowadays, we see compilers emerging that are completely based on SSA. Thus, SSA will play an even more important role in the future of compilation.

The topics of interest include, but are not limited to:

  • Static analyses on the SSA form
  • Compiler optimisations and code transformations under SSA
  • Construction/deconstruction/preservation of SSA form
  • Semantics/properties/flavours/extensions of SSA
  • Engineering aspects of SSA in compilers, binary translators, etc.
  • Applications of SSA in other areas such as program analysis, program verification, etc.

Special emphasis is put on the comparison of SSA-based techniques to their non-SSA counterparts.

The goal of the seminar is to bring researchers and practitioners in compilers together to exchange ideas and foster the development of SSA.

Group Photo



Semantics, Construction, and Destruction

Programming Languages and SSA

SSA and Memory

SSA-based Optimizations and Code Generation

Analyses and Optimizations

SSA-based Compilers


  • The seminar took place from 27 April 2009 to 30 April 2009

  • The seminar was hold at the seminar Center l'Escandille, Autrans, France.
  • Autrans is situated in the natural reserve of Vercors

Organizing Committee

Christian Bertin (STMicroelectronics)
Benoit Boissinot (ENS Lyon)
Alain Darte (CNRS/ENS Lyon)
Sebastian Hack (Saarland University)
Alan Mycroft (University of Cambridge)
Jens Palsberg (UCLA)
Fabrice Rastello (INRIA/ENS Lyon)


Fabrice Rastello

ENS Lyon
46, allée d'Italie
69364 Lyon CEDEX 07

Tel: +33 4 72 72 85 52
Fax: +33 4 72 72 80 80

Sebastian Hack

Fachrichtung 6.2 Informatik
Saarland University
Campus E1 3
66123 Saarbrücken

Tel: +49 (681) 302-57520
Fax: +49 (681) 302-3065