| 2022 | Formal Verification of a Chained Multiply-Add Design: Combining Theorem Proving and Equivalence Checking. | David M. Russinoff, Javier D. Bruguera, Cuong Chau, Mayank Manjrekar, Nicholas Pfister, Harsha Valsaraju |
| 2022 | A BF16 FMA is All You Need for DNN Training. | John Osorio Ros, Adri Armejach, Eric Petit, Greg Henry, Marc Casas |
| 2022 | Formally verified 32- and 64-bit integer division using double-precision floating-point arithmetic. | David Monniaux, Alice Pain |
| 2022 | An Alternative Approach to Polynomial Modular Number System Internal Reduction. | Nicolas Mloni |
| 2022 | PERCIVAL: Open-Source Posit RISC-V Core With Quire Capability. | David Mallasn, Raul Murillo, Alberto A. Del Barrio, Guillermo Botella, Luis Piuel, Manuel Prieto-Matas |
| 2022 | Quotient Approximation Modular Reduction. | Aurlien Greuet, Simon Montoya, Clmence Vermeersch |
| 2022 | Point-Targeted Sparseness and Ling Transforms on Parallel Prefix Adder Trees. | Teodor-Dumitru Ene, James E. Stine |
| 2022 | Accelerating Variants of the Conjugate Gradient with the Variable Precision Processor. | Yves Durand, Eric Guthmuller, Csar Fuguet Tortolero, Jrme Fereyre, Andrea Bocco, Riccardo Alidori |
| 2022 | PMNS for efficient arithmetic and small memory cost. | Fangan-Yssouf Dosso, Jean-Marc Robert, Pascal Vron |
| 2022 | A software comparison of RNS and PMNS. | Laurent-Stphane Didier, Jean-Marc Robert, Fangan-Yssouf Dosso, Nadia El Mrabet |
| 2022 | Automatic Datapath Optimization using E-Graphs. | Samuel Coward, George A. Constantinides, Theo Drane |
| 2022 | Low-Latency and High-Bandwidth Pipelined Radix-64 Division and Square Root Unit. | Javier D. Bruguera |
| 2022 | High-level algorithms for correctly-rounded reciprocal square roots. | Carlos F. Borges, Claude-Pierre Jeannerod, Jean-Michel Muller |
| 2022 | MiniFloat-NN and ExSdotp: An ISA Extension and a Modular Open Hardware Unit for Low-Precision Training on RISC-V Cores. | Luca Bertaccini, Gianna Paulin, Tim Fischer, Stefan Mach, Luca Benini |
| 2022 | Generating Very Large RNS Bases. | Jean-Claude Bajard, Kazuhide Fukushima, Thomas Plantard, Arnaud Sipasseuth |
| 2022 | Towards Quantum Logarithm Number Systems. | Mark G. Arnold |
| 2022 | The Positive Effects of Stochastic Rounding in Numerical Algorithms. | El-Mehdi El Arar, Devan Sohier, Pablo de Oliveira Castro, Eric Petit |
| 2022 | Efficient Word Size Modular Multiplication over Signed Integers. | Daichi Aoki, Kazuhiko Minematsu, Toshihiko Okamura, Tsuyoshi Takagi |
| 2021 | Dither computing: a hybrid deterministic-stochastic computing framework. | Chai Wah Wu |
| 2021 | Combining Precision Tuning and Rewriting. | Brett Saiki, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock |
| 2021 | Analyzing the impact of floating-point precision adaptation in iterative programs. | Guillaume Revy |
| 2021 | Efficient Word Size Modular Arithmetic. | Thomas Plantard |
| 2021 | Pipeline Optimization using a Cost Extension of Timed Petri Nets. | Rmi Parrot, Mikal Briday, Olivier H. Roux |
| 2021 | High-Speed NTT-based Polynomial Multiplication Accelerator for Post-Quantum Cryptography. | Mojtaba Bisheh-Niasar, Reza Azarderakhsh, Mehran Mozaffari Kermani |
| 2021 | $a \cdot(x\cdot\ x)$ or $(a\cdot x)\cdot x?$. | Jean-Michel Muller |