Benoit Boissinot

According to our database, Benoit Boissinot authored at least 7 papers between 2008 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Liveness.

Benoit Boissinot, Fabrice Rastello

Proceedings of the SSA-based Compiler Design, 2022

2014

Parameterized Construction of Program Representations for Sparse Dataflow Analyses.

André Luiz Camargos Tavares, Benoit Boissinot, Fernando Magno Quintão Pereira, Fabrice Rastello

Proceedings of the Compiler Construction - 23rd International Conference, 2014

2012

SSI Properties Revisited.

Benoit Boissinot, Philip Brisk, Alain Darte, Fabrice Rastello

ACM Trans. Embed. Comput. Syst., 2012

2011

Graph-coloring and treescan register allocation using repairing.

Quentin Colombet, Benoit Boissinot, Philip Brisk, Sebastian Hack, Fabrice Rastello

Proceedings of the 14th International Conference on Compilers, 2011

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

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2009

Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency.

Benoit Boissinot, Alain Darte, Fabrice Rastello, Benoît Dupont de Dinechin, Christophe Guillon

Proceedings of the CGO 2009, 2009

2008

Fast liveness checking for ssa-form programs.

Benoit Boissinot, Sebastian Hack, Daniel Grund, Benoît Dupont de Dinechin, Fabrice Rastello

Proceedings of the Sixth International Symposium on Code Generation and Optimization (CGO 2008), 2008