Verification of ANDF Components. - Frédéric Broustaut; Christian Fabre; François de Ferrière; Éric Ivanov; Mauro Fiorentini (Intermediate Representations Workshop, 1995)

TurboJ, a Java Bytecode-to-Native Compiler. - Michael Weiss; François de Ferrière; Bertrand Delsart; Christian Fabre; Frederick Hirsch; E. Andrew Johnson; Vania Joloboff; Fred Roy; Fridtjof Siebert; Xavier Spengler (LCTES, 1998)

Code generator optimizations for the ST120 DSP-MCU core. - Benoît Dupont de Dinechin; François de Ferrière; Christophe Guillon; Artour Stoutchinin (CASES, 2000)

Efficient static single assignment form for predication. - Artour Stoutchinin; François de Ferrière (MICRO, 2001)

Optimizing Translation Out of SSA Using Renaming Constraints. - Fabrice Rastello; François de Ferrière; Christophe Guillon (CGO, 2004)

Improvements to the Psi-SSA representation. - François de Ferrière (SCOPES, 2007)

Psi-SSA Form. - François de Ferrière (SSA-based Compiler Design, 2022)