| 2023 | Efficient Additions and Montgomery Reductions of Large Integers for SIMD. | Pengchang Ren, Reiji Suda, Vorapong Suppakitpaisarn |
| 2023 | Extracting low-precision floating-point adders from embedded hard FP DSP Blocks on FPGAs. | Bogdan Pasca, Martin Langhammer |
| 2023 | Slimmer Formal Proofs for Mathematical Libraries. | Paul Geneau de Lamarlire, Guillaume Melquiond, Florian Faissole |
| 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 | Improving Residue-Level Sparsity in RNS-based Neural Network Hardware Accelerators via Regularization. | Emmanouil Kavvousanos, Vasilis Sakellariou, Ioannis Kouretas, Vassilis Paliouras, Thanos Stouraitis |
| 2023 | Formal Verification of Floating-Point Division. | Ashish Kapoor, Warren E. Ferguson, Himanshu Jain, Sudipta Kundu |
| 2023 | Modulo-(2 | Ghassem Jaberipur, Saeid Gorgin, Navid Ahamadian, Jeong-A Lee |
| 2023 | Towards a correctly-rounded and fast power function in binary64 arithmetic. | Tom Hubrecht, Claude-Pierre Jeannerod, Paul Zimmermann |
| 2023 | Improved Montgomery Multiplication. | Trenton J. Grale, Earl E. Swartzlander Jr. |
| 2023 | A parallel compensated Horner scheme for SIMD architecture. | Stef Graillat, Youness Ibrahimy, Clothilde Jeangoudoux, Christoph Quirin Lauter |
| 2023 | Scalable architecture of constant division on FPGA. | Danila A. Gorodecky, Leonel Sousa |
| 2023 | Making Interval Arithmetic Robust to Overflow. | Oliver Flatt, Pavel Panchekha |
| 2023 | Using loop transformations for precision tuning in iterative programs. | Youssef Fakhreddine, Guillaume Revy |
| 2023 | Exact Fused Dot Product Add Operators. | Organe Desrentes, Benot Dupont de Dinechin, Florent de Dinechin |
| 2023 | Chromatic Analysis of Numerical Programs. | David Defour, Franck Vdrine |
| 2023 | Testing the Sharpness of Known Error Bounds on the Fast Fourier Transform. | Nicolas Brisebarre, Jean-Michel Muller, Joris Picot |
| 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 | Towards Machine-Efficient Rational L | Nicolas Brisebarre, Silviu-Ioan Filip |
| 2023 | Vectorized Nonlinear Functions with the RISC-V Vector Extension. | Eric Bavier, Nicholas Knight, Hugues de Lassus Saint-Genies, Eric Love |
| 2023 | Newton-Raphson Integer Division for Area-Constrained Microcontrollers. | Nima D. Badizadegan |
| 2022 | Approximate Recursive Multipliers Using Low Power Building Blocks. | Efstratios Zacharelos, Italo Nunziata, Gerardo Saggese, Antonio G. M. Strollo, Ettore Napoli |
| 2022 | Enhanced Floating-Point Adder with Full Denormal Support. | Jongwook Sohn, David K. Dean, Eric Quintana, Wing Shek Wong |
| 2022 | The CORE-MATH Project. | Alexei Sibidanov, Paul Zimmermann, Stphane Glondu |
| 2022 | Bounding the Round-Off Error of the Upwind Scheme for Advection. | Louise Ben Salem-Knapp, Sylvie Boldo, William Weens |
| 2022 | Efficient Reduction Algorithms for Special Gaussian Integer Moduli. | Malek Safieh, Fabrizio De Santis |