| 2013 | 21st IEEE Symposium on Computer Arithmetic, ARITH 2013, Austin, TX, USA, April 7-10, 2013 Alberto Nannarelli, Peter-Michael Seidel, Ping Tak Peter Tang |
| 2013 | A Fast Circuit Topology for Finding the Maximum of N k-bit Numbers. Bilgiday Yuce, H. Fatih Ugurdag, Sezer Gören, Günhan Dündar |
| 2013 | A Formally-Verified C Compiler Supporting Floating-Point Arithmetic. Sylvie Boldo, Jacques-Henri Jourdan, Xavier Leroy, Guillaume Melquiond |
| 2013 | A Non-Linear/Linear Instruction Set Extension for Lightweight Ciphers. Susanne Engels, Elif Bilge Kavun, Christof Paar, Tolga Yalçin, Hristina Mihajloska |
| 2013 | Accurate Parallel Floating-Point Accumulation. Edin Kadric, Paul Gurniak, André DeHon |
| 2013 | Accurate and Fast Evaluation of Elementary Symmetric Functions. Hao Jiang, Stef Graillat, Roberto Barrio |
| 2013 | Another Look at Inversions over Binary Fields. Vassil S. Dimitrov, Kimmo Järvinen |
| 2013 | Comparison between Binary64 and Decimal64 Floating-Point Numbers. Nicolas Brisebarre, Marc Mezzarobba, Jean-Michel Muller, Christoph Quirin Lauter |
| 2013 | FPU Generator for Design Space Exploration. Sameh Galal, Ofer Shacham, John S. Brunhaver, Jing Pu, Artem Vassiliev, Mark Horowitz |
| 2013 | Fast Reproducible Floating-Point Summation. James Demmel, Hong Diep Nguyen |
| 2013 | Fault Detection in RNS Montgomery Modular Multiplication. Jean-Claude Bajard, Julien Eynard, Filippo Gandino |
| 2013 | Floating Point Architecture Extensions for Optimized Matrix Factorization. Ardavan Pedram, Andreas Gerstlauer, Robert A. van de Geijn |
| 2013 | High-precision computation: Applications and challenges [Keynote I]. David H. Bailey |
| 2013 | How to Compute the Area of a Triangle: A Formal Revisit. Sylvie Boldo |
| 2013 | Improved Architectures for a Floating-Point Fused Dot Product Unit. Jongwook Sohn, Earl E. Swartzlander Jr. |
| 2013 | Multiple-Precision Evaluation of the Airy Ai Function with Reduced Cancellation. Sylvain Chevillard, Marc Mezzarobba |
| 2013 | Numerical Reproducibility and Accuracy at ExaScale. James Demmel, Hong Diep Nguyen |
| 2013 | On the Componentwise Accuracy of Complex Floating-Point Division with an FMA. Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller |
| 2013 | On-the-Fly Multi-base Recoding for ECC Scalar Multiplication without Pre-computations. Thomas Chabrier, Arnaud Tisserand |
| 2013 | Parallel Modular Multiplication on Multi-core Processors. Pascal Giorgi, Laurent Imbert, Thomas Izard |
| 2013 | Precision, Accuracy, and Rounding Error Propagation in Exascale Computing. Marius Cornea |
| 2013 | Relation Collection for the Function Field Sieve. Jérémie Detrey, Pierrick Gaudry, Marion Videau |
| 2013 | SIPE: Small Integer Plus Exponent. Vincent Lefèvre |
| 2013 | Split-Path Fused Floating Point Multiply Accumulate (FPMAC). Suresh Srinivasan, Ketan Bhudiya, Rajaraman Ramanarayanan, P. Sahit Babu, Tiju Jacob, Sanu Mathew, Ram Krishnamurthy, Vasantha Erraguntla |
| 2013 | The Antikythera Mechanism and the early history of mechanical computing. M. G. Edmunds |
| 2013 | The Floating-Point Unit of the Jaguar x86 Core. Jeff Rupley, John King, Eric Quinnell, Frank Galloway, Ken Patton, Peter-Michael Seidel, James Dinh, Hai Bui, Anasua Bhowmik |
| 2013 | The Unary Arithmetical Algorithm in Bimodular Number Systems. Petr Kurka, Martin Delacourt |
| 2013 | Truncated Logarithmic Approximation. Michael B. Sullivan, Earl E. Swartzlander Jr. |