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
Times are displayed in time zone: Eastern Time (US & Canada) change

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