Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Saiki, Brett"'
Autor:
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 challenging. Two lines of work$\unicode{x2013}$traditional compilers and numerical compilers$\unico
Externí odkaz:
http://arxiv.org/abs/2410.14025
Autor:
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. However, users struggle to effectively apply these tools. In this paper, we work with novices, e
Externí odkaz:
http://arxiv.org/abs/2305.10599
Autor:
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 difficult: rules may be subtly incorrect, profitable rules are easy to miss, and rulesets must be r
Externí odkaz:
http://arxiv.org/abs/2108.10436