ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
Fri 8 Sep 2023 16:00 - 16:30 at B - Fifth Avenue - Haskell: Demos Chair(s): Niki Vazou

One of the main challenges in distributed computing is building interfaces and APIs that allow programmers with limited background in distributed systems to write scalable, performant, and fault-tolerant applications on large clusters. In this demonstration, we designed and implemented a Haskell auto-parallelizer with a simple yet powerful interface by taking advantage of the default purity of Haskell functions. Finally, we benchmarked our implementation on a set of examples to illustrate the potential for future work in this direction.

Fri 8 Sep

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

16:00 - 17:30
Haskell: DemosHaskell at B - Fifth Avenue
Chair(s): Niki Vazou IMDEA Software Institute
16:00
30m
Demonstration
A Haskell Auto-Parallelizer for Distributed Computing
Haskell
Yuxi Long Duke University, Shiyou Wu Duke University, Yingjie Xu Duke University
16:30
30m
Demonstration
Verifying Haskell's Rewrite Rules based on Polymorphic Rewriting Theory
Haskell
Makoto Hamana Gunma University, Japan
17:00
30m
Meeting
Lightning Talks I
Haskell