## Programme

### Sunday, July 23rd, 2017

15:00 - 17:00 **Informal meeting of the IEEE 754 Floating-Point Standards committee**

*Room 508, EEE building, building 16*. You can enter via the Imperial College Main Entrance on Exhibition Road. It can also be accessed from Queen's Gate and Exhibition road via Imperial College Road, though note that the entrance to the building is on the walk-way (mezzanine) level, so you'll need to go up stairs at some point (see annotated map). Access to the EEE building is by swipe-card. There will be someone there to let people in before the meeting starts, and a contact number on display for those arriving later who need to get in.

### Monday, July 24th, 2017

08:30 - 09:00 **Registration / Breakfast**

09:00 - 09:10 **Welcome and Introduction**

09:10 - 10:10 **Session 1 : Keynote Talk**

Chair: Nathalie Revol

**The Rise of Multiprecision Arithmetic**

*Prof. N. Higham, Manchester University*

10:10 - 10:40 **Coffee break**

10:40 - 12:20 **Session 2 : Multiprecision Arithmetic**

Chair: David Hough

**Multiple precision floating point arithmetic on SIMD processors***J. van der Hoeven (LIX, Palaiseau, France)*

**Multiprecision Multiplication on ARMv8***Z. Liu (University of Waterloo, Canada), K. Järvinen (University of Helsinki, Finland), W. Liu (Nanjing University, China), and H. Seo (I2R, Singapore)*

**Optimized Binary64 and Binary128 Arithmetic with GNU MPFR***V. Lefèvre and P. Zimmermann (LORIA, Nancy, France)*

**Implementation and performance evaluation of an extended precision floating-point arithmetic library for high-accuracy semi-definite programming***M. Joldes (LAAS, Toulouse, France), and J-M. Muller and V. Popescu (LIP, Lyon, France)*

12:20 - 13:35 **Lunch**

13:35 - 14:50 **Session 3 : Arithmetic Operators **

Chair: Alberto Nannarelli

**Normalizing or Not Normalizing? An Open Question for Floating-Point Arithmetic in Embedded Systems***S. Gonzalez-Navarro and J. Hormigo (Universidad de Málaga, Spain)*

**On Lifting-Based Fixed-Point Complex Multiplications and Rotations***O. Gustafsson (Linköping University, Sweden)*

**A Number System Approach for Adder Topologies***A. Vazquez and E. Antelo (University of Santiago de Compostela, Spain)*

14:50 - 15:20 **Coffee Break**

15:20 - 15:50 **Session 4 : Invited Talk**

Chair: Jean-Michel Muller

**Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic***F. Johansson (IMB, Bordeaux, France)*

15:50 - 17:40 **Session 5 : Realizing Efficient Matrix Computations (special session)**

Chair: Martin Langhammer

**QRD for Parallel Arithmetic Structures***M. Langhammer (Intel, UK)*

**Optimizing Matrix Multiplication on Intel Xeon PhiTM x200 Architecture***M. E. Guney, K. Goto, T. B. Costa, S. Knepper, L. Huot, A. A. Mitranok, and S. Story (Intel, USA)*

**Accelerating Matrix Processing with GPUs***N. Malaya, S. Che, J. L. Greathouse, R. van Oostrum, and M. J. Schulte (AMD, USA)*

**Algorithms and Arithmetic: Choose Wisely***G.A. Constantinides (Imperial College, London)*

20:00 - 22:00 **Conference Drinks reception at the Science Museum**

### Tuesday, July 25th, 2017

08:30 - 09:00 **Breakfast**

09:00 - 10:40 **Session 6 : Floating-Point Error Analysis**

Chair: Elisardo Antelo

**The classical relative error bounds for computing \(\sqrt{a^2 + b^2}\) and \(c/\sqrt{a^2 + b^2}\) in binary floating-point arithmetic are asymptotically optimal***C.-P. Jeannerod, J-M. Muller, and A. Plet (LIP, Lyon, France)*

**Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations***A. Rocca, T. Dang, and V. Magron (Verimag, France)*

**Round-off Error Analysis of Explicit One-Step Numerical Integration Methods***S. Boldo and F. Faissole (LRI, Orsay, France), and A. Chapoutot (ENSTA ParisTech, France)*

**ULPs and Relative Error***M. Cornea (Intel, USA)*

10:40 - 11:20 **Coffee Break**

11:20 - 12:35 **Session 7 : Hardware for Fast and Reproducible Arithmetic**

Chair: Eric Schwarz

**High-Precision Anchored Accumulators for Reproducible FP Summation***D.R. Lutz and C.N. Hinds (ARM, USA)*

**Modified FMA for exact low precision product accumulation***N. Brunie (kalray, France)*

**A Hardware Accelerator for Computing an Exact Dot Product***J. Koenig, D. Biancolin, J. Bachrach, and K. Asanovic (UC Berkeley, USA)*

12:35 - 13:50 **Lunch**

13:50 - 14:40 **Session 8 : Keynote Talk**

Chair: Milos Ercegovac

**Large scale numerical simulations of the climate**
*J-C. Rioual, Met Office*

14:40 - 15:30 **Session 9 : Arithmetic in FPGAs**

Chair: Oscar Gustafsson

**Flexible fixed-point function generation for FPGAs***B. Pasca (Intel, France) and M. Istoan (INSA, Lyon, France)*

**Optimal Design of Large Multipliers for FPGAs***M. Kumm, J. Kappauf and P. Zipf (University of Kassel, Germany), and M. Istoan (INSA, Lyon, France)*

15:30 - 16:00 **Coffee break**

16:00 - 17:55 **Session 10 : Arithmetic in DSP (Special Session)**

Chair: Julio Villalba

**Optimal Streamed Linear Permutations***F. Serre and M. Püschel (ETH Zurich, Switzerland)*

**On improving the performance per area of ASTC with a multi-output decoder***K.C. Rovers and S. Elliott (Imagination Technologies, UK)*

**Approximate Neumann Series or Exact Matrix Inversion for Massive MIMO***O. Gustafsson, E. Bertilsson, J. Klasson, and C. Ingemarsson (Linköping University, Sweden) et al*

**Floating Point Tangent Implementation for FPGAs***M. Langhammer (Intel, UK) and B. Pasca (Intel, France)*

**High performance and energy efficient circuit technologies for machine learning accelerators in sub-10nm process generations***R. Krishnamurthy (Intel, USA)*

19:00 - 22:00 **Conference banquet at Ognisko**

### Wednesday, July 26th, 2017

08:30 - 09:00 **Breakfast**

09:00 - 10:15 **Session 11 : Cryptography**

Chair: Naofumi Takagi

**Fast Arithmetic Modulo \( 2^x p^y \pm 1 \)***J. Bos and S. Friedberger (NXP, Belgium)*

**Efficient Leak Resistant Modular Exponentiation in RNS***A. Lesavourey and C. Negre (LIRMM, France), and T. Plantard (University of Wollongong, Australia)*

**A New Multiplicative Inverse Architecture in Normal Basis Using Novel Concurrent Serial Squaring and Multiplication***A. Monfared, H. El-Razouk, and A. Reyhani-Masoleh (Western University, Canada)*

10:15 - 10:45 **Coffee break**

10:45 - 12:00 **Session 12 - Miscellaneous Topics in Computer Arithmetic**

Chair: Martin Kumm

**A Sum Error Detection Scheme for Decimal Arithmetic***A. Vazquez and E. Antelo (University of Santiago de Compostela, Spain)*

**Reliable verification of digital implemented filters against frequency specifications***A. Volkova, C. Lauter, and T. Hilaire (Sorbonne University, France)*

**A Parallel Method for the Computation of Matrix Exponential based on Truncated Neumann Series***V.S. Dimitrov, D.F.G. Coelho and L. Rakai (University of Calgary, Canada), V. Ariyarathna and A. Madanayake (University of Akron, USA), and R.J. Cintra (Universidade Federal de Pernambuco, Brazil)*

12:00 - 12:10 **Conference close**

12:30 - 17:30 **(Optional) Post-conference trip to Bletchley Park**