scispace - formally typeset
J

J. Adam Butts

Researcher at D. E. Shaw Research

Publications -  5
Citations -  584

J. Adam Butts is an academic researcher from D. E. Shaw Research. The author has contributed to research in topics: Rounding & Square root. The author has an hindex of 3, co-authored 5 publications receiving 402 citations.

Papers
More filters
Proceedings ArticleDOI

Radix-8 Digit-by-Rounding: Achieving High-Performance Reciprocals, Square Roots, and Reciprocal Square Roots

TL;DR: A high-performance digit-recurrence algorithm for computing exactly rounded reciprocals, square roots, and reciprocal square roots in hardware at a rate of three result bits -- one radix-8 digit -- per recurrence iteration is described.
Proceedings ArticleDOI

Tight Certification Techniques for Digit-by-Rounding Algorithms with Application to a New 1/sqrt(x) Design

TL;DR: A rigorous, computer-aided method for correctness certification that better approximates the necessary conditions, lowering the risk of rejecting correct designs and two specific applications of this method are presented.