Benoit Boissinot — Benoit Boissinot Homepage (original) (raw)

Publications¶

• 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.

Internship reports¶

• 2003-2004: Single System Image: a comparative study(french)
• 2004-2005: Instruction cache optimization(french)
• 2005-2006: Distributed System Monitoring and Failure Diagnosis using Cooperative Virtual Backdoors(english)

PhD thesis¶

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]

Contributions¶

• Mercurial : a distributed revision control system