Supported by:

Symposium at a glance

Time (CEST) Monday, June 14th Tuesday, June 15th Wednesday, June 16th
09:00 Session 3
Arithmetic operators 1
Session 7
Arithmetic operators 2
10:15 Break Break
10:45 Session 4
Custom precision floating
point mathematical libraries
Session 8
Invited session "Hardware and Software Tools for Computer Arithmetic"
16:00 Opening session Industry panel
Processors for the Computing of the 2020s
Keynote Talk
Théo Mary, Sorbonne Université, France
16:30 Keynote Talk
James P. Held, Intel, USA
17:00 Break
17:15 Session 9
Tribute to Peter L. Montgomery
Arithmetic for Cryptography 2
17:30 Break Break
17:45 Session 1
Precision tuning and verification
Session 5
Stochastic computing
18:35 Break Break Conference closing and
Farewell Party
18:50 Session 2
Floating point error analysis
Session 6
Arithmetic for Cryptography 1

Symposium Program

All times are displayed in Central European Summer Time (GMT+2)

Monday June 14th, 2021

16:00 to 16:30 Opening session

16:30 to 17:30 Keynote Talk
Chair: Mioara Joldes

Realizing the Promise of Quantum Computing
James P. Held, Ph.D. Intel Fellow and Director of Emerging Technologies Research, Intel Labs, Hillsboro, Oregon, USA

17:30 to 17:45 Break

17:45 to 18:35 Session 1. Precision tuning and verification
Chair: Guillaume Melquiond

Combining Precision Tuning and Rewriting for Faster, More Accurate Programs
Brett Saiki, Oliver Flatt, Zachary Tatlock, Pavel Panchekha and Chandrakana Nandi

Tagged error: tracing numerical error through computations
Nestor Demeure, Cédric Chevalier Christophe Denis and Pierre Dossantos-Uzarralde

18:35 to 18:50 Break

18:50 to 20:05 Session 2. Floating point error analysis
Chair: Marius Cornea

a * (x * x) or (a * x) * x ?
Jean-Michel Muller

Analyzing the impact of floating-point precision adaptation in iterative programs
Guillaume Revy

Shadow computation with BFloat16 to compute numerical accuracy
David Defour, Pablo de Oliveira Castro, Matei Istoan and Eric Petit

Tuesday June 15th, 2021

09:00 to 10:15 Session 3. Arithmetic operators 1
Chair: Martin Kumm

Pipeline Optimization using a Cost Extension of Timed Petri Nets
Rémi Parrot, Mikaël Briday and Olivier H. Roux

Approximate Floating-Point Operations with Integer Units by Processing in the Logarithmic Domain
Oscar Gustafsson and Noah Hellman

XpulpNN: Enabling Energy Efficient and Flexible Inference of Quantized Neural Networks on RISC-V based IoT End Nodes
Angelo Garofalo, Giuseppe Tagliavini, Francesco Conti, Luca Benini, Davide Rossi
Journal Papers

10:15 to 10:45 Break

10:45 to 12:00 Session 4. Custom precision floating point mathematical libraries
Chair: Nathalie Revol

Acceleration of LU decomposition supporting double-double, triple-double, and quadruple-double precision floating-point arithmetic with AVX2
Tomonori Kouya

A Study of the Effects and Benefits of Custom-Precision Mathematical Libraries for HPC Codes
Matei Istoan, Emeric Brun, David Defour, Pablo de Oliveira Castro, Davide Mancusi, Eric Petit, Alan Vaquet
Journal Paper

Manifest for an approximation exchange format
Nicolas Brunie
16:00 to 17:30 Industry panel. Processors for the Computing of the 2020s
Reza Azarderakhsh, Florida Atlantic University, USA

Javier Bruguera, ARM, UK
Marius Cornea, Intel, USA
Paulius Micikevicius, NVIDIA, USA
Krishnakumar Nair, Facebook, USA
Eric Schwarz, IBM, USA

17:30 to 17:45 Break

17:45 to 18:35 Session 5. Stochastic computing
Chair: Vassilis Paliouras

Algorithms for Stochastically Rounded Elementary Arithmetic Operations in IEEE 754 Floating-Point Arithmetic
Mantas Mikaitis, Massimiliano Fasi
Journal Paper

Dither computing: a hybrid deterministic-stochastic computing framework
Chai Wah Wu

18:35 to 18:50 Break

18:50 to 20:05 Session 6. Arithmetic for Cryptography 1
Chair: Leonel Sousa

MPHELL: A fast and robust library with unified and versatile arithmetics for elliptic curves cryptography
Titouan Coladon, Philippe Elbaz-Vincent and Cyril Hugounenq

Generating Residue Number System Bases
Jean-Claude Bajard, Kazuhide Fukushima, Shinsaku Kiyomoto, Thomas Plantard, Arnaud Sipasseuth and Willy Susilo

High-Speed NTT-based Polynomial Multiplication Accelerator for Post-Quantum Cryptography
Mojtaba Bisheh-Niasar, Reza Azarderakhsh and Mehran Mozaffari Kermani

Wednesday June 16th, 2021

09:00 to 10:15 Session 7. Arithmetic operators 2
Chair: Naofumi Takagi

Resource Optimal Truncated Multipliers for FPGAs
Andreas Böttcher, Martin Kumm and Florent de Dinechin

Sum Propagate Adders
Giorgos Dimitrakopoulos, Kleanthis Papachatzopoulos, Vassilis Paliouras
Journal Paper

10:15 to 10:45 Break

10:45 to 12:00 Session 8. Invited session "Hardware and Software Tools for Computer Arithmetic"
Chair: Bogdan Pasca

Some Formal Tools for Computer Arithmetic: Flocq and Gappa
Sylvie Boldo and Guillaume Melquiond

Towards arithmetic-centered filter design
Florent de Dinechin, Silviu Filip, Martin Kumm, Anastasia Volkova

FPGA acceleration of bit-true simulations for word-length optimization
Javier Hormigo and Gabriel Caffarena
16:00 to 17:00 Keynote Talk
Chair: Jean-Michel Muller

Opportunities for Mixed Precision Arithmetic in Numerical Linear Algebra
Théo Mary, CNRS Researcher, Sorbonne Université, CNRS, LIP6, Paris, France

17:00 to 17:15 Break

17:15 to 18:35 Session 9. Arithmetic for Cryptography 2
Chair: Arash Reyhani-Masoleh

Tribute to Peter L. Montgomery
Joppe Bos

Efficient Word Size Modular Arithmetic
Thomas Plantard
Journal Paper

Accelerated RISC-V for SIKE
Rami Elkhatib, Reza Azarderakhsh and Mehran Mozaffari-Kermani

A Faster Hardware Implementation of the AES S-box
Doaa Ashmawy and Arash Reyhani-Masoleh
18:50 to 19:20 Conference closing and Farewell Party

Journal Paper Journal Papers
To appear in the Special Section on "Emerging and Impacting Trends on Computer Arithmetic", IEEE Transactions on Emerging Topics in Computing Volume: 9, Issue: 3, July-September 2021

Disclaimer: The opinions expressed in the papers/videos on this website are the opinions of the authors/speakers and not necessarily the opinions of the IEEE or of the conference and its organizers.