The Buoyancy Project

Exploring systems and user approaches to floating point correctness and resilience

logo

About#

Scientific (and other) applications are critically dependent on calculations done using floating point arithmetic. A number of concerns have been raised about correctness in such applications given the numerous gotchas the IEEE floating point standard presents for developers, as well as the complexity of its implementation at the hardware and compiler levels. The Buoyancy Project aims to explore systems- and user-level approaches to improving the correctness and resilience of floating point calculations.

Team#

Publications#

Software#

Teaching#

Sponsors#

NSF logo

The Buoyancy Project is made possible by support from the National Science Foundation via awards CNS-2211315, CCF-2028851, and CNS-1763743.