| 2023 | 30th IEEE Symposium on Computer Arithmetic, ARITH 2023, Portland, OR, USA, September 4-6, 2023 |
| 2023 | A multiplier-Free RNS-Based CNN accelerator exploiting bit-Level sparsity. Vasilis Sakellariou, Vassilis Paliouras, Ioannis Kouretas, Hani Saleh, Thanos Stouraitis |
| 2023 | A parallel compensated Horner scheme for SIMD architecture. Stef Graillat, Youness Ibrahimy, Clothilde Jeangoudoux, Christoph Quirin Lauter |
| 2023 | AI-based Timing Error Modelling: A Case Study on a Pipelined Floating-point Core. Styliani Tompazi, Georgios Karakonstantis |
| 2023 | An Efficient Barrett Reduction Algorithm for Gaussian Integer Moduli. Malek Safieh, Andreas Furch, Fabrizio De Santis |
| 2023 | Chromatic Analysis of Numerical Programs. David Defour, Franck Védrine |
| 2023 | Dual-Purpose Hardware Algorithms and Architectures - Part 1: Floating-Point Division. Jihee Seo, Dae-Hyun Kim |
| 2023 | Dual-Purpose Hardware Algorithms and Architectures - Part 2: Integer Division. Jihee Seo, Dae-Hyun Kim |
| 2023 | Efficient Additions and Montgomery Reductions of Large Integers for SIMD. Pengchang Ren, Reiji Suda, Vorapong Suppakitpaisarn |
| 2023 | Enhanced Floating-Point Multiply-Add with Full Denormal Support. Jongwook Sohn, David K. Dean, Eric Quintana, Wing Shek Wong |
| 2023 | Error in ulps of the multiplication or division by a correctly-rounded function or constant in binary floating-point arithmetic. Nicolas Brisebarre, Jean-Michel Muller, Joris Picot |
| 2023 | Exact Fused Dot Product Add Operators. Orégane Desrentes, Benoît Dupont de Dinechin, Florent de Dinechin |
| 2023 | Extracting low-precision floating-point adders from embedded hard FP DSP Blocks on FPGAs. Bogdan Pasca, Martin Langhammer |
| 2023 | Formal Verification of Floating-Point Division. Ashish Kapoor, Warren E. Ferguson, Himanshu Jain, Sudipta Kundu |
| 2023 | Improved Montgomery Multiplication. Trenton J. Grale, Earl E. Swartzlander Jr. |
| 2023 | Improving Residue-Level Sparsity in RNS-based Neural Network Hardware Accelerators via Regularization. Emmanouil Kavvousanos, Vasilis Sakellariou, Ioannis Kouretas, Vassilis Paliouras, Thanos Stouraitis |
| 2023 | LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs. Ariel E. Kellison, Andrew W. Appel, Mohit Tekriwal, David Bindel |
| 2023 | Making Interval Arithmetic Robust to Overflow. Oliver Flatt, Pavel Panchekha |
| 2023 | Modulo-(2 Ghassem Jaberipur, Saeid Gorgin, Navid Ahamadian, Jeong-A Lee |
| 2023 | Newton-Raphson Integer Division for Area-Constrained Microcontrollers. Nima D. Badizadegan |
| 2023 | Scalable architecture of constant division on FPGA. Danila A. Gorodecky, Leonel Sousa |
| 2023 | Slimmer Formal Proofs for Mathematical Libraries. Paul Geneau de Lamarlière, Guillaume Melquiond, Florian Faissole |
| 2023 | Testing the Sharpness of Known Error Bounds on the Fast Fourier Transform. Nicolas Brisebarre, Jean-Michel Muller, Joris Picot |
| 2023 | Towards Machine-Efficient Rational L Nicolas Brisebarre, Silviu-Ioan Filip |
| 2023 | Towards a correctly-rounded and fast power function in binary64 arithmetic. Tom Hubrecht, Claude-Pierre Jeannerod, Paul Zimmermann |
| 2023 | Using Hierarchical Approach to Speed-up RNS Base Extensions in Homomorphic Encryption Context. Morgane Vollmer, Karim Bigou, Arnaud Tisserand |
| 2023 | Using loop transformations for precision tuning in iterative programs. Youssef Fakhreddine, Guillaume Revy |
| 2023 | Vectorized Nonlinear Functions with the RISC-V Vector Extension. Eric Bavier, Nicholas Knight, Hugues de Lassus Saint-Genies, Eric Love |