.. Benoit Boissinot Homepage documentation master file, created by sphinx-quickstart on Sun Dec 7 14:38:08 2008. You can adapt this file completely to your liking, but it should at least contain the root `toctree` directive. 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] `_ .. should be static/report/bboissin_thesis.pdf Contributions ------------- * `Mercurial `_ : a distributed revision control system .. toctree:: :hidden: nethack salade fileopen-drm Contact ------- | Benoit Boissinot | benoit.boissinot@ens-lyon.org