| 2007 | The Return of Silicon Efficiency. | Simon Knowles |
| 2007 | Optimistic Parallelization of Floating-Point Accumulation. | Nachiket Kapre, Andr DeHon |
| 2007 | A New Architecture For Multiple-Precision Floating-Point Multiply-Add Fused Unit Design. | Libo Huang, Li Shen, Kui Dai, Zhiying Wang |
| 2007 | Performing Advanced Bit Manipulations Efficiently in General-Purpose Processors. | Yedidya Hilewitz, Ruby B. Lee |
| 2007 | Fast Modular Reduction. | William Hasenplaugh, Gunnar Gaubatz, Vinodh Gopal |
| 2007 | Worst Cases of a Periodic Function for Large Arguments. | Guillaume Hanrot, Vincent Lefvre, Damien Stehl, Paul Zimmermann |
| 2007 | Accurate Multiple-Precision Gauss-Legendre Quadrature. | Laurent Fousse |
| 2007 | Decimal Floating-Point Multiplication Via Carry-Save Addition. | Mark A. Erle, Michael J. Schulte, Brian J. Hickmann |
| 2007 | Multiplication by a Constant is Sublinear. | Vassil S. Dimitrov, Laurent Imbert, Andrew Zakaluzny |
| 2007 | Return of the hardware floating-point elementary function. | Jrmie Detrey, Florent de Dinechin, Xavier Pujol |
| 2007 | A Software Implementation of the IEEE 754R Decimal Floating-Point Arithmetic Using the Binary Encoding Format. | Marius Cornea, Cristina Anderson, John Harrison, Ping Tak Peter Tang, Eric Schneider, Charles Tsen |
| 2007 | Montgomery Reduction Algorithm for Modular Multiplication Using Low-Weight Polynomial Form Integers. | Jaewook Chung, M. Anwar Hasan |
| 2007 | Asymmetric Squaring Formulae. | Jaewook Chung, M. Anwar Hasan |
| 2007 | Serial Parallel Multiplier Design in Quantum-dot Cellular Automata. | Heumpil Cho, Earl E. Swartzlander Jr. |
| 2007 | Design of the ARM VFP11 Divide and Square Root Synthesisable Macrocell. | Neil Burgess, Chris N. Hinds |
| 2007 | Floating-point L | Nicolas Brisebarre, Guillaume Hanrot |
| 2007 | Efficient polynomial L-approximations. | Nicolas Brisebarre, Sylvain Chevillard |
| 2007 | Formal Verification of Floating-Point Programs. | Sylvie Boldo, Jean-Christophe Fillitre |
| 2007 | An Algorithm for the nt Pairing Calculation in Characteristic Three and its Hardware Implementation. | Jean-Luc Beuchat, Masaaki Shirase, Tsuyoshi Takagi, Eiji Okamoto |
| 2007 | Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations. | Merav Aharoni, Ron Maharik, Abraham Ziv |
| 2005 | Efficient Mapping of Addition Recurrence Algorithms in CMOS. | Bart R. Zeydel, Theo T. J. H. Kluter, Vojin G. Oklobdzija |
| 2005 | List of Referees. | |
| 2005 | Symposium Committee. | |
| 2005 | Steering Committee. | |
| 2005 | Dedication. | |