| 2013 | On-the-Fly Multi-base Recoding for ECC Scalar Multiplication without Pre-computations. | Thomas Chabrier, Arnaud Tisserand |
| 2013 | Comparison between Binary64 and Decimal64 Floating-Point Numbers. | Nicolas Brisebarre, Marc Mezzarobba, Jean-Michel Muller, Christoph Quirin Lauter |
| 2013 | A Formally-Verified C Compiler Supporting Floating-Point Arithmetic. | Sylvie Boldo, Jacques-Henri Jourdan, Xavier Leroy, Guillaume Melquiond |
| 2013 | How to Compute the Area of a Triangle: A Formal Revisit. | Sylvie Boldo |
| 2013 | Fault Detection in RNS Montgomery Modular Multiplication. | Jean-Claude Bajard, Julien Eynard, Filippo Gandino |
| 2013 | High-precision computation: Applications and challenges [Keynote I]. | David H. Bailey |
| 2011 | Composite Iterative Algorithm and Architecture for q-th Root Calculation. | lvaro Vzquez, Javier D. Bruguera |
| 2011 | Tight Certification Techniques for Digit-by-Rounding Algorithms with Application to a New 1/sqrt(x) Design. | Ping Tak Peter Tang, J. Adam Butts, Ron O. Dror, David E. Shaw |
| 2011 | On the Fixed-Point Accuracy Analysis and Optimization of FFT Units with CORDIC Multipliers. | Omid Sarbishei, Katarzyna Radecka |
| 2011 | Accelerating Computations on FPGA Carry Chains by Operand Compaction. | Thomas B. Preuer, Martin Zabel, Rainer G. Spallek |
| 2011 | Radix-16 Combined Division and Square Root Unit. | Alberto Nannarelli |
| 2011 | Automatic Generation of Fast and Certified Code for Polynomial Evaluation. | Christophe Mouilleron, Guillaume Revy |
| 2011 | A Prescale-Lookup-Postscale Additive Procedure for Obtaining a Single Precision Ulp Accurate Reciprocal. | David W. Matula, Mihai T. Panu |
| 2011 | Fused Multiply-Add Microarchitecture Comprising Separate Early-Normalizing Multiply and Add Pipelines. | David Raymond Lutz |
| 2011 | Self Checking in Current Floating-Point Units. | Daniel Lipetz, Eric Schwarz |
| 2011 | Teraflop FPGA Design. | Martin Langhammer |
| 2011 | How to Square Floats Accurately and Efficiently on the ST231 Integer Processor. | Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Christophe Monat, Guillaume Revy |
| 2011 | ROM-less LNS. | Rizalafande Che Ismail, J. Nicholas Coleman |
| 2011 | Short Division of Long Integers. | David Harvey, Paul Zimmermann |
| 2011 | A Family of High Radix Signed Digit Adders. | Saeid Gorgin, Ghassem Jaberipur |
| 2011 | A General Approach for Improving RNS Montgomery Exponentiation Using Pre-processing. | Filippo Gandino, Fabrizio Lamberti, Paolo Montuschi, Jean-Claude Bajard |
| 2011 | Latency Sensitive FMA Design. | Sameh Galal, Mark Horowitz |
| 2011 | High Intelligence Computing: The New Era of High Performance Computing. | Ralf Fischer |
| 2011 | The Arithmetic Operators You Will Never See in a Microprocessor. | Florent de Dinechin |
| 2011 | Accelerating Large-Scale HPC Applications Using FPGAs. | Robert G. Dimond, Sbastien Racanire, Oliver Pell |