Benoit Boissinot

Status:PhD in Computer Science, now working as Software Engineer

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

Contact

Benoit Boissinot

benoit.boissinot@ens-lyon.org