The event will open at 9am on Monday June 8th with an invited keynote talk by Dr. David Shaw, founder and Chief Scientist of D. E. Shaw Research. The main part of the symposium will consist of peer-reviewed technical presentations on all aspects of computer arithmetic, together with 4 panels and special sessions and an additional invited talk by Stanley Mazor, a designer of the world's first microprocessor, the Intel 4004. The scientific program will conclude at midday on Wednesday June 10th and will be followed by an optional lunch cruise on the Willamette River, at which all participants and their guests are welcome.
Please note: the program that follows is preliminary and may change without notice!
Sunday June 7th, 2009
-
17:00-20:30 Welcome
Reception
Held at the Benson hotel (the conference site).
Optional; open to all participants.
Monday June 8th, 2009
- 07:00-08:30 Continental Breakfast
- 08:30-09:00 Conference
Welcome
The ARITH-19 Organizing Committee -
09:00-10:00 Keynote talk
Anton: A Specialized Machine for Millisecond-Scale Molecular Dynamics Simulations of Proteins
David Shaw - 10:00-10:30 Break
-
10:30-12:00 Session 1:
Algorithms and Number Systems. Chair
Milos Ercegovac
-
Efficient Data Structure and Algorithms for Sparse Binary Numbers,
Sets and Predicates (presentation)
Jean E. Vuillemin -
A Dual-Purpose Real/Complex Logarithmic Number System ALU (presentation)
Mark Arnold, Sylvain Collange -
Selected RNS Bases for Modular Multiplication (presentation)
Jean-Claude Bajard, Marcelo E. Kaihara, Thomas Plantard
-
Efficient Data Structure and Algorithms for Sparse Binary Numbers,
Sets and Predicates (presentation)
- 12:00-13:00 Lunch
- 13:00-13:30 Invited
Talk
A Historical Perspective on Computer Arithmetic (presentation)
Stanley Mazor - 13:30-15:00 Session
2: Arithmetic Hardware. Chair
Earl Swartzlander
-
Higher Radix Squaring Operations Employing Dual Operand Recoding (presentation)
David Matula -
Advanced Clock-gating Schemes for Fused-Multiply-Add-Type
Floating-Point Units (presentation)
Jochen Preiss, Maarten Boersma, Silvia Melitta Mueller -
Unified Approach to the Design of Modulo-(2n ±
1) Adders Based on Signed-LSB Representation of Residues (presentation)
Ghassem Jaberipur, Behrooz Parhami
-
Higher Radix Squaring Operations Employing Dual Operand Recoding (presentation)
- 15:00-15:15 Break
- 15:15-16:15 Special
Session on Interval Arithmetic chaired
by Paul Zimmermann
-
IEEE Interval Standard Working Group - P1788: Current Status (presentation)
William Edmonson, Guillaume Melquiond (presentation) - Discussion: Hardware Instructions for Interval Arithmetic
-
IEEE Interval Standard Working Group - P1788: Current Status (presentation)
- 16:15-16:30 Break
- 16:30-18:00 Special Session on Automatic Synthesis of Arithmetic Operations chaired by Alex Tenca
Tuesday June 9th, 2009
- 07:00-08:30 Continental Breakfast
- 08:45-10:15 Session
3: Finite Fields and Cryptography. Chair
Naofumi Takagi
-
Subquadratic Space Complexity Multiplier for a Class of Finite
Fields Using Toeplitz Matrix Approach (presentation)
Anwar Hasan, Christophe Nègre -
Hybrid Binary-Ternary Joint Form and its Application in Elliptic
Curve Cryptography(presentation)
Jithra Adikari, Vassil Dimitrov, Laurent Imbert -
Polynomial Multiplication over Finite Fields Using Field Extensions
and Interpolation(presentation)
Murat Cenk, ‡etin Koç, Ferruh Ozbudak
-
Subquadratic Space Complexity Multiplier for a Class of Finite
Fields Using Toeplitz Matrix Approach (presentation)
- 10:15-10:30 Break
- 10:30-12:00 Session
4: Mathematical Software. Chair David
Hough
-
A New Binary Floating-point Division Algorithm and its Software
Implementation on the ST231 Processor (presentation)
Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, Guillaume Revy, Gilles Villard -
Fast and Accurate Bessel Function Computation (presentation)
John Harrison -
Implementation Specific Verification of Divide and Square Root
Instructions(presentation)
Anatoly Koyfman, Avraham Avi Kaplan, Elena Guralnik, Ariel J. Birnbaum
-
A New Binary Floating-point Division Algorithm and its Software
Implementation on the ST231 Processor (presentation)
- 12:00-13:00 Lunch
- 13:00-14:30 Session
5: Decimal Hardware. Chair
Paolo Montuschi
-
A Decimal Floating-Point Adder with Decoded Operands and a Decimal
Leading-Zero Anticipator (presentation)
Liang-Kai Wang, Michael Schulte -
A High-performance Significand BCD Adder with IEEE 754-2008 Decimal
Rounding(presentation)
Álvaro Vázquez, Elisardo Antelo -
Fully Redundant Decimal Arithmetic (presentation)
Saeid Gorgin, Ghassem Jaberipur
-
A Decimal Floating-Point Adder with Decoded Operands and a Decimal
Leading-Zero Anticipator (presentation)
- 14:30-14:45 Break
- 14:45-16:15 Panel
on Decimal Arithmetic in Industry chaired
by David Matula (presentation)
-
Hardware Implemented Decimal Floating-point at IBM
Eric Schwarz -
IEEE 754-2008 Decimal Floating-Point for Intel® Architecture (presentation)
Marius Cornea - Why decimal
in a new architecture? (presentation)
Ivan Godard -
Energy and Delay Improvement via Decimal Units (presentation)
Hossam Fahmy, Ramy Raafat, Amira M. Abdel-Majeed, Rodina Samy, Tarek ElDeeb, Yasmin Farouk - Why
Decimal Floating-point is a Blessing for Business Applications (presentation)
Nobuyoshi Mori
-
Hardware Implemented Decimal Floating-point at IBM
- 16:15-16:30 Break
- 16:30-18:00 Special
Session on GPU Graphics and Computing chaired
by Stuart Oberman (presentation)
-
GPUs: High Performance Arithmetic for Graphics and General Purpose
Computing(presentation)
Stuart Oberman - Larrabee: A
Many-Core x86 Architecture for High-Performance Computation(presentation)
Gus Espinosa - Programming
Parallel Devices with OpenCL (presentation)
Mike Houston - Understanding
GPU Performance to Optimize Linear Algebra and Related Algorithms(presentation)
Jim Demmel
-
GPUs: High Performance Arithmetic for Graphics and General Purpose
Computing(presentation)
- 18:00-19:00 Pre-banquet reception
- 19:00-21:00 Conference banquet
Wednesday June 10th, 2009
- 07:00-08:30 Continental Breakfast
- 08:45-10:15 Session
6: Floating-point Techniques. Chair
Michael Parks
-
On the Computation of Correctly-rounded Sums (presentation)
Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller -
Multi-operand Floating-point Addition (presentation)
Alexandre Tenca -
Certified and Fast Computation of Supremum Norms of Approximation
Errors(presentation)
Sylvain Chevillard, Christoph Lauter, Mioara Joldes
-
On the Computation of Correctly-rounded Sums (presentation)
- 10:15-10:30 Break
- 10:30-12:00 Session
7: Decimal Transcendentals. Chair
Peter Kornerup
-
Computation of Decimal Transcendental Functions using the CORDIC
Algorithm(presentation)
Álvaro Vázquez, Julio Villalba, Elisardo Antelo -
Decimal Transcendentals via Binary (presentation)
John Harrison -
A 32-bit Decimal Floating-Point Logarithmic Converter
Dongdong Chen, Yu Zhang, Moon Ho Lee, Seok-Bum Ko
-
Computation of Decimal Transcendental Functions using the CORDIC
Algorithm(presentation)
- 12:00-13:00 Conference Close
- 13:00-17:00 Lunch cruise on Willamette River (optional, guests welcome)