ARITH18: Program

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² 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