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

Displayed time zone: Eastern Time (US & Canada) change

16:10 - 17:25
Floats and MapsPLDI Research Papers at Grand Ballroom CD
Chair(s): Hans-J. Boehm Google
16:10
25m
Talk
Finding Root Causes of Floating Point Error
PLDI Research Papers
Alex Sanchez-Stern University of California, San Diego, Pavel Panchekha University of Washington, Sorin Lerner University of California, San Diego, Zachary Tatlock University of Washington, Seattle
Media Attached
16:35
25m
Talk
Ryū: Fast Float-to-String Conversion
PLDI Research Papers
Ulf Adams Google, Germany
Media Attached
17:00
25m
Talk
To-Many or To-One? All-in-One! Efficient Purely Functional Multi-maps with Type-Heterogeneous Hash-Tries
PLDI Research Papers
Michael J. Steindorfer Delft University of Technology, Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven / SWAT.engineering BV
Media Attached