Fast liveness checking for ssa-form programs. - Benoit Boissinot; Sebastian Hack; Daniel Grund; Benoît Dupont de Dinechin; Fabrice Rastello (CGO, 2008)

Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency. - Benoit Boissinot; Alain Darte; Fabrice Rastello; Benoît Dupont de Dinechin; Christophe Guillon (CGO, 2009)

A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs. - Benoit Boissinot; Florian Brandner; Alain Darte; Benoît Dupont de Dinechin; Fabrice Rastello (APLAS, 2011)

Graph-coloring and treescan register allocation using repairing. - Quentin Colombet; Benoit Boissinot; Philip Brisk; Sebastian Hack; Fabrice Rastello (CASES, 2011)

SSI Properties Revisited. - Benoit Boissinot; Philip Brisk; Alain Darte; Fabrice Rastello (ACM Trans. Embed. Comput. Syst., 2012)

Parameterized Construction of Program Representations for Sparse Dataflow Analyses. - André Luiz Camargos Tavares; Benoit Boissinot; Fernando Magno Quintão Pereira; Fabrice Rastello (CC, 2014)

Liveness. - Benoit Boissinot; Fabrice Rastello (SSA-based Compiler Design, 2022)