| 2007 | 
| 7 | EE | François de Ferrière:
Improvements to the Psi-SSA representation.
SCOPES 2007: 111-121 | 
| 6 | EE | François de Ferrière:
Improvements to the Psi-SSA representation
CoRR abs/0705.2126:  (2007) | 
| 2004 | 
| 5 | EE | Fabrice Rastello,
François de Ferrière,
Christophe Guillon:
Optimizing Translation Out of SSA Using Renaming Constraints.
CGO 2004: 265-278 | 
| 2001 | 
| 4 | EE | Artour Stoutchinin,
François de Ferrière:
Efficient static single assignment form for predication.
MICRO 2001: 172-181 | 
| 2000 | 
| 3 | EE | Benoît Dupont de Dinechin,
François de Ferrière,
Christophe Guillon,
Artour Stoutchinin:
Code generator optimizations for the ST120 DSP-MCU core.
CASES 2000: 93-102 | 
| 1998 | 
| 2 | EE | Michael Weiss,
François de Ferrière,
Bertrand Delsart,
Christian Fabre,
Frederick Hirsch,
E. Andrew Johnson,
Vania Joloboff,
Fred Roy,
Fridtjof Siebert,
Xavier Spengler:
TurboJ, a Java Bytecode-to-Native Compiler.
LCTES 1998: 119-130 | 
| 1995 | 
| 1 |   | Frédéric Broustaut,
Christian Fabre,
François de Ferrière,
Éric Ivanov,
Mauro Fiorentini:
Verification of ANDF Components.
Intermediate Representations Workshop 1995: 103-110 |