| 2012 | ||
|---|---|---|
| j1 | Benoit Boissinot, Philip Brisk, Alain Darte, Fabrice Rastello: SSI Properties Revisited. ACM Trans. Embedded Comput. Syst. 11(S1): 21 (2012) | |
| 2011 | ||
| c4 | 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 | |
| c3 | Quentin Colombet, Benoit Boissinot, Philip Brisk, Sebastian Hack, Fabrice Rastello: Graph-coloring and treescan register allocation using repairing. CASES 2011: 45-54 | |
| 2009 | ||
| c2 | 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 | ||
| c1 | Benoit Boissinot, Sebastian Hack, Daniel Grund, Benoît Dupont de Dinechin, Fabrice Rastello: Fast liveness checking for ssa-form programs. CGO 2008: 35-44 | |
| 1 | Florian Brandner | |
| 2 | Philip Brisk | |
| 3 | Quentin Colombet | |
| 4 | Alain Darte | |
| 5 | Benoît Dupont de Dinechin | |
| 6 | Daniel Grund | |
| 7 | Christophe Guillon | |
| 8 | Sebastian Hack | |
| 9 | Fabrice Rastello |
Data released under the ODC-BY 1.0 license — See also our legal information page