f2d.bib

@inproceedings{Dinechin1994:ParCo,
  author = { Helmut Weberpals and de Dinechin, Florent},
  title = {Analysis of Parallel Algorithms for a Shared Virtual Memory Computer},
  booktitle = {ParCo'93},
  series = {Advances in Parallel Computing},
  publisher = {North-Holland},
  x-international-audience = {yes},
  pages = {719--723},
  year = {1994}
}
@inproceedings{Dinechin1995:MPPM,
  author = {de Dinechin, Florent and Quinton, Patrick and Risset, Tanguy},
  booktitle = {Massively Parallel Programming Models},
  publisher = {IEEE},
  pages = {18--24},
  title = {Structuration of the {{Alpha}} Language},
  nomonth = aug,
  year = {1995},
  x-international-audience = {yes},
  location = {Berlin, Germany},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/1995-MPPM.pdf}
}
@inproceedings{Dinechin1995:ParCo,
  author = {de Dinechin, Florent and Weberpals, Helmut},
  title = {A Localized Parallel Sorting Algorithm and its
                  Implementation},
  booktitle = {ParCo'95},
  series = {Advances in Parallel Computing},
  publisher = {North-Holland},
  x-international-audience = {yes},
  location = {Gent - Belgium},
  year = {1996}
}
@inproceedings{Dinechin1996:ASAP,
  author = {de Dinechin, Florent and Robert, Sophie},
  booktitle = {Application Specific Array Processors},
  organization = {IEEE},
  title = {Hierarchical Static Analysis of Structured Systems
                  of Affine Recurrence Equations},
  nomonth = aug,
  year = {1996},
  x-international-audience = {yes},
  location = {Chicago, USA},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/1996-ASAP.pdf}
}
@inproceedings{Dinechin1996:Irregular,
  author = {Rumen Andonov and  de Dinechin, Florent and Sanjay
                  Rajopadhye and Wilde, Doran},
  booktitle = {International Workshop on Parallel Algorithms for
                  Irregularly Structured Problems},
  publisher = {Springer-Verlag Lecture Notes in Computer Science},
  title = {A Regular {VLSI} Array for an Irregular Algorithm},
  nomonth = aug,
  x-international-audience = {yes},
  year = {1996},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/1996-Irreg.pdf}
}
@inproceedings{Dinechin1996:WDMSP,
  author = {de Dinechin, Florent and Le Mo\"{e}nner, Patricia},
  title = {Automatic Synthesis of Regular Architectures
                  Optimized at the Bit Level},
  booktitle = {Workshop on Design Methodologies for Signal
                  Processing},
  location = {Zakopane, Poland},
  x-international-audience = {yes},
  nomonth = aug,
  year = {1996},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/1996-WDMSP.pdf}
}
@inproceedings{Dinechin1997:ECAL,
  author = {de Dinechin, Florent},
  booktitle = {European Conference on Artificial Life},
  location = {Brighton, UK},
  publisher = {{MIT} Press/Bradford Books},
  title = {Self-replication in a {2D} von {Neumann} Architecture},
  nomonth = aug,
  year = {1997},
  x-international-audience = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/1997-ECAL.pdf}
}
@inproceedings{Dinechin1997:ASAP,
  author = {de Dinechin, Florent},
  booktitle = {Application Specific Array Processors},
  organization = {IEEE Computer Society Press},
  title = {Libraries of Schedule-Free Operators in {Alpha}},
  location = {Zurich, Switzerland},
  nomonth = jul,
  x-international-audience = {yes},
  year = {1997},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/1997-ASAP.pdf}
}
@inproceedings{Dinechin1997:ParCo,
  author = {de Dinechin, Florent and Risset, Tanguy and Robert, Sophie },
  booktitle = {Parallel Computing},
  location = {Bonn, Germany},
  publisher = {Elsevier},
  title = {Hierarchical Static Analysis for Improving the
                  Complexity of Linear Algebra Algorithms},
  nomonth = sep,
  x-international-audience = {yes},
  year = {1997},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/1997-ParCo.pdf}
}
@phdthesis{Dinechin-thesis,
  author = {de Dinechin, Florent},
  title = {Syst\`emes structur\'es d'\'equations
                  r\'ecurrentes~: mise en \oe uvre dans le langage
                  Alpha et applications},
  type = {thesis},
  school = {universit\'{e} de Rennes I},
  year = 1997,
  x-international-audience = {no},
  nomonth = jan,
  pdf = {ftp://ftp.irisa.fr/techreports/theses/1997/dupont.ps.gz}
}
@inproceedings{Dinechin1998:FPL,
  author = {Luk, W. and Andreou, P. and Derbyshire, A. and
                  de Dinechin, F. and Rice, J. and Shirazi, N. and
                  Siganos, D.},
  booktitle = {Field Programmable Logic and Applications},
  location = {Tallin, Estonia},
  pages = {169--178},
  x-international-audience = {yes},
  title = {A reconfigurable engine for real-time video
                  processing},
  nomonth = aug,
  year = {1998}
}
@inproceedings{Dinechin1999:FPGA,
  author = {de Dinechin, Florent},
  booktitle = {FPGA'99},
  location = {Monterey, USA},
  title = {Towards Adaptable Hierarchical Placement for
                  {FPGA}s},
  nomonth = feb,
  year = {1999},
  x-international-audience = {yes},
  note = {Also available as INRIA RR-3776 and LIP RR1999-50},
  pdf = {ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-3776.ps.gz}
}
@inproceedings{Dinechin1999:Sympa,
  author = {de Dinechin, Florent},
  booktitle = {Sympa'5, cinqui\`eme symposium en architectures
                  nouvelles de machines},
  address = {Rennes, France},
  title = {Le prix du routage dans les {FPGAs}},
  nomonth = jun,
  x-international-audience = {no},
  year = {1999}
}
@article{Dinechin2000:JUCS,
  author = {de Dinechin, Florent},
  title = {The Price of Routing in {FPGA}s},
  journal = {Journal of Universal Computer Science},
  volume = 6,
  number = 2,
  pages = {227--239},
  nomonth = feb,
  x-international-audience = {yes},
  year = {2000},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2000-JUCS.pdf}
}
@inproceedings{DinLef2000:enregle,
  author = {de Dinechin, Florent  and Vincent Lef\`evre},
  title = {Constant Multipliers for {FPGA}s},
  longbooktitle = {2nd Intl Workshop on Engineering of Reconfigurable Hardware/Software Objects ({ENREGLE}), Parallel and Distributed Processing Techniques and Applications},
  booktitle = {Parallel and Distributed Processing Techniques and Applications},
  location = {Las Vegas, USA},
  pages = {167--173},
  nonomonth = jun,
  year = 2000,
  x-international-audience = {yes},
  anote = {Also available as LIP research report 2000-18},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2000-ENREGLE.pdf}
}
@inproceedings{Dinechin2000:SPIE,
  author = {de Dinechin, Florent and Arnaud Tisserand},
  title = {Table-based methods comparison 
for low-precision evaluation of the sine and cosine functions on {FPGA}s},
  booktitle = {Advanced Signal Processing Algorithms, Architectures, and
Implementations},
  noeditor = {F.~Luk},
  year = 2000,
  novolume = 4116,
  x-international-audience = {yes},
  location = {San Diego, California},
  nomonth = aug
}
@article{Dinechin2001:TSI,
  author = {de Dinechin, Florent},
  title = {Le prix du routage dans les {FPGAs}},
  journal = {Technique et science informatiques},
  volume = 20,
  number = 2,
  year = 2001,
  pages = {229--243},
  x-international-audience = {no}
}
@inproceedings{Dinechin2001:Arith,
  author = {de Dinechin, Florent and Tisserand, Arnaud},
  title = {Some Improvements on Multipartite Table Methods},
  booktitle = {15th Symposium on Computer Arithmetic},
  noeditor = {Neil Burgess and Luigi Ciminiera},
  year = 2001,
  nolocation = {Vail, Colorado},
  nomonth = jun,
  pages = {128--135},
  x-international-audience = {yes},
  nonote = {Updated version of LIP research report 2000-38},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2001-Arith-multipartite.pdf}
}
@inproceedings{DefDinMul2001:SPIE,
  author = {David Defour and F. de Dinechin and Jean-Michel Muller},
  title = {Correctly Rounded Exponential Function in Double Precision Arithmetic},
  booktitle = {Advanced Signal Processing Algorithms, Architectures, and
Implementations},
  year = 2001,
  nolocation = {San Diego, California},
  nomonth = aug,
  x-international-audience = {yes},
  anote = {Also available as LIP research report 2001-26}
}
@proceedings{Dinechin2001:RSRCP,
  editor = {Daumas, M. and de Dinechin, Florent and Tisserand, Arnaud},
  journal = {R\'eseaux et syst\`emes r\'epartis, calculateurs parall\`eles},
  title = {Introduction \`a l'arithm\'etique des ordinateurs},
  year = {2001},
  volume = {13},
  page = {327-356},
  x-international-audience = {no}
}
@inproceedings{DinDet2002:RAW,
  author = {Florent de Dinechin and J\'er\'emie Detrey},
  title = {Multipartite Tables in {JBits} for the Evaluation of Functions on {FPGA}s},
  booktitle = {IEEE Reconfigurable Architecture Workshop, International Parallel and Distributed Symposium},
  year = 2002,
  location = {Fort Lauderdale, Florida},
  nomonth = apr,
  anote = {Updated version of LIP research report 2001-44},
  x-international-audience = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2002-RAW.pdf}
}
@inproceedings{DefDin2002:ICMS,
  author = {Defour, David and de Dinechin, Florent},
  title = {Software carry-save for fast multiple-precision algorithms},
  booktitle = {35th International Congress of Mathematical Software},
  year = 2002,
  location = {Beijing, China},
  x-international-audience = {yes},
  anote = {Updated version of LIP research report 2002-08}
}
@inproceedings{DefDinMul2002:Asilomar,
  author = {Defour, David and de Dinechin, Florent and 
Muller, Jean-Michel},
  title = {A new scheme for table-based evaluation of functions},
  booktitle = {36th Asilomar Conference on Signals, Systems, and Computers},
  year = 2002,
  nomonth = nov,
  x-international-audience = {yes},
  location = {Pacific Grove, California}
}
@inproceedings{Dinechin2002:FDL,
  author = {de Dinechin, Florent and Risset, Tanguy and Manjunathaiah, Manju and Spivey, Michael},
  title = {Design of highly parallel architectures with {Alpha} and {Handel}},
  booktitle = {Forum on Design Languages},
  year = 2002,
  nomonth = sep,
  x-international-audience = {yes},
  location = {Marseille, France}
}
@inproceedings{DinDef2003:PaCT,
  author = {de Dinechin, Florent and Defour, David},
  title = {Software Carry-Save: A case study for instruction-level parallelism},
  booktitle = {Seventh International Conference on Parallel Computing Technologies},
  year = 2003,
  nomonth = sep,
  location = {Nizhny Novgorod, Russia},
  x-international-audience = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2003-PACT.pdf}
}
@inproceedings{DefDarDinMul2003:SPIE,
  author = {David Defour and Catherine Daramy and de Dinechin, Florent and  Muller, Jean-Michel},
  title = {{CR-LIBM}: a correctly rounded elementary function library},
  booktitle = {Advanced Signal Processing Algorithms, Architectures, and
  Implementations},
  x-international-audience = {yes},
  year = {2003}
}
@inproceedings{DetDin2003:sympaaa,
  author = {Detrey, J\'er\'emie and de Dinechin, Florent},
  title = {Outils pour une comparaison sans a priori entre
                  arithm\'etique logarithmique et arithm\'etique
                  flottante},
  booktitle = {Actes de RenPar'15, CFSE'3 et SympAAA'2003},
  editor = {M. Auguin and F. Baude and D. Lavenier and
                  M. Riveill},
  year = 2003,
  nomonth = oct,
  x-international-audience = {no},
  national = fr
}
@inproceedings{DetDin2003:Asilomar,
  author = {Detrey, J\'er\'emie and de Dinechin, Florent},
  title = {A {VHDL} Library of {LNS} Operators},
  booktitle = {37th Asilomar Conference on Signals, Systems and Computers},
  year = 2003,
  nomonth = oct,
  x-international-audience = {yes},
  location = {Pacific Grove, USA}
}
@incollection{DinechinRisset2003:SSDL,
  author = {de Dinechin, Florent and Risset, Tanguy and Manjunathaiah, Manju and Spivey, Michael},
  chapter = {Design of highly parallel architectures with {Alpha} and {Handel}},
  title = {System Specification and Design Languages (best of {FDL}'02)},
  year = 2003,
  x-international-audience = {yes},
  publisher = {Kluwer}
}
@techreport{crlibmdoc,
  title = {{CR-LIBM}: A library of correctly rounded elementary functions in double-precision},
  author = {Daramy-Loirat, Catherine and Defour, David and de Dinechin, Florent and Gallet, Matthieu and Gast, Nicolas and Lauter, Christoph and Muller, Jean-Michel},
  note = {https://hal-ens-lyon.archives-ouvertes.fr/ensl-01529804},
  type = {Research Report},
  institution = {LIP},
  year = {2006},
  month = dec,
  nokeywords = {elementary functions ;  correct rounding ;  floating-point arithmetic},
  pdf = {https://hal-ens-lyon.archives-ouvertes.fr/ensl-01529804/file/crlibm.pdf},
  hal_id = {ensl-01529804},
  hal_version = {v1}
}
@techreport{DinDefLau2004LIP,
  author = {de Dinechin, Florent and David Defour and Lauter, Ch. Q.},
  title = {Fast correct rounding of elementary functions 
             in double precision using double-extended arithmetic},
  institution = {LIP, \'Ecole Normale Sup\'erieure de Lyon},
  year = 2004,
  number = {2004-10},
  nomonth = mar,
  znote = {Submitted to Transactions on Mathematical Software},
  anote = {Available at \url{http://www.ens-lyon.fr/LIP/Pub/Rapports/RR/RR2004/RR2004-10.pdf}}
}
@inproceedings{DetDin2004:FPL,
  author = {Detrey, J\'er\'emie and de Dinechin, Florent},
  title = {Second Order Function Approximation 
                 Using a Single  Multiplication on {FPGAs}},
  booktitle = {14th Intl Conference on Field-Programmable Logic and Applications (LNCS 3203)},
  publisher = {Springer},
  pages = {221--230},
  year = 2004,
  nomonth = aug,
  location = {Antwerp, Belgium},
  x-international-audience = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2004-FPL.pdf}
}
@inproceedings{DinLoiMul2004:RNC,
  author = {de Dinechin, Florent and Loirat, Catherine and Muller, Jean-Michel},
  title = {A proven correctly rounded logarithm in double-precision},
  booktitle = {RNC6, Real Numbers and Computers},
  year = 2004,
  nomonth = nov,
  x-international-audience = {yes},
  location = {Schloss Dagstuhl, Germany}
}
@article{DetDin2005:TSI,
  author = {Detrey, J\'er\'emie and de Dinechin, Florent},
  title = {Outils pour une comparaison sans a priori entre
                  arithm\'etique logarithmique et arithm\'etique
                  flottante},
  journal = {Technique et science informatiques},
  year = 2005,
  volume = 24,
  number = 6,
  pages = {625--643},
  x-international-audience = {no}
}
@article{DinTis2005:IEEETC,
  author = {de Dinechin, Florent  and Tisserand, Arnaud},
  title = {Multipartite table methods},
  journal = {{IEEE} Transactions on Computers},
  year = 2005,
  volume = 54,
  number = 3,
  pages = {319--330},
  x-international-audience = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2005-TC-Multipartite.pdf}
}
@inproceedings{DetDin2005:asap,
  author = {Detrey, J\'er\'emie and de Dinechin, Florent},
  title = {Table-based polynomials for fast hardware function
evaluation},
  longbooktitle = {16th Intl Conference on
Application-specific Systems, Architectures and Processors},
  booktitle = {Application-specific Systems, Architectures and Processors},
  publisher = {IEEE},
  nonomonth = jul,
  location = {Samos, Greece},
  year = 2005,
  pages = {328--333},
  x-international-audience = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2005-ASAP.pdf}
}
@inproceedings{DetDin2005:asilomar,
  author = {J\'er\'emie Detrey and de Dinechin, Florent},
  title = {A Parameterizable Floating-Point Logarithm Operator for {FPGA}s},
  booktitle = {39th Asilomar Conference on Signals, Systems \& Computers},
  year = 2005,
  location = {Pacific Grove, California, USA},
  nonomonth = nov,
  publisher = {IEEE},
  longpublisher = {IEEE Signal Processing Society},
  x-international-audience = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2005-Asilomar.pdf}
}
@inproceedings{DetDin2005:fpt,
  author = {J\'er\'emie Detrey and de Dinechin, Florent},
  title = {A Parameterized Floating-Point Exponential Function for {FPGA}s},
  longbooktitle = {IEEE International Conference on Field-Programmable Technology (FPT'05)},
  booktitle = {Field-Programmable Technology},
  year = 2005,
  location = {Singapore},
  nomonth = dec,
  publisher = {IEEE},
  x-international-audience = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2005-FPT.pdf}
}
@inproceedings{DinErshGast2005:Arith,
  author = {de Dinechin, Florent and Ershov, Alexey and Gast, Nicolas},
  title = {Towards the post-ultimate libm},
  booktitle = {17th Symposium on Computer Arithmetic},
  year = 2005,
  location = {Cape Cod, Massachussets},
  publisher = {IEEE},
  nomonth = jun,
  pages = {288--295},
  x-international-audience = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2005-Arith-libm.pdf}
}
@inproceedings{DinLauMel06:SAC,
  author = {de Dinechin, Florent  and {\relax Ch}ristoph Lauter and Guillaume Melquiond},
  title = {Assisted verification of elementary functions using {G}appa},
  booktitle = {Proceedings of the 2006 ACM Symposium on Applied Computing},
  pages = {1318--1322},
  adress = {Dijon, France},
  x-international-audience = {yes},
  year = {2006}
}
@article{DinVil2006:NIMPR,
  author = {de Dinechin, Florent and Villard, G.},
  title = {High precision numerical accuracy in physics research},
  journal = {Nuclear Inst. and Methods in Physics Research, A},
  year = 2006,
  pages = {207--210},
  x-international-audience = {yes},
  volume = {559}
}
@inproceedings{DinMcInSchm2006:ICAP,
  author = {de Dinechin, Florent and McIntosh, Eric and Schmidt, Franck},
  title = {Massive Tracking on Heterogeneous Platforms},
  booktitle = {9th International Computational
Accelerator Physics Conference (ICAP)},
  nomonth = oct,
  x-international-audience = {yes},
  year = 2006
}
@inproceedings{ColDetDin2006:dsd,
  author = {Caroline Collange and J\'er\'emie Detrey and  de Dinechin, Florent},
  title = {Floating point or {LNS}: choosing the right arithmetic on an application basis},
  booktitle = {9th Euromicro Conference on Digital System Design: Architectures, Methods and Tools ({DSD}'2006)},
  pages = {197--203},
  address = {Dubrovnik, Croatia},
  publisher = {IEEE},
  nomonth = aug,
  year = 2006,
  doi = {10.1109/DSD.2006.54},
  x-international-audience = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2006-DSD.pdf}
}
@inproceedings{DinMaid2006:RNC,
  author = {de Dinechin, Florent and Maidanov, Sergey},
  title = {Software techniques for perfect elementary functions in floating-point interval arithmetic},
  booktitle = {Real Numbers and Computers},
  year = 2006,
  nomonth = jul,
  x-international-audience = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2006-RNC.pdf}
}
@inproceedings{Din2006:Scan,
  author = {de Dinechin, Florent},
  title = {Elementary functions for  double-precision interval arithmetic},
  booktitle = {Scientific Computing, Computer Arithmetic and Validated Numerics},
  organization = {{GAMM} - {IMACS}},
  year = 2006,
  x-international-audience = {yes},
  nomonth = jul
}
@inproceedings{DetDin2006:sympa,
  author = {J\'er\'emie Detrey and de Dinechin, Florent },
  title = {Op\'erateurs trigonom\'etriques en virgule flottante sur {FPGA}},
  booktitle = {RenPar'17, SympA'2006, CFSE'5 et JC'2006},
  pages = {96--105},
  address = {Perpignan, France},
  nomonth = oct,
  year = 2006,
  x-international-audience = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2006-Sympaaa.pdf}
}
@article{DetDin2007:JVLSISP,
  author = {J\'er\'emie Detrey and  de Dinechin, Florent},
  title = {A tool for unbiased comparison between logarithmic and
  floating-point arithmetic},
  journal = {Journal of {VLSI} Signal Processing},
  publisher = {Springer},
  volume = 49,
  number = 1,
  pages = {161--175},
  doi = {10.1007/s11265-007-0048-7},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2007-JVLSISP.pdf},
  x-international-audience = {yes},
  year = 2007
}
@inproceedings{DetDinPuj2007:Arith,
  author = {J\'er\'emie Detrey and de Dinechin, Florent  and Pujol, Xavier},
  title = {Return of the hardware floating-point elementary function},
  booktitle = {18th Symposium on Computer Arithmetic},
  year = 2007,
  location = {Montpellier, France},
  longpublisher = {IEEE Computer Society Press},
  publisher = {IEEE},
  nomonth = jun,
  pages = {161--168},
  x-international-audience = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2007-Arith-ReturnHardFPFun.pdf}
}
@article{DetDin2007:JMM,
  author = {J\'er\'emie Detrey and de Dinechin,  Florent},
  title = {Parameterized floating-point logarithm and exponential functions for {FPGAs}},
  journal = {Microprocessors and Microsystems, Special Issue on {FPGA}-based Reconfigurable Computing},
  volume = 31,
  number = 8,
  pages = {537--545},
  nomonth = dec,
  publisher = {Elsevier},
  year = 2007,
  doi = {10.1016/j.micpro.2006.02.008},
  x-international-audience = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2006-JMM.pdf}
}
@article{DinLauMul2007:log,
  author = {de Dinechin, Florent and Lauter, {\relax Ch}ristoph Quirin and Muller, Jean-Michel},
  title = {Fast and correctly rounded logarithms in double-precision},
  journal = {Theoretical Informatics and Applications},
  year = 2007,
  volume = 41,
  pages = {85-102},
  publisher = {{EDP} Sciences},
  x-international-audience = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2007-TIA.pdf}
}
@techreport{CretDinechin2007:fpfpga,
  author = {de Dinechin, Florent and Detrey, J\'er\'emie and  Octavian Cre\c{t}   and   Radu Tudoran},
  title = {When {FPGA}s are better at floating-point than microprocessors},
  number = {ensl-00174627},
  nourl = {http://prunel.ccsd.cnrs.fr/ensl-00174627},
  note = {http://prunel.ccsd.cnrs.fr/ensl-00174627},
  institution = {\'ENS Lyon},
  year = 2007
}
@inproceedings{DetDin2007:FPL,
  author = {Detrey, J\'er\'emie and de Dinechin, Florent},
  title = {Floating-Point Trigonometric Functions for {FPGAs}},
  booktitle = {Field-Programmable Logic and Applications},
  publisher = {IEEE},
  pages = {29-34},
  year = 2007,
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2007-FPL-SinCos.pdf},
  nomonth = aug,
  x-international-audience = {yes},
  location = {Amsterdam, Netherlands}
}
@inproceedings{CretDin2008:BioDevices,
  author = {Ionu\c{t} Trestian and  Octavian Cre\c{t}  
            and  Laura Cre\c{t}  and Lucia V\v{a}cariu and Radu Tudoran 
            and de Dinechin, Florent},
  title = {{FPGA}-based Computation of the Inductance of Coils Used for the Magnetic Stimulation of the Nervous System},
  booktitle = {Biomedical Electronics and Devices},
  volume = 1,
  pages = {151-155},
  mon = jan,
  x-international-audience = {yes},
  x-proceedings = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2008-BioDevices.pdf},
  year = 2008
}
@phdthesis{Dinechin2007:hdr,
  author = {de Dinechin, Florent},
  title = {Mat\'eriel et logiciel pour l'\'evaluation de fonctions num\'eriques. Pr\'ecision, performance et validation},
  howpublished = {Habilitation thesis},
  nohowpublished = {M\'emoire d'habilitation \`a diriger les recherches},
  school = {Universit\'e Claude Bernard - Lyon 1},
  nomonth = jun,
  x-international-audience = {no},
  pdf = {http://www.ens-lyon.fr/LIP/Pub/Rapports/HDR/HDR2007/HDR2007-01.pdf},
  year = 2007
}
@inproceedings{BrisDinMul2007:sympaaa,
  author = {N. Brisebarre and 
                de Dinechin, F. and  
                Muller, J.-M.},
  title = {Multiplieurs et diviseurs constants en virgule flottante
                 avec arrondi correct},
  booktitle = {RenPar'18, SympA'2008, CFSE'6},
  x-international-audience = {no},
  x-proceedings = {yes},
  year = {2008}
}
@article{DetDin2008:tsi,
  author = {Detrey, J\'er\'emie and de Dinechin, Florent},
  title = {Fonctions \'el\'ementaires en virgule flottante pour les
                  acc\'el\'erateurs reconfigurables},
  booktitle = {Architecture des Ordinateurs},
  volume = 27,
  number = 6,
  pages = {673--698},
  journal = {Technique et Science Informatiques},
  publisher = {Lavoisier},
  x-international-audience = {no},
  x-editorial-board = {yes},
  year = 2008
}
@article{CretDin2007:ROMJIST,
  author = {Octavian Cre\c{t}  
            and  Ionu\c{t} Trestian  and Radu Tudoran 
            and Laura Darabant  and Lucia V\v{a}cariu
            and de Dinechin, Florent},
  title = {Accelerating The Computation of The Physical Parameters
	Involved in Transcranial Magnetic Stimulation Using {FPGA} Devices.},
  journal = {Romanian Journal of Information, Science and Technology},
  year = 2007,
  volume = 10,
  number = 4,
  x-international-audience = {yes},
  x-editorial-board = {yes},
  pages = {361-379}
}
@inbook{DinErcMulRev2008:survey,
  author = {de Dinechin, Florent  and Ercegovac, Milo{\v s} D.  and Muller,  Jean-Michel and Nathalie Revol},
  title = {Encyclopedia of Computer Science and Engineering},
  chapter = {Digital Arithmetic},
  publisher = {Wiley},
  x-international-audience = {yes},
  year = 2008
}
@inproceedings{LauterDinechin2008:RNC,
  author = {{\relax Ch}ristoph Lauter    and   de Dinechin, Florent},
  title = {Optimising polynomials for floating-point implementation},
  booktitle = {Real Numbers and Computers},
  pages = {7--16},
  x-international-audience = {yes},
  x-proceedings = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2008-RNC.pdf},
  year = {2008}
}
@inproceedings{BrisebarreMullerDinechin2008:ASAP,
  author = {Nicolas Brisebarre and   de Dinechin, Florent and Muller, Jean-Michel},
  title = {Integer and Floating-Point Constant Multipliers for {FPGA}s},
  booktitle = {Application-specific Systems, Architectures and Processors},
  pages = {239--244},
  publisher = {IEEE},
  x-international-audience = {yes},
  x-proceedings = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2008-ASAP-constmult.pdf},
  year = {2008}
}
@inproceedings{DinechinPascaCret2008:FPT,
  author = {de Dinechin, Florent and Bogdan Pasca and  Octavian Cre\c{t} and  Radu  Tudoran},
  title = {An {FPGA}-specific Approach
  to Floating-Point Accumulation and Sum-of-Products},
  booktitle = {Field-Programmable Technologies},
  pages = {33--40},
  publisher = {IEEE},
  x-international-audience = {yes},
  x-proceedings = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2008-FPT-accumulation.pdf},
  year = {2008}
}
@inproceedings{DinechinKleinPasca2009:FPL,
  title = {{G}enerating high-performance custom floating-point pipelines},
  author = {de {D}inechin, {F}lorent and {K}lein, {C}ristian and {P}asca, {B}ogdan},
  nokeywords = {architecture generator; floating-point; pipeline; computer arithmetic},
  language = {{A}nglais},
  booktitle = {Field Programmable Logic and Applications},
  publisher = {{IEEE} },
  pages = {59--64},
  nonote = {{RR} {LIP} 2009-16 },
  audience = {internationale },
  x-international-audience = {yes},
  x-proceedings = {yes},
  noday = 31,
  month = aug,
  year = 2009,
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2009-FPL-FloPoCo.pdf},
  nourl = {http://prunel.ccsd.cnrs.fr/ensl-00379154/}
}
@inproceedings{DinechinPasca2009:FPL,
  title = {{L}arge multipliers with fewer  {DSP} blocks},
  author = {de Dinechin, Florent and Pasca, Bogdan},
  nokeywords = {{FPGA};reconfigurable computing;integer multiplier;{K}aratsuba-{O}fman},
  language = {{A}nglais},
  affiliation = {{ARENAIRE} - {INRIA} {R}h{\^o}ne-{A}lpes / {LIP} {L}aboratoire de l'{I}nformatique du {P}arall{\'e}lisme - {INRIA} - {CNRS} : {UMR}5668 - {U}niversit{\'e} {C}laude {B}ernard - {L}yon {I} - {E}cole {N}ormale {S}up{\'e}rieure de {L}yon - {ENS} {L}yon },
  publisher = {{IEEE} },
  booktitle = {Field Programmable Logic and Applications},
  audience = {internationale},
  x-international-audience = {yes},
  x-proceedings = {yes},
  noday = 31,
  month = aug,
  pages = {250--255},
  year = 2009,
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2009-FPL-Multipliers.pdf},
  nourl = {http://prunel.ccsd.cnrs.fr/ensl-00356421/en/}
}
@inproceedings{DinechinJoldesPasca2009LIP,
  author = {de Dinechin, Florent and Joldes, Mioara and Bogdan Pasca  and Guillaume Revy},
  title = {Racines carr{\'e}es  multiplicatives sur {FPGA}},
  booktitle = {{SYMP}osium en Architectures nouvelles
		  de machines ({SYMPA})},
  year = 2009,
  address = {Toulouse},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2009-Sympa-sqrt.pdf},
  x-international-audience = {no},
  month = sep
}
@book{MullerEtAl2009:HandBook,
  title = {Handbook of Floating-Point Arithmetic},
  author = {Muller, Jean-Michel and Brisebarre, Nicolas and de
		  Dinechin, Florent and Jeannerod, Claude-Pierre and
		  Lef{\`e}vre, Vincent and Melquiond, Guillaume and Revol,
		  Nathalie and Stehl{\'e}, Damien and Torres, Serge},
  nokeywords = {{F}loating-{P}oint arithmetic; computer arithmetic;
		  arithmetic algorithms; arithmetic operators; numerical
		  computing},
  language = {{A}nglais},
  publisher = {{B}irkhauser {B}oston },
  nonote = {{ACM} {G}.1.0; {G}.1.2; {G}.4; {B}.2.0; {B}.2.4; {F}.2.1.},
  x-international-audience = {yes},
  year = {2009}
}
@inproceedings{DinJolPas2010-poly,
  author = {de Dinechin, Florent and Mioara Joldes and Bogdan Pasca},
  title = {Automatic generation of polynomial-based hardware architectures for  function evaluation},
  booktitle = {Application-specific Systems, Architectures and Processors},
  publisher = {IEEE},
  x-international-audience = {yes},
  x-proceedings = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2010-ASAP-Polynomials.pdf},
  nourl = {http://prunel.ccsd.cnrs.fr/ensl-00470506/},
  year = 2010
}
@inproceedings{BaDinPasTud2010,
  author = {Sebastian Banescu and de Dinechin,  Florent and Bogdan Pasca and Radu Tudoran},
  title = {Multipliers for Floating-Point Double Precision and Beyond on {FPGA}s},
  booktitle = {Highly-Efficient Accelerators and Reconfigurable Technologies},
  x-international-audience = {yes},
  x-proceedings = {yes},
  nourl = {http://prunel.ccsd.cnrs.fr/ensl-00475781/},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2010-HEART-Multipliers.pdf},
  year = 2010
}
@inproceedings{DinJolPasRev2010,
  author = {de Dinechin, Florent and Mioara Joldes and Bogdan Pasca and Guillaume Revy},
  title = {Multiplicative square root algorithms for {FPGA}s},
  booktitle = {Field-Programmable Logic and Applications},
  pages = {574--577},
  x-international-audience = {yes},
  x-proceedings = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2010-FPL-Sqrt.pdf},
  year = 2010
}
@inproceedings{DinNguPas2010,
  author = {de Dinechin, Florent and  Nguyen, Hong Diep and Bogdan Pasca},
  title = {Pipelined {FPGA} Adders},
  booktitle = {Field-Programmable Logic and Applications},
  pages = {422--427},
  x-international-audience = {yes},
  x-proceedings = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2010-FPL-Adders.pdf},
  year = 2010
}
@inproceedings{lefevre:2010:inria-00542143:1,
  author = {LefХvre, Vincent and ThИveny, Philippe and de Dinechin, Florent and Jeannerod, Claude-Pierre and Mouilleron, {\relax Ch}ristophe and Pfannholzer, David and Revol, Nathalie},
  doi = {10.1145/1838599.1838622},
  title = {{LEMA}: Towards a Language for Reliable Arithmetic},
  booktitle = {International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2010)},
  year = {2010},
  month = jun,
  series = {ACM Communications in Computer Algebra},
  publisher = {ACM},
  volume = {44},
  pages = {41-52},
  noaddress = {France Paris},
  x-international-audience = {yes},
  x-proceedings = {yes},
  url-hal = {http://hal.inria.fr/inria-00542143/en},
  x-id-hal = {inria-00542143}
}
@techreport{2010-RR-FPLog,
  author = {de Dinechin, Florent},
  title = {A flexible floating-point logarithm for reconfigurable computers},
  institution = {ENS-Lyon},
  year = 2010,
  url = {http://prunel.ccsd.cnrs.fr/ensl-00506122/},
  type = {LIP Research Report RR2010-22}
}
@inproceedings{VazquezDinechin2010:FPT,
  author = {Vazquez, Alvaro and de Dinechin, Florent},
  title = {Efficient implementation of Parallel {BCD} Multiplication in {LUT}-6 {FPGA}s},
  booktitle = {Field-Programmable Technology},
  year = {2010},
  pages = {126--133},
  month = dec,
  noaddress = {China Beijing},
  x-international-audience = {yes},
  x-proceedings = {yes},
  nonote = {Best paper candidate.},
  url-hal = {http://hal.inria.fr/inria-00546028/en},
  x-id-hal = {inria-00546028},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2010-FPT-BCDMult.pdf}
}
@inproceedings{DinechinPasca2010-FPT,
  author = {de Dinechin, Florent and Bogdan Pasca},
  title = {Floating-point exponential functions for {DSP}-enabled {FPGA}s},
  pages = {110--117},
  booktitle = {Field Programmable Technologies},
  x-international-audience = {yes},
  x-proceedings = {yes},
  nonote = {Best paper candidate.},
  nourl = {http://prunel.ccsd.cnrs.fr/ensl-00506125/},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2010-FPT-Exp.pdf},
  year = 2010,
  month = dec
}
@article{DinechinLauterMelquiond2011:TC,
  author = {de Dinechin, Florent and Lauter, {\relax Ch}ristoph and Melquiond, Guillaume},
  doi = {10.1109/TC.2010.128},
  title = {Certifying the floating-point implementation of an elementary function using {G}appa},
  journal = {IEEE Transactions on Computers},
  publisher = {IEEE},
  pages = {242--253},
  year = 2011,
  month = feb,
  volume = 60,
  number = 2,
  x-international-audience = {yes},
  x-editorial-board = {yes},
  url-hal = {http://hal.inria.fr/inria-00533968/en},
  x-id-hal = {inria-00533968},
  url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5483294},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2011-TC-ElemFun-Gappa.pdf}
}
@inproceedings{DinechinTakeugmingTanguy2010,
  author = {de Dinechin, Florent and Takeugming, Honor\'e and Tanguy, Jean-Marc},
  title = {A 128-Tap Complex {FIR} Filter Processing 20 Giga-Samples/s in a Single {FPGA}},
  booktitle = {44th Asilomar Conference on Signals, Systems \& Computers},
  year = 2010,
  url-hal = {http://hal.inria.fr/ensl-00542950/en},
  x-id-hal = {ensl-00542950},
  x-international-audience = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2010-Asilomar-FIR.pdf}
}
@article{BanDinPaTu2010:ACMCAN,
  author = {Banescu, Sebastian and de Dinechin, Florent and Pasca, Bogdan and Tudoran, Radu},
  title = {Multipliers for floating-point double precision and beyond on {FPGAs}},
  journal = {ACM SIGARCH Computer Architecture News},
  volume = {38},
  issue = {4},
  nomonth = sep,
  year = 2010,
  noissn = {0163-5964},
  pages = {73--79},
  numpages = {7},
  url = {http://doi.acm.org/10.1145/1926367.1926380},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2010-HEART-Multipliers.pdf},
  noacmid = {1926380},
  publisher = {ACM},
  nodoi = {http://doi.acm.org/10.1145/1926367.1926380},
  noaddress = {New York, NY, USA},
  x-international-audience = {yes},
  nokeywords = {floating-point, multiplier, quadruple precision, truncated multiplier}
}
@article{DinechinPasca2011-DaT,
  author = {de Dinechin, Florent and Pasca, Bogdan},
  title = {Designing Custom Arithmetic Data Paths with {FloPoCo}},
  journal = {{IEEE} Design \& Test of Computers},
  volume = 28,
  number = 4,
  pages = {18-27},
  year = 2011,
  month = jul,
  x-international-audience = {yes},
  x-editorial-board = {yes},
  nourl = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5753874},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2011-DaT-FloPoCo.pdf},
  x-id-hal = {ensl-00646282}
}
@inproceedings{dedinechin:2011:ensl-00642164:1,
  author = {de Dinechin, Florent},
  title = {The arithmetic operators you will never see in a microprocessor},
  booktitle = {20th Symposium on Computer Arithmetic},
  year = {2011},
  month = jul,
  publisher = {IEEE},
  pages = {pp 189-190},
  noaddress = {Germany},
  x-international-audience = {yes},
  x-proceedings = {yes},
  nourl = {http://hal.inria.fr/ensl-00642164/en},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2011-Arith-Operators4FPGA.pdf},
  x-id-hal = {ensl-00642164}
}
@inproceedings{dedinechin:2011:ensl-00640063:1,
  author = {de Dinechin, Florent and Muller, Jean-Michel and Pasca, Bogdan and Plesco, Alexandru},
  title = {{An FPGA architecture for solving the Table Maker's Dilemma}},
  booktitle = {Application-Specific Systems, Architectures and Processors (ASAP)},
  year = {2011},
  doi = {10.1109/ASAP.2011.6043267},
  publisher = {IEEE},
  pages = {187-194},
  note = {Best paper award},
  address = {Santa Monica, United States},
  x-international-audience = {yes},
  x-proceedings = {yes},
  nourl = {http://hal.inria.fr/ensl-00640063/en},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2011-ASAP-TMD-FPGA.pdf},
  x-id-hal = {ensl-00640063}
}
@inproceedings{DinechinBrunieDinechin2011,
  author = {Brunie, Nicolas and de Dinechin, Florent and Dupont de Dinechin, Beno{\^\i}t},
  title = {A Mixed-precision Fused Multiply and Add},
  booktitle = {45th Asilomar Conference on Signals, Systems \& Computers},
  year = 2011,
  url-hal = {http://hal.inria.fr/ensl-00542950/en},
  x-id-hal = {ensl-00542950},
  x-international-audience = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2011-Asilomar-MPFMA.pdf}
}
@inproceedings{dedinechin:2012:ensl-00642145:1,
  author = {de Dinechin, Florent and Didier, Laurent-St{\'e}phane},
  title = {Table-based division by small integer constants},
  booktitle = {Applied Reconfigurable Computing},
  year = {2012},
  month = mar,
  pages = {53-63},
  noaddress = {Hong Kong},
  x-international-audience = {yes},
  x-proceedings = {yes},
  nourl = {http://hal.inria.fr/ensl-00642145/en},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2012-ARC-LUTConstDiv.pdf},
  x-id-hal = {ensl-00642145}
}
@inproceedings{Tchater2012,
  author = {Eric Dutisseuil and Jean-Marc Tanguy and Adrian Voicila and R\'emi Laube and Francois Bore and Honore Takeugming and de Dinechin, Florent  and Fr\'ederic Cerou and Gabriel Charlet},
  title = {34 {G}b/s {PDM-QPSK} coherent receiver using {SiGe} {ADC}s and a single {FPGA} for digital signal processing },
  booktitle = {Optical Fiber Communication},
  year = 2012,
  x-international-audience = {yes},
  month = mar
}
@article{Dinechin2012-TCASII,
  author = {de Dinechin, Florent},
  title = {Multiplication by rational constants},
  journal = {{IEEE} Transactions on Circuits and Systems, II},
  year = 2012,
  volume = 52,
  number = 2,
  month = feb,
  pages = {98--102},
  nourl = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6126071},
  x-international-audience = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2012-TCASII-rational-constmult.pdf}
}
@article{DinechinEtAl-2013-power,
  author = {de Dinechin, Florent and Pedro Echeverr\'{i}a  and L\'opez-Vallejo, Marisa and  Bogdan Pasca},
  title = {Floating-Point Exponentiation Units for Reconfigurable Computing},
  journal = {ACM Transactions on Reconfigurable Technology and Systems},
  volume = 6,
  number = 1,
  year = 2013,
  publisher = {ACM},
  nourl = {http://dl.acm.org/citation.cfm?id=2457447},
  x-international-audience = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2013-TRETS-Exponentiation.pdf}
}
@inbook{DinechinPasca2013:HPC,
  author = {de Dinechin, Florent and Bogdan Pasca},
  chapter = {Reconfigurable Arithmetic for High Performance Computing},
  title = {High-Performance Computing using FPGAs},
  noeditor = {Wim Vanderbauwhede and Khaled Benkrid},
  pages = {631--664},
  publisher = {Springer},
  x-international-audience = {yes},
  year = {2013},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2013-Arith4HPC-chapter.pdf}
}
@inproceedings{BruDinIstSer2013:Sympa,
  author = {Nicolas Brunie and de Dinechin, Florent and Matei Istoan and Guillaume Sergent},
  title = {L'arithmétique sur le tas},
  booktitle = {Conférence en parallélisme, architecture et système (COMPAS)},
  year = 2013,
  noaddress = {Grenoble},
  url = {http://hal-ens-lyon.archives-ouvertes.fr/ensl-00762990},
  x-international-audience = {no},
  month = jan
}
@inproceedings{BruDinDin:Sympa,
  author = {Nicolas Brunie and  Florent de Dinechin and  Benoît de Dinechin},
  title = {Conception d'une matrice reconfigurable pour coprocesseur fortement couplé},
  booktitle = {Conférence en parallélisme, architecture et système (COMPAS)},
  year = 2013,
  noaddress = {Grenoble},
  url = {http://hal-ens-lyon.archives-ouvertes.fr/ensl-00763067},
  x-international-audience = {no},
  month = jan
}
@article{DinMulLauTor2013:TOMS,
  author = {de Dinechin, Florent and {\relax Ch}ristoph Lauter and Muller, Jean-Michel and Serge Torres},
  title = {On {Z}iv's rounding test},
  journal = {{ACM} Transactions on Mathematical Software},
  volume = 39,
  number = 4,
  year = 2013,
  x-international-audience = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2013-TOMS-OnZivRoundingTest.pdf},
  url = {http://dl.acm.org/citation.cfm?id=2491495}
}
@misc{MPFMA-patent,
  author = {Brunie, Nicolas and de Dinechin, Florent and Dupont de Dinechin, Beno\^it},
  title = {MIXED-PRECISION MERGED MULTIPLICATION AND ADDITION OPERATOR},
  howpublished = {Patent  WO/2012/175828},
  day = 27,
  month = dec,
  x-international-audience = {yes},
  year = 2012
}
@article{DinIstSer2013-HEART-SinCos,
  title = {Fixed-Point Trigonometric Functions on {FPGA}s},
  author = {de Dinechin, Florent and Istoan, Matei and Sergent, Guillaume},
  journal = {SIGARCH Computer Architecture News},
  volume = 41,
  number = 5,
  pages = {83-88},
  year = 2013,
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2013-HEART-SinCos.pdf},
  x-international-audience = {yes}
}
@inproceedings{DinIstSer2013-FPL-BitHeap,
  title = {Arithmetic core generation using bit heaps},
  author = {Brunie, Nicolas and de Dinechin, Florent and Istoan, Matei and Sergent, Guillaume and Illyes, Kinga and Popa, Bogdan},
  year = {2013},
  month = sep,
  booktitle = {Field-Programmable Logic and Applications},
  x-international-audience = {yes},
  x-proceedings = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2013-FPL-BitHeap.pdf}
}
@inbook{DinMul2015:Princeton,
  author = {de Dinechin, Florent and Muller, Jean-Michel},
  title = {Princeton Companion to Applied Mathematics},
  chapter = {Evaluating elementary functions},
  editor = {Higham, Nicholas J.},
  x-international-audience = {yes},
  pp = {759-761},
  year = {2015}
}
@inproceedings{DinIstoMas2014-SOPCJR,
  author = {de Dinechin, Florent and Matei Istoan and Abdelbassat Massouri},
  title = {Sum-of-Product Architectures Computing Just Right},
  booktitle = {Application-Specific Systems, Architectures and Processors (ASAP)},
  year = 2014,
  url = {http://hal.inria.fr/hal-00957609},
  pdf = {http://hal.inria.fr/hal-00957609/PDF/SoPCCJR.pdf},
  publisher = {IEEE},
  x-international-audience = {yes}
}
@inproceedings{DinIsto2015,
  author = {de Dinechin, Florent and Matei Istoan},
  title = {Hardware implementations of fixed-point {Atan2}},
  booktitle = {22nd IEEE Symposium of Computer Arithmetic (ARITH-22)},
  year = {2015},
  pages = {34--41},
  month = jun,
  nopublisher = {IEEE},
  x-international-audience = {yes},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2015-Arith-FixAtan2.pdf}
}
@inproceedings{Din2015-metalibm,
  author = {Nicolas Brunie and de Dinechin, Florent and Olga Kupriianova and {\relax Ch}ristoph Lauter},
  title = {Code generators for mathematical functions},
  booktitle = {22nd Symposium of Computer Arithmetic},
  note = {Best paper award},
  year = {2015},
  month = jun,
  publisher = {IEEE},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2015-Arith-metalibm.pdf},
  x-international-audience = {yes}
}
@inproceedings{lemaireEtAl:FixPointLog:2016,
  title = {Computing floating-point logarithms with fixed-point operations},
  author = {Le Maire, Julien and Brunie, Nicolas and de Dinechin, Florent and Muller, Jean-Michel},
  booktitle = {23rd Symposium of Computer Arithmetic},
  year = {2016},
  month = jul,
  url = {https://hal.archives-ouvertes.fr/hal-01227877},
  pdf = {https://hal.archives-ouvertes.fr/hal-01227877/file/2015-FixFloat.pdf},
  hal_id = {hal-01227877},
  hal_version = {v1},
  x-international-audience = {yes}
}
@inproceedings{IstoanDinechin2016,
  title = {Pipeline automatique d'opérateurs dans FloPoCo 5.0},
  author = {Matei Istoan and de Dinechin, Florent},
  booktitle = {{COMPAS'2016: Conf{\'e}rence d'informatique en Parall{\'e}lisme, Architecture et Syst{\`e}me}},
  year = {2016},
  x-international-audience = {no},
  month = jul
}
@unpublished{Uguen-compas2016,
  title = {Optimisations arithmétiques en contexte pour la synthèse de haut niveau},
  author = {Yohann Uguen and de Dinechin, Florent and Steven Derrien},
  year = {2016},
  note = {Presented at COMPAS 2016}
}
@article{Abdoli-2016,
  title = {Improving Energy Efficiency of {OFDM} Using Adaptive-Precision Reconfigurable {FFT}},
  author = {Abdoli, Hatam and Hooman Nikmehr and Naser Movahedinia and de Dinechin, Florent},
  journal = {Circuits, Systems, and Signal Processing},
  publisher = {Springer},
  novolume = 41,
  nonumber = 5,
  pages = {1-25},
  doi = {10.1007/s00034-016-0435-z},
  year = 2016,
  x-international-audience = {yes}
}
@inproceedings{istoan:hal-01373937,
  title = {Automating the pipeline of arithmetic datapaths},
  author = {Istoan, Matei and de Dinechin, Florent},
  nourl = {https://hal.inria.fr/hal-01373937},
  booktitle = {DATE 2017},
  address = {Lausanne, Switzerland},
  year = {2017},
  month = mar,
  pdf = {https://hal.inria.fr/hal-01373937/file/flopoco_new_pipeline.pdf},
  hal_id = {hal-01373937},
  hal_version = {v2},
  x-international-audience = {yes}
}
@unpublished{uguen:hal-01488916,
  title = {Design-space exploration for the {Kulisch} accumulator},
  author = {Uguen, Yohann and de Dinechin, Florent},
  url = {https://hal.archives-ouvertes.fr/hal-01488916},
  note = {},
  year = {2017},
  month = mar,
  pdf = {https://hal.archives-ouvertes.fr/hal-01488916v1/file/kulisch-acc-hal-2017.pdf},
  eprinttype = {HAL},
  hal_id = {hal-01488916},
  hal_version = {v1}
}
@article{UgurdagEtAl2017,
  author = {Ugurdag, H. Fatih  and de Dinechin, Florent  and Gener, Y. Serhan 
and Sezer G\"oren and  Didier, Laurent-St\'ephane},
  title = {Hardware division by small integer constants},
  journal = {IEEE Transactions on Computers},
  nopublisher = {IEEE},
  volume = 66,
  number = 12,
  pages = {2097--2110},
  pdf = {https://hal.inria.fr/hal-01402252v2/file/07933010%20%281%29.pdf},
  url = {https://hal.inria.fr/hal-01402252v2/},
  year = 2017
}
@inproceedings{UguenDinDerrien2017,
  title = {{Bridging High-Level Synthesis and Application-Specific Arithmetic: The Case Study of Floating-Point Summations}},
  author = {Uguen, Yohann and de Dinechin, Florent and Derrien, Steven},
  url = {https://hal.inria.fr/hal-01373954},
  booktitle = {{27th International Conference on Field-Programmable Logic and Applications (FPL)}},
  noaddress = {Gent, Belgium},
  organization = {{IEEE}},
  nopages = {8},
  year = {2017},
  month = sep,
  pdf = {https://hal.inria.fr/hal-01373954/file/2017-FPL.pdf}
}
@inproceedings{Bocco2017,
  author = {Andrea Bocco and Yves Durand and de Dinechin,  Florent},
  title = {Hardware support for {UNUM} floating point arithmetic},
  booktitle = {13th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME)},
  year = 2017,
  month = jun
}
@inproceedings{ddmr2018,
  author = {de Dinechin, Florent and Maxime Darrin and Antonin Dudermel and Sébastien Michelland and Alban Reynaud},
  title = {Une architecture minimisant les échanges entre processeur et mémoire},
  booktitle = {Conférence en parallélisme, architecture et système (COMPAS)},
  year = 2018,
  noaddress = {Toulouse},
  url = {http://hal-ens-lyon.archives-ouvertes.fr/ensl-00762990},
  month = jul
}
@inproceedings{KummEtAl2018,
  author = {Martin Kumm and Oscar Gustafsson and de Dinechin, Florent and Johannes Kappauf and Peter Zipf},
  title = {{K}aratsuba with Rectangular Multipliers for {FPGA}s},
  booktitle = {25th IEEE Symposium of Computer Arithmetic (ARITH-25)},
  year = {2018},
  month = jun,
  note = {Best paper award},
  nopublisher = {IEEE},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2018-Arith-rectangularKaratsuba.pdf}
}
@book{MullerEtAl2018:HandBook,
  author = {
	    Muller, Jean-Michel
	and Brunie, Nicolas
	and de Dinechin, Florent
	and Jeannerod, Claude-Pierre
	and Joldes, Mioara
	and Lef{\`e}vre, Vincent
	and Melquiond, Guillaume
	and Revol, Nathalie
	and Torres, Serge},
  publisher = {{B}irkhauser {B}oston},
  title = {Handbook of Floating-Point Arithmetic, 2nd edition},
  year = {2018},
  isbn = {978-3319765259},
  language = {{A}nglais}
}
@inproceedings{Bocco2019-CoNGA,
  author = {Andrea Bocco and Yves Durand and de Dinechin, Florent},
  title = {{SMURF}: Scalar Multiple-precision Unum {Risc-V} Floating-point Accelerator for Scientific Computing},
  booktitle = {Conference on Next-Generation Arithmetic},
  year = 2019,
  month = mar,
  pdf = {https://hal.inria.fr/hal-02087098}
}
@inproceedings{dinechin2019-CoNGA,
  author = {de Dinechin, Florent and Luc Forget and Muller, Jean-Michel and Yohann Uguen},
  title = {Posits: the good, the bad and the ugly},
  booktitle = {Conference on Next-Generation Arithmetic},
  pdf = {https://hal.inria.fr/hal-01959581},
  year = 2019,
  month = mar
}
@article{VIDH2019,
  title = {Towards Hardware {IIR} Filters Computing Just Right: Direct Form {I} Case Study},
  author = {Volkova, Anastasia and Istoan, Matei and de Dinechin, Florent and Hilaire, Thibault},
  volume = 68,
  number = 4,
  journal = {IEEE Transactions on Computers},
  nourl = {http://hal.upmc.fr/hal-01561052},
  nodoi = {10.1109/TC.2018.2879432},
  year = {2019},
  month = apr,
  pdf = {http://hal.upmc.fr/hal-01561052/file/LTICJR.pdf},
  url = {http://hal.upmc.fr/hal-01561052/}
}
@inproceedings{deDinechinEtAl2019-Arith-KCMvsSA,
  author = {de Dinechin, Florent and Filip, Silviu-Ioan and Luc Forget and Martin Kumm},
  title = {Table-Based versus Shift-And-Add constant multipliers for {FPGA}s},
  booktitle = {26th IEEE Symposium of Computer Arithmetic (ARITH-26)},
  year = {2019},
  month = jun,
  url = {https://hal.inria.fr/hal-02147078/},
  pdf = {https://hal.inria.fr/hal-02147078/file/2019-TruncatedCM.pdf},
  nopublisher = {IEEE}
}
@inproceedings{BoccoEtAl2019-Arith,
  author = {Andrea Bocco and Yves Durand and de Dinechin, Florent},
  title = {Dynamic Precision Numerics Using a Variable-Precision {UNUM} type {I} {HW} Coprocessor},
  booktitle = {26th IEEE Symposium of Computer Arithmetic (ARITH-26)},
  year = {2019},
  month = jun,
  nopublisher = {IEEE}
}
@inproceedings{deDinechin2019-10years,
  author = {de Dinechin, Florent},
  title = {Reflections on 10 years of {FloPoCo}},
  booktitle = {26th IEEE Symposium of Computer Arithmetic (ARITH-26)},
  year = {2019},
  month = jun,
  url = {https://hal.inria.fr/hal-02161527/},
  pdf = {https://hal.inria.fr/hal-03220258/file/2021-Arith-Filters.pdf},
  nopublisher = {IEEE}
}
@inproceedings{forget:hal-02131798,
  title = {A type-safe arbitrary precision arithmetic portability
		  layer for {HLS} tools},
  author = {Luc Forget and Yohann Uguen and
		  de Dinechin, Florent  and Thomas, David},
  url = {https://hal.inria.fr/hal-02131798},
  booktitle = {{HEART 2019 - International Symposium on Highly Efficient
		  Accelerators and Reconfigurable Technologies}},
  noaddress = {Nagasaki, Japan},
  nopages = {1-6},
  year = {2019},
  month = jun,
  nodoi = {10.1145/3337801.3337809},
  nokeywords = {arithmetic ; arbitrary precision ; HLS ; floating-point},
  pdf = {https://hal.inria.fr/hal-02131798v2/file/hal_hint.pdf}
}
@inproceedings{bocco-carrv,
  title = {Variable Precision Floating-Point {RISC-V} Coprocessor Evaluation using Lightweight Software and Compiler Support},
  author = {Jost, Tiago Trevisan  and Andrea Bocco and Yves Durand  and Christian Fabre and de Dinechin, Florent and Albert Cohen},
  booktitle = {Third Workshop on Computer Architecture Research with RISC-V (CARRV)},
  year = {2019},
  month = jun
}
@inproceedings{uguen:hal-02130912,
  title = {{Evaluating the hardware cost of the posit number system}},
  author = {Uguen, Yohann and Forget, Luc and de Dinechin, Florent},
  url = {https://hal.inria.fr/hal-02130912},
  booktitle = {29th International Conference on Field-Programmable Logic and Applications (FPL)},
  address = {Barcelona, Spain},
  year = {2019},
  month = sep,
  pdf = {https://hal.inria.fr/hal-02130912/file/hal_marto_v3.pdf}
}
@inproceedings{bocco-vlsi-soc,
  title = {Byte-Aware Floating-point Operations through a {UNUM} Computing Unit},
  author = {Andrea Bocco and Jost, Tiago Trevisan and Albert Cohen and de Dinechin, Florent and Yves Durand and Christian Fabre},
  booktitle = {27th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI SOC)},
  year = {2019},
  month = oct
}
@article{uguen2020,
  author = {Uguen, Yohann and de Dinechin, Florent and Lezaud, Victor and Derrien, Steven},
  title = {Application-Specific Arithmetic in High-Level Synthesis Tools},
  year = {2020},
  journal = {Transactions on Architecture and Code Optimization},
  publisher = {ACM},
  volume = {17},
  pdf = {https://hal.archives-ouvertes.fr/hal-02423363v3/file/hal-hls-arith-v2.pdf},
  number = {1},
  nodoi = {10.1145/3377403}
}
@inproceedings{guntoroEtAl2020,
  title = {Next generation arithmetic for edge computing},
  author = {Guntoro, Andre and De La Parra, Cecilia and Merchant, Farhad and de Dinechin, Florent and Gustafson, John L. and Langhammer, Martin and Leupers, Rainer and Nambiar, Sangeeth},
  booktitle = {Design, Automation \& Test in Europe (DATE)},
  pages = {1357--1365},
  year = {2020},
  organization = {IEEE}
}
@inproceedings{DFKA:filters2021,
  author = {de Dinechin, Florent and Silviu Filip and Martin Kumm and Anastasia Volkova},
  title = {Towards arithmetic-centered filter design},
  booktitle = {28th IEEE Symposium of Computer Arithmetic (ARITH-28)},
  year = {2021},
  month = jun,
  pdf = {https://hal.inria.fr/hal-03220258/file/2021-Arith-Filters.pdf},
  url = {https://hal.inria.fr/hal-03220258/},
  nopublisher = {IEEE}
}
@inproceedings{BoetcherEtAl:truncmult2021,
  author = {Andreas B\"ottcher and Martin Kumm and de Dinechin, Florent},
  title = {Resource Optimal Truncated Multipliers for {FPGA}s},
  booktitle = {28th IEEE Symposium of Computer Arithmetic (ARITH-28)},
  year = {2021},
  month = jun,
  url = {https://hal.inria.fr/hal-03220258/},
  pdf = {https://hal.inria.fr/hal-03220258/file/2021-Arith-Filters.pdf},
  nopublisher = {IEEE}
}
@unpublished{fud2021:posit,
  title = {Comparing posit and IEEE-754 hardware cost},
  author = {Forget, Luc and Uguen, Yohann and de Dinechin, Florent},
  url = {https://hal.science/hal-03195756},
  year = {2021},
  nomonth = apr,
  nopdf = {https://hal.science/hal-03195756v3/file/2021_Posit_IEEE754_Hardware_Cost.pdf},
  noeprint = {hal-03195756},
  eprinttype = {HAL}
}
@article{ChristEtAl2022:LDTC,
  title = {Lossless Differential Table Compression for Hardware Function Evaluation},
  author = {Christ, Maxime and Forget, Luc and de Dinechin, Florent},
  url = {https://hal.archives-ouvertes.fr/hal-03040364},
  journal = {IEEE Transactions on Circuits and Systems II: Express Briefs},
  volume = {69},
  number = {3},
  pages = {1642-1646},
  publisher = {{Institute of Electrical and Electronics Engineers}},
  year = {2022},
  month = mar,
  pdf = {https://hal.archives-ouvertes.fr/hal-03040364v2/file/2021-TCASII-TableCompression.pdf},
  hal_id = {hal-03040364},
  hal_version = {v2}
}
@inproceedings{ChristF2DiPetrot2022:LNSNN,
  author = {Christ, Maxime and de Dinechin, Florent and P{\'e}trot, Fr{\'e}d{\'e}ric},
  title = {Low-precision logarithmic arithmetic for neural network accelerators},
  booktitle = {Application-Specific Systems, Architectures and Processors (ASAP)},
  url = {https://hal.inria.fr/hal-03684585},
  year = 2022,
  pdf = {https://hal.inria.fr/hal-03684585/file/LNSNeuron_asap2022.pdf},
  noaddress = {Gothenburg, Sweden},
  publisher = {IEEE}
}
@inproceedings{bottcher2022-squarers,
  title = {{Resource Optimal Squarers for FPGAs}},
  author = {B{\"o}ttcher, Andreas and Kumm, Martin and de Dinechin, Florent},
  url = {https://hal.inria.fr/hal-03922311},
  booktitle = {{International Conference on Field-Programmable Logic and Applications (FPL)}},
  noaddress = {Belfast, United Kingdom},
  publisher = {{IEEE}},
  year = {2022},
  month = aug,
  doi = {10.1109/FPL57034.2022.00018},
  nokeywords = {squarer multiplier tiling compressor tree integer linear programming computer arithmetic ; squarer ; multiplier tiling ; compressor tree ; integer linear programming ; computer arithmetic},
  pdf = {https://hal.inria.fr/hal-03922311/file/2022-FPL-Squarers.pdf},
  hal_id = {hal-03922311},
  hal_version = {v1}
}
@inproceedings{Desrentes2022-FPT,
  title = {{Using integer linear programming for correctly rounded multipartite architectures}},
  author = {Desrentes, Or{\'e}gane and de Dinechin, Florent},
  url = {https://hal.inria.fr/hal-03844218},
  booktitle = {International Conference on Field Programmable Technology},
  noaddress = {Hong Kong, China},
  year = {2022},
  month = dec,
  pdf = {https://hal.inria.fr/hal-03844218/file/2022-mpt-ilp.pdf},
  hal_id = {hal-03844218},
  hal_version = {v1}
}
@inproceedings{forget:hal-03684757,
  title = {{A single-source C++20 HLS flow for function evaluation on FPGA and beyond}},
  author = {Forget, Luc and Harnisch, Gauthier and Keryell, Ronan and de Dinechin, Florent},
  url = {https://hal.inria.fr/hal-03684757},
  booktitle = {{HEART 2022 - 12th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies}},
  noaddress = {Tsukuba, Japan},
  year = {2022},
  month = jun,
  pdf = {https://hal.inria.fr/hal-03684757/file/2022_HEART_HLS_FixFunction.pdf},
  hal_id = {hal-03684757},
  hal_version = {v1}
}
@article{montuschi:hal-03806577,
  title = {{Computer Arithmetic: Continuing a Long and Steady Emergence}},
  author = {Montuschi, Paolo and Muller, Jean-Michel and de Dinechin, Florent},
  url = {https://ieeexplore.ieee.org/document/9903867},
  journal = {{Computer}},
  publisher = {{IEEE Computer Society}},
  volume = {55},
  number = {10},
  pages = {4-6},
  year = {2022},
  month = oct,
  nodoi = {10.1109/MC.2022.3193206},
  hal_id = {hal-03806577},
  hal_version = {v1}
}
@inproceedings{Desrentes2023-Arith,
  title = {{Exact Fused Dot Product Add Operators}},
  author = {Desrentes, Or{\'e}gane and Dupont de Dinechin, Beno{\^i}t and de Dinechin, Florent},
  url = {https://inria.hal.science/hal-04240762},
  booktitle = {International Symposium on Computer Arithmetic (ARITH)},
  noaddress = {Portland, OR, United States},
  year = {2023},
  month = sep,
  nokeywords = {dot product ; BF16 ; FP32 ; FP64 ; three-term sum},
  pdf = {https://inria.hal.science/hal-04240762/file/ARITH2023.pdf},
  hal_id = {hal-04240762},
  hal_version = {v1},
  publisher = {IEEE}
}
@inproceedings{VolkovaEtAlAsilomar2023,
  title = {Hardware-optimal digital {FIR} filters: one {ILP} to rule them all and in faithfulness bind them},
  author = {Anastasia Volkova and R\'emi Garcia and de Dinechin, Florent and Martin Kumm},
  booktitle = {Asilomar Conference on Signals, Systems, and Computers},
  year = {2023},
  pdf = {https://inria.hal.science/hal-04398268/document},
  month = feb
}
@inproceedings{popoff:hal-04414324,
  title = {{Audio DSP to FPGA Compilation}},
  author = {Popoff, Maxime and Michon, Romain and Risset, Tanguy and Cochard, Pierre and Letz, Stephane and Orlarey, Yann and de Dinechin, Florent},
  url = {https://inria.hal.science/hal-04414324},
  booktitle = {{International Conference on Application-specific Systems, Architectures and Processors (ASAP 2023)}},
  address = {Porto, Portugal},
  publisher = {{IEEE}},
  pages = {31-33},
  year = {2023},
  month = jul,
  doi = {10.1109/ASAP57973.2023.00018},
  nokeywords = {HLS Compilation on FPGA Audio DSP Faust ; HLS ; Compilation on FPGA ; Audio DSP ; Faust},
  pdf = {https://inria.hal.science/hal-04414324/file/asapShort2023.pdf},
  hal_id = {hal-04414324},
  hal_version = {v1}
}
@inproceedings{Chaloyard2024-Undone,
  title = {Bare minimal computer for everyone},
  author = {Lucas Chaloyard and  de Dinechin, Florent and  Escudi\'e, Marie-Pierre and Lionel Morel},
  booktitle = {Undone Computer Science},
  year = {2024},
  month = feb
}
@book{ASA2024,
  title = {Application-Specific Arithmetic},
  author = {de Dinechin, Florent and Martin Kumm},
  year = {2024},
  url = {https://link.springer.com/book/10.1007/978-3-031-42808-1},
  publisher = {Springer}
}
@inproceedings{herrou:hal-04489647,
  title = {{Towards Fixed-Point Formats Determination for Faust Programs}},
  author = {Herrou, Agathe and de Dinechin, Florent and Letz, St{\'e}phane and Orlarey, Yann and Volkova, Anastasia},
  url = {https://inria.hal.science/hal-04489647},
  booktitle = {{Journ{\'e}es d'Informatique Musicale 2024}},
  address = {Marseille, France},
  year = {2024},
  month = may,
  pdf = {https://inria.hal.science/hal-04489647/file/herrou-faust-fixed-point.pdf},
  hal_id = {hal-04489647},
  hal_version = {v1}
}

This file was generated by bibtex2html 1.99.