HAFLANG

I’ve been working on the HAFLANG project at Heriot-Watt university for a few years. Project homepage is here.

We’re exploring custom hardware architectures to directly support lazy functional programming languages, such as Haskell. It’s good fun — combining some FPGA hacking, compiler design, and computer architecture.

Papers

• Heron: Modern Hardware Graph Reduction — talks about a our graph reduction system using template instantiation
• Cloaca: A Concurrent Hardware Garbage Collector for Non-strict Functional Languages — talks about our concurrent hardware garbage collector

Talks

• Haskell ‘24 — talks about our garbage collector architecture
• HAFDAL ‘24 — an overview of our reduction core and some WIP garbage collection
• HAFDAL ‘24 playlist — a playlist of all the invited talks for our hardware acceleration for declarative languages workshop
• LAIV ‘23 — a seminar for Heriot-Watt’s “Lab for AI Verification”/”Dependable System Group” on early work