François de Ferrière

According to our database, François de Ferrière authored at least 8 papers between 1995 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

SecSwift, a Compiler-Based Framework for Software Countermeasures in Cybersecurity.

François de Ferrière, Yves Janin, Sirine Mechmech

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2026

2022

Psi-SSA Form.

François de Ferrière

Proceedings of the SSA-based Compiler Design, 2022

2007

Improvements to the Psi-SSA representation.

François de Ferrière

Proceedings of the 10th International Workshop on Software and Compilers for Embedded Systems, 2007

2004

Optimizing Translation Out of SSA Using Renaming Constraints.

Fabrice Rastello, François de Ferrière, Christophe Guillon

Proceedings of the 2nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2004), 2004

2001

Efficient static single assignment form for predication.

Artour Stoutchinin, François de Ferrière

Proceedings of the 34th Annual International Symposium on Microarchitecture, 2001

2000

Code generator optimizations for the ST120 DSP-MCU core.

Benoît Dupont de Dinechin, François de Ferrière, Christophe Guillon, Artour Stoutchinin

Proceedings of the 2000 International Conference on Compilers, 2000

1998

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

Proceedings of the Languages, 1998

1995

Verification of ANDF Components.

Frédéric Broustaut, Christian Fabre, François de Ferrière, Éric Ivanov, Mauro Fiorentini

Proceedings of the Proceedings ACM SIGPLAN Workshop on Intermediate Representations (IR'95), 1995