François de Ferrière

According to our database1, François de Ferrière authored at least 7 papers between 1995 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Psi-SSA Form.
Proceedings of the SSA-based Compiler Design, 2022

2007
Improvements to the Psi-SSA representation.
Proceedings of the 10th International Workshop on Software and Compilers for Embedded Systems, 2007

2004
Optimizing Translation Out of SSA Using Renaming Constraints.
Proceedings of the 2nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2004), 2004

2001
Efficient static single assignment form for predication.
Proceedings of the 34th Annual International Symposium on Microarchitecture, 2001

2000
Code generator optimizations for the ST120 DSP-MCU core.
Proceedings of the 2000 International Conference on Compilers, 2000

1998

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


  Loading...