Write a Blog >>
Thu 21 Jan 2016 17:20 - 17:45 at Grand Bay North - Track 1: Optimization Chair(s): Mayur Naik

Floating-point numbers are an essential part of modern software, recently gaining particular prominence \r\non the web where floating- point numbers are the exclusive numeric format in Javascript. To use floating point numbers, we require a way to convert the binary machine representations into decimal human readable outputs. Existing conversion algorithm make trade-offs between completeness and performance. The classic Dragon4 algorithm by Steele and White and its later refinements achieve completeness – i.e. produce correct and optimal outputs on all inputs – by using arbitrary precision integer (bignum) arithmetic which leads to a high performance cost. On the other hand, the recent Grisu algorithm by Loitsch shows how to recover performance by using native integer arithmetic but sacrifices optimality for 0.5% of all inputs. We present Errol, a new complete algorithm that is guaranteed to produce correct and optimal results for all inputs, while simultaneously being 2x faster than Grisu and 8x faster than previous complete methods. We formalize and describe Errol and present an implementation and experimental evaluation of our method against the state-of-the-art.

Conference Day
Thu 21 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

16:30 - 17:45
Track 1: OptimizationResearch Papers at Grand Bay North
Chair(s): Mayur NaikGeorgia Tech
16:30
25m
Talk
SMO: An Integrated Approach to Intra-Array and Inter-Array Storage Optimization
Research Papers
Somashekaracharya G BhaskaracharyaIndian Institute of Science and National Instruments, Uday BondhugulaIndian Institute of Science, Albert CohenINRIA
Media Attached File Attached
16:55
25m
Talk
PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs
Research Papers
Wenlei Bao, Sriram KrishnamoorthyPacific Northwest National Laboratories, Louis-Noël PouchetOhio State University, Fabrice RastelloINRIA, France, P. SadayappanOhio State University
Media Attached
17:20
25m
Talk
Printing Floating-Point Numbers: A Faster, Always Correct Method
Research Papers
Marc AndryscoUniversity of California, San Diego, Ranjit JhalaUniversity of California, San Diego, Sorin LernerUniversity of California, San Diego
Media Attached