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
• 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-(2ⁿ ± 1) Adders Based on Signed-LSB Representation of Residues (presentation)
    Ghassem Jaberipur, Behrooz Parhami
• 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
• 16:15-16:30 Break
• 16:30-18:00 Special Session on Automatic Synthesis of Arithmetic Operations chaired by Alex Tenca
  • Datapath Synthesis for Standard-Cell Design (presentation)
    Reto Zimmermann
  • Design Space Exploration for Power-Efficient Mixed-Radix Ling Adders (presentation)
    C-K Cheng
  • Challenges in Automatic Optimization of Arithmetic Circuits (presentation)
    Paolo Ienne

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
• 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
• 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
• 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
• 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
• 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
• 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
• 12:00-13:00 Conference Close
• 13:00-17:00 Lunch cruise on Willamette River (optional, guests welcome)