Benoit Boissinot

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Database Machine

Construction Process

Graph Transformation

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

André Luiz Camargos Tavares, Benoit Boissinot, Fernando Magno Quintão Pereira, Fabrice Rastello
Parameterized Construction of Program Representations for Sparse Dataflow Analyses. CoRR (2014)
André Luiz Camargos Tavares, Benoit Boissinot, Fernando Magno Quintão Pereira, Fabrice Rastello
Parameterized Construction of Program Representations for Sparse Dataflow Analyses. CC (2014)
Benoit Boissinot, Philip Brisk, Alain Darte, Fabrice Rastello
SSI Properties Revisited. ACM Trans. Embed. Comput. Syst. 11 (S1) (2012)
Benoit Boissinot, Florian Brandner, Alain Darte, Benoît Dupont de Dinechin, Fabrice Rastello
A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs. APLAS (2011)
Quentin Colombet, Benoit Boissinot, Philip Brisk, Sebastian Hack, Fabrice Rastello
Graph-coloring and treescan register allocation using repairing. CASES (2011)
Benoit Boissinot, Alain Darte, Fabrice Rastello, Benoît Dupont de Dinechin, Christophe Guillon
Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency. CGO (2009)
Benoit Boissinot, Sebastian Hack, Daniel Grund, Benoît Dupont de Dinechin, Fabrice Rastello
Fast liveness checking for ssa-form programs. CGO (2008)