Benoit Boissinot, Alain Darte, Fabrice Rastello, Benoît Dupont de Dinechin,
and Christophe Guillon. Revisiting Out-of-SSA Translation for Correctness,
Code Quality, and Efficiency. In IEEE/ACM International Symposium on Code
Generation and Optimization (CGO’09), pages 114–125. IEEE, 2009. (Best
paper award)[slides]
Benoit Boissinot, Sebastian Hack, Daniel Grund, Benoît Dupont de Dinechin,
and Fabrice Rastello. Fast liveness checking for SSA-form programs. In
IEEE/ACM International Symposium on Code Generation and Optimization
(CGO’08), pages 35–44. ACM, 2008. (Best paper award)[slides]
Renaud Lottiaux, Benoit Boissinot, Pascal Gallard, Geoffroy Vallée, and
Christine Morin: OpenMosix, OpenSSI and Kerrighed: a comparative study. In
Proceedings of the Fifth IEEE International Symposium on Cluster Computing
and the Grid (CCGrid‘05), pages 1016–1023, Volume 2, Washington, DC, USA.
My thesis titled Towards an SSA based compiler back-end: some interesting properties of SSA and
its extensions was defended on Sept 30 2010.
[pdf][slides]