Benoit Boissinot Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Benoit Boissinot, Philip Brisk, Alain Darte, Fabrice Rastello: SSI Properties Revisited. ACM Trans. Embedded Comput. Syst. 11(S1): 21 (2012)
2011
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 137-154
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Quentin Colombet, Benoit Boissinot, Philip Brisk, Sebastian Hack, Fabrice Rastello: Graph-coloring and treescan register allocation using repairing. CASES 2011: 45-54
2009
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 114-125
2008
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Benoit Boissinot, Sebastian Hack, Daniel Grund, Benoît Dupont de Dinechin, Fabrice Rastello: Fast liveness checking for ssa-form programs. CGO 2008: 35-44

Coauthor Index

1Florian Brandner
[c4]
2Philip Brisk
[j1] [c3]
3Quentin Colombet
[c3]
4Alain Darte
[j1] [c4] [c2]
5Benoît Dupont de Dinechin
[c4] [c2] [c1]
6Daniel Grund
[c1]
7Christophe Guillon
[c2]
8Sebastian Hack
[c3] [c1]
9Fabrice Rastello
[j1] [c4] [c3] [c2] [c1]
Last update Sat May 18 16:33:43 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page