Dedication: In memory of Luigi Ciminiera 1954-2012 [includes "In memory of Luigi Dadda 1923-2012"] (PDF)

[Front cover] (PDF)

[Title page i] (PDF)

[Title page iii] (PDF)

[Copyright notice] (PDF)

Table of contents (PDF)

Foreword (PDF)

Steering Committee (PDF)

Symposium Committee (PDF)

Program Committee (PDF)

Additonal reviewers (PDF)

Corporate sponsors (PDF)

High-precision computation: Applications and challenges [Keynote I] (Abstract)

The Floating-Point Unit of the Jaguar x86 Core (Abstract)

Split-Path Fused Floating Point Multiply Accumulate (FPMAC) (Abstract)

FPU Generator for Design Space Exploration (Abstract)

Special session: Managing computation, precision, accuracy and performance on exascale systems [breaker page] (Abstract)

Improved Architectures for a Floating-Point Fused Dot Product Unit (Abstract)

Floating Point Architecture Extensions for Optimized Matrix Factorization (Abstract)

A Fast Circuit Topology for Finding the Maximum of N k-bit Numbers (Abstract)

A Non-Linear/Linear Instruction Set Extension for Lightweight Ciphers (Abstract)

The Antikythera Mechanism and the early history of mechanical computing (Abstract)

On the Componentwise Accuracy of Complex Floating-Point Division with an FMA (Abstract)

How to Compute the Area of a Triangle: A Formal Revisit (Abstract)

SIPE: Small Integer Plus Exponent (Abstract)

A Formally-Verified C Compiler Supporting Floating-Point Arithmetic (Abstract)

Fault Detection in RNS Montgomery Modular Multiplication (Abstract)

The Unary Arithmetical Algorithm in Bimodular Number Systems (Abstract)

Parallel Modular Multiplication on Multi-core Processors (Abstract)

Comparison between Binary64 and Decimal64 Floating-Point Numbers (Abstract)

Accurate Parallel Floating-Point Accumulation (Abstract)

Fast Reproducible Floating-Point Summation (Abstract)

Multiple-Precision Evaluation of the Airy Ai Function with Reduced Cancellation (Abstract)

Accurate and Fast Evaluation of Elementary Symmetric Functions (Abstract)

Truncated Logarithmic Approximation (Abstract)

Relation Collection for the Function Field Sieve (Abstract)

Another Look at Inversions over Binary Fields (Abstract)

On-the-Fly Multi-base Recoding for ECC Scalar Multiplication without Pre-computations (Abstract)

Precision, Accuracy, and Rounding Error Propagation in Exascale Computing (Abstract)

Numerical Reproducibility and Accuracy at ExaScale (Abstract)

Author index (PDF)

[Publisher's information] (PDF)