ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
Thu 16 Oct 2025 16:00 - 16:30 at Peony SW - Compiler Chair(s): José Pedro Magalhães

Clash is a compiler from Haskell to hardware description. We explore a Haskell-first approach to hardware design by building an FPGA Sudoku solver based on a well-known software implementation, showing the step-by-step process of adapting it to hardware. The final code still exhibits the benefits of Haskell’s powerful tools for abstraction.

Thu 16 Oct

Displayed time zone: Perth change

16:00 - 17:30
CompilerHaskell at Peony SW
Chair(s): José Pedro Magalhães Standard Chartered Bank
16:00
30m
Research paper
A Clash Course in Solving Sudoku (Functional Pearl)
Haskell
Gergő Érdi Standard Chartered Bank
Pre-print
16:30
30m
Research paper
Staging Automatic Differentiation with Fusion
Haskell
Samuel Klumpers KU Leuven, Belgium, Tom Schrijvers KU Leuven