Benoit Boissinot
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2008–2014
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | CC | Parameterized Construction of Program Representations for Sparse Dataflow Analyses. | Andr Luiz Camargos Tavares, Benoit Boissinot, Fernando Magno Quinto Pereira, Fabrice Rastello |
| 2011 | APLAS | A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs. | Benoit Boissinot, Florian Brandner, Alain Darte, Benot Dupont de Dinechin, Fabrice Rastello |
| 2011 | CASES | Graph-coloring and treescan register allocation using repairing. | Quentin Colombet, Benoit Boissinot, Philip Brisk, Sebastian Hack, Fabrice Rastello |
| 2009 | CGO | Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency. | Benoit Boissinot, Alain Darte, Fabrice Rastello, Benot Dupont de Dinechin, Christophe Guillon |
| 2008 | CGO | Fast liveness checking for ssa-form programs. | Benoit Boissinot, Sebastian Hack, Daniel Grund, Benot Dupont de Dinechin, Fabrice Rastello |