Program
LATE MODIFICATIONS:
- the talk A New Architecture for Multiple-precision Floating-point Multiply-add Fused Unit Design (originally scheduled on Monday June 25 at 16:10) is cancelled
- the talk Efficient polynomial L^{∞}-approximations (originally scheduled on Tuesday June 26 at 14:25) is now scheduled on Monday June 25 at 16:10
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(2^{m}) 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 L^{2} 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 |