@InProceedings{MoNaRe12:Scan2012,
  author    = {Christophe~Mouilleron and Amine~Najahi and Guillaume~Revy},
  title     = {Approach based on instruction selection for fast and certified code generation},
  booktitle = {Proceedings of the 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN'2012)},
  address   = {Novosibirsk, Russia},
  month     = {September},
  year      = {2012}
}