Wed 20 Jun 2018 16:35 - 17:00 at Grand Ballroom CD - Floats and Maps Chair(s): Hans-J. Boehm

We present Ryū, a new routine to convert binary floating point numbers to their decimal representations using only fixed-size integer operations, and prove its correctness. Ryū is simpler and approximately three times faster than the previously fastest implementation.

Wed 20 Jun

pldi-2018-papers
16:10 - 17:25: PLDI Research Papers - Floats and Maps at Grand Ballroom CD
Chair(s): Hans-J. BoehmGoogle
pldi-2018-papers152950380000016:10 - 16:35
Talk
Alex Sanchez-SternUniversity of California, San Diego, Pavel PanchekhaUniversity of Washington, Sorin LernerUniversity of California, San Diego, Zachary TatlockUniversity of Washington
Media Attached
pldi-2018-papers152950530000016:35 - 17:00
Talk
Ulf AdamsGoogle, Germany
Media Attached
pldi-2018-papers152950680000017:00 - 17:25
Talk
Michael J. SteindorferDelft University of Technology, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven / SWAT.engineering BV
Media Attached