@inproceedings{MoNaRe14:SYNASC2014,
  author    = {Mouilleron, Christophe and Najahi, Amine and Revy, Guillaume},
  title     = {{A}utomated {S}ynthesis of {T}arget-{D}ependent {P}rograms for {P}olynomial {E}valuation in {F}ixed-{P}oint {A}rithmetic},
  booktitle = {Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014)},
  pages     = {141--148},
  address   = {Timisoara, Romania},
  month     = {September},
  year      = {2014},
  OPTeditor    = {},
  publisher = {IEEE Press.},
}