Search whole site: site:dl.acm.org
Search title: An approach to generate correctly rounded math libraries for new floating point variants | Proceedings of the ACM on Programming Languages
See how to search.