Travelled to:
1 × Germany
3 × USA
Collaborated with:
F.Rastello C.Bertin K.D.Bosschere F.d.Ferrière R.Sol F.M.Q.Pereira M.A.d.S.Bigonha B.Boissinot A.Darte B.D.d.Dinechin
Talks about:
translat (2) compil (2) ssa (2) out (2) constraint (1) overflow (1) virtual (1) revisit (1) qualiti (1) correct (1)
Person: Christophe Guillon
DBLP: Guillon:Christophe
Contributed to:
Wrote 4 papers:
- CC-2011-SolGPB #compilation #testing
- Dynamic Elimination of Overflow Tests in a Trace Compiler (RS, CG, FMQP, MAdSB), pp. 2–21.
- DAC-2010-BertinGB #compilation
- Compilation and virtualization in the HiPEAC vision (CB, CG, KDB), pp. 96–101.
- CGO-2009-BoissinotDRDG #correctness #performance #quality
- Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency (BB, AD, FR, BDdD, CG), pp. 114–125.
- CGO-2004-RastelloFG #constraints #optimisation #using
- Optimizing Translation Out of SSA Using Renaming Constraints (FR, FdF, CG), pp. 265–278.