@InProceedings{MouRev11:ARITH20,
  author      = {Christophe~Mouilleron and Guillaume~Revy},
  title       = {{A}utomatic {G}eneration of {F}ast and {C}ertified {C}ode for {P}olynomial {E}valuation},
  booktitle   = {Proceedings of the 20th {IEEE} Symposium on Computer Arithmetic (ARITH'20)},
  pages       = {233-242},
  editor      = {Antelo, E. and Hough, D. and Ienne, P.},
  address     = {Tuebingen, Germany},
  month       = {July},
  year        = {2011},
  publisher   = {IEEE Computer Society},
  editor      = {10.1109/ARITH.2011.39}
}