ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy
Fri 6 Sep 2024 16:00 - 16:30 at Orange 3 - Haskell 2 Chair(s): J. Garrett Morris

Improving Floating-Point Numbers (IFN) is a numerical computation library for Haskell. It allows the user to directly specify the accuracy of the result, making accurate computation easy. The library’s computation process is based on adaptive control of accuracies, which propagates the demands for more accurate values from an expression to its appropriate subexpressions. However, despite its unique features, programs utilizing the IFN library often encounter efficiency issues regarding memory consumption and execution time due to its fine granularity of computations. This paper presents the computational granularity control mechanism through fusion transformation to resolve these problems and proposes two fusion strategies, the maximal fusion and chain fusion. We have successfully implemented a fusion system that automatically applies these strategies through program transformation. Its effectiveness was confirmed through numerical computation programs.

Fri 6 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:30
Haskell 2Haskell at Orange 3
Chair(s): J. Garrett Morris University of Iowa
16:00
30m
Talk
Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers
Haskell
Momoka Saito The University of Electro-Communications, Hideya Iwasaki Meiji University, Hideyuki Kawabata Hiroshima City University, Tsuneyasu Komiya The University of Electro-Communications
16:30
20m
Talk
[HIW] Thrive with HEAD - How to adopt innovation from GHC HEAD timely in industrial scale
Haskell
Ian-Woo Kim Mercury Technologies, Inc
16:50
40m
Talk
Lightning talks I
Haskell