Search Results - "Saiki, Brett"

Combining Precision Tuning and Rewriting by Saiki, Brett, Flatt, Oliver, Nandi, Chandrakana, Panchekha, Pavel, Tatlock, Zachary

“…Precision tuning and rewriting can improve both the accuracy and speed of floating point expressions, yet these techniques are typically applied separately…”
Get full text

Target-Aware Implementation of Real Expressions by Saiki, Brett, Brough, Jackson, Regehr, Jonas, Ponce, Jesús, Pradeep, Varun, Akhileshwaran, Aditya, Tatlock, Zachary, Panchekha, Pavel

“…New low-precision accelerators, vector instruction sets, and library functions make maximizing accuracy and performance of numerical code increasingly…”
Get full text

Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting by Misback, Edward, Chan, Caleb C, Saiki, Brett, Jun, Eunice, Tatlock, Zachary, Panchekha, Pavel

“…In recent years, researchers have proposed a number of automated tools to identify and improve floating-point rounding error in mathematical expressions…”
Get full text

Rewrite Rule Inference Using Equality Saturation by Nandi, Chandrakana, Willsey, Max, Zhu, Amy, Wang, Yisu Remy, Saiki, Brett, Anderson, Adam, Schulz, Adriana, Grossman, Dan, Tatlock, Zachary

“…Many compilers, synthesizers, and theorem provers rely on rewrite rules to simplify expressions or prove equivalences. Developing rewrite rules can be…”
Get full text