Fitting Round Objects into Square Databases
Abstract elided by the publisher.
Related papers
- From OO to FPGA: fitting round objects into square hardware? OOPSLA 2010
- How much is in a square? Calculating functional programs with squares JFP 2025
- A unified Coq framework for verifying C programs with floating-point computations CPP 2016
- A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations CPP 2017
- Parallelism by design: data analysis with sawzall CGO 2008
- Automatically improving accuracy for floating point expressions PLDI 2015
- A Formal Proof of Square Root and Division Elimination in Embedded Programs CPP 2012
- Implementation of a Portable Nested Data-Parallel Language PPoPP 1993