dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Benoît Dupont de Dinechin (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit Boissinot, Sebastian Hack, Daniel Grund, Benoît Dupont de Dinechin, Fabrice Rastello: Fast liveness checking for ssa-form programs. CGO 2008: 35-44

Selection of 3 from 18 records - Benoît Dupont de Dinechin has 25 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page