Program

LATE MODIFICATIONS:

Sunday, June 24

18:00 - 21:00 Registration and Welcome Reception at the CRDP

Monday, June 25

8:30 - 9:30 Registration
9:30 - 9:50 Welcome Speech, Graham A. Jullien
9:50 - 10:50 Keynote Talk, Chair: Graham A. Jullien
The Return of Silicon Efficiency (slides), Simon Knowles
10:50 - 11:20 Coffee break
11:20 - 12:10 Basic Arithmetic Operations I, Chair: Luigi Dadda
- Serial Parallel Multiplier Design in Quantum-dot Cellular Automata (slides), H. Cho and E. Swartzlander
- Robust Energy-Efficient Adder Topologies, D. Patil, O. Azizi, M. Horowitz, R. Ho and R. Anamthrman
12:10 - 14:00 Lunch break
14:00 - 15:40 Decimal Floating Point, Chair: Neil Burgess
- An Implementation of the IEEE 754R Decimal Floating-Point Arithmetic Using the Binary Encoding Format (slides), M. Cornea, C. Anderson and J. Harrison
- Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations, M. Aharoni, R. Maharik and A. Ziv
- Decimal Floating-Point Multiplication Via Carry-Save Addition (slides), M. Erle, M. Schulte and B. J. Hickmann
- Decimal Floating-Point Adder and Multifunction Unit with Injection-Based Rounding (slides), L.-K. Wang and M. Schulte
15:40 - 16:10 Coffee break
16:10 - 17:25 Floating Point Implementation, Chair: John Harrison
- (SEE MODIFICATIONS) A New Architecture for Multiple-precision Floating-point Multiply-add Fused Unit Design, H. Libo, D. Kui, S. Li and W. Zhiying
- P6 Binary Floating-Point Unit (slides), S. Dao Trong, M. Schmookler, E. Schwarz and M. Kroener
- Design of the ARM VFP11 Divide and Square Root Synthesisable Macrocell (slides), N. Burgess and C. N. Hinds

Tuesday, June 26

8:45 - 10:25 Crypto Algorithms, Chair: Jean-claude Bajard
- An Algorithm for the Eta-T Pairing Calculation in Characteristic Three and its Hardware Implementation (slides), J.-L. Beuchat, M. Shirase, T. Takagi and E. Okamoto
- An Algorithm for Inversion in GF(2m) Suitable for Implementation Using a Polynomial Multiply Instruction on GF(2) (slides), K. Kobayashi, N. Takagi and K. Takagi
- Asymmetric Squaring Formulae, J. Chung and M. A. Hasan
- Spectral Modular Exponentiation, G. Saldamli and Ç. K. Koç
10:25 - 10:55 Coffee break
10:55 - 12:10 Various Topics, Chair: Israel Koren
- Worst Cases of a Periodic Function With Large Arguments, G. Hanrot, V. Lefèvre, D. Stehlé and P. Zimmermann
- Faithful Polynomial Evaluation with Compensated Horner Algorithm,P. Langlois and N. Louvet
- Accurate Multiple-Precision Gauss-Legendre Quadrature (slides), L. Fousse
12:10 - 14:00 Lunch break
14:00 - 15:15 Elementary Functions, Chair: Elisardo Antelo
- Return of the hardware floating-point elementary function (slides), J. Detrey, F. de Dinechin and X. Pujol
- (SEE MODIFICATIONS) Efficient polynomial L-approximations (slides), N. Brisebarre and S. Chevillard
- Floating-point L2 approximations to functions, N. Brisebarre and G. Hanrot
15:15 - 15:45 Coffee break
15:45 - 17:00 Floating Point Issues and Operations, Chair: Eric Schwartz
- Formal Verification of Floating-Point Programs (slides), S. Boldo and J.-C. Filliatre
- A New Family of High-Performance Parallel Decimal Multipliers (slides), A. Vazquez, E. Antelo and P. Montuschi
- Optimistic Parallelization of Floating-Point Accumulation, N. Kapre and A. DeHon
18:30 - 23:30 Conference banquet

Wednesday, June 27

8:45 - 10:25 Modular Operations, Chair: Noafumi Takagi
- Modular Multiplication using Redundant Digit Division, P. T. P. Tang
- Fast Modular Reduction (slides), W. Hasenplaugh, G. Gaubatz and V. Gopal
- Montgomery Reduction Algorithm for Modular Multiplication Using Low-Weight Polynomial Form Integers, J. Chung and M. A. Hasan
- Efficient Method for Magnitude Comparison in RNS based on Two Pairs of Conjugate Moduli (slides), L. Sousa
10:25 - 10:55 Coffee break
10:55 - 11:45 Basic Arithmetic Operations II, Chair: Tomas Lang
- Performing Advanced Bit Manipulations Efficiently in General-Purpose Processors (slides), Y. Hilewitz and R. B. Lee
- Multiplication by a Constant is Sublinear (slides), V. Dimitrov, L. Imbert and A. Zakaluzny
11:45 - 12:00 Closing of the Symposium, Graham A. Jullien
12:00 - 14:00 Lunch break
14:00 - 19:00 Excursion