Skip to content

IEEE Symposium on Computer Arithmetic

ARITH

C

CORE rank

CORE rank (raw)

C

Fields of research

Theory of Computation

Papers indexed

942

1972–2025

Papers per year

197247 peak2025

ARITH papers

942 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2025An Empirical Study of Microscaling Formats for Low-Precision LLM Training.Hanmei Yang, Summer Deng, Amit Nagpal, Maxim Naumov, Mohammad Janani, Tongping Liu, Hui Guan
2025Formal Verification of the IEEE P3109 Standard for Binary Floating-Point Formats for Machine Learning.Christoph M. Wintersteiger
2025VEXP: A Low-Cost RISC-V ISA Extension for Accelerated Softmax Computation in Transformers.Run Wang, Gamze Islamoglu, Andrea Belano, Viviane Potocnik, Francesco Conti, Angelo Garofalo, Luca Benini
2025Excvate: Spoofing Exceptions and Solving Constraints to Test Exception Handling in Numerical Libraries.Jackson Vanover, James Demmel, Xiaoye Sherry Li, Cindy Rubio-Gonzlez
2025Rounding Error Statistics as Numerics Signature.Ping Tak Peter Tang
2025Robust, End-to-end Correctness Proofs of Industrial Divide and Square Root RTL Designs.Sol Swords, Cuong Chau
2025Range Extension with Supernormals for Mixed-Precision 8-bit DNN Training.Shing Wai Pun, Bozhang Bao, Silviu-Ioan Filip, Guy Lemieux, John V. Kim, Nazar Misyats, Nirvik Pande, Victor Ravain, Robert Sherrick
2025Experimental Software and Hardware Evaluation of Ad-Hoc Constant Division Routines.Frdric Ptrot
2025Rigorous Error Analysis for Logarithmic Number Systems.Thanh Son Nguyen, Alexey Solovyev, Mark G. Arnold, Ganesh Gopalakrishnan
2025Implementation Evaluation of Fixed-Point Multipliers for Complex Numbers.Per Larsson-Edefors, Erik Brjeson
2025Mixing Condition Numbers and Oracles for Accurate Floating-point Debugging.Bhargav Kulkarni, Pavel Panchekha
2025FastTwoSum revisited.Claude-Pierre Jeannerod, Paul Zimmermann
2025Evaluation of Bfloat16, Posit, and Takum Arithmetics in Sparse Linear Solvers.Laslo Hunhold, James Quinlan
2025On Stochastic Rounding with Few Random Bits.Andrew W. Fitzgibbon, Stephen Felix
2025Double-Word Decomposition in a Combined FP16, BF16 and FP32 Dot Product Add Operator.Organe Desrentes, Benot Dupont de Dinechin, Florent de Dinechin
2025Correct Rounding in Double Extended Precision.Slne Corbineau, Paul Zimmermann
2025On the Flop and Flap Counts of the 2, 8-Split-Radix FFT.Paul Caprioli
2025Hardware Fixed-Point 2D and 3D norms.Romain Bouarah, Florent de Dinechin
2025Fast Basecases for Arbitrary-Size Multiplication.Albin Ahlbck, Fredrik Johansson
2025Trailing-Ones Anticipation for Reducing the Latency of the Rounding Incrementer in FP FMA Units.Toru Koizumi, Ryota Shioya, Takuya Yamauchi, Tomoya Adachi, Ken Namura, Jun Makino
2025A Generic Modulo-(2Saeid Gorgin, Amirhossein Sadr, Dara Rahmati, Jungrae Kim
2025Hardware-Aware Training for Multiplierless Convolutional Neural Networks.Rmi Garcia, Lo Pradels, Silviu-Ioan Filip, Olivier Sentieys
2024An Open-Source RISC-V Vector Math Library.Ping Tak, Peter Tang
2024PT-Float: A Floating-Point Unit with Dynamically Varying Exponent and Fraction Sizes.Jos T. de Sousa, Joo D. Lopes, Micaela Serdio, Horcio C. Neto, Mrio P. Vstias
2024Hardware Acceleration of the Prime-Factor and Rader NTT for BGV Fully Homomorphic Encryption.David Du Pont, Jonas Bertels, Furkan Turan, Michiel Van Beirendonck, Ingrid Verbauwhede

Comparable venues

Other A*/A conferences filed under the same field of research.