Symposium at a glance

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

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

Manifest for an approximation exchange format
Nicolas Brunie

16:00 to 17:30 Industry panel. Processors for the Computing of the 2020s

Organizer:
Reza Azarderakhsh, Florida Atlantic University, USA

Panelist:
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

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

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

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