Workshop Materials
Everything you need to know about conducting an awesome workshop.
Title:
Does OCaml Dream of High performance FPGAs?
Abstract:
Come with me on a fun adventure with Hardcaml, an embedded domain-specific language (DSL) built in OCaml for designing high-performance FPGA applications. The talk will cover the fundamental design principles behind Hardcaml and provide a framework for creating embedded DSLs for hardware design.
We will also examine how FPGAs work, the current state of hardware tooling, and demonstrate how software engineering principles can transform the hardware design process.
The talk will also (hopefully) feature practical demonstrations using the Arty A7 FPGA board. All discussed tools and libraries are open-source and available on GitHub along with my experience and tutorials written down in excruciating detail at https://ocamlstreet.gitbook.io/
Date & Time:
4:30PM to 5:15PM -- Thursday 26th June, 2025
20 minute into eHDl design, FPGA basics
15 minute into HardCaml syntax and such
10 Minute Demo
Presentation:
Some of my raw notes with excalidraw diagrams here : https://github.com/2SpaceMasterRace/Work-Notes. Huge shout-out to the three resources I referenced that made this presentation possible.
[ANN] [CFP] OCaml Workshop 2025 at ICFP/SPLASH - announcement and call for proposals
The workshop is intended to cover all different kinds of aspects of the OCaml programming language as well as the OCaml ecosystem and its community, such as scientific and/or research-oriented, engineering and/or user-oriented, as well as social and/or community-oriented.
Dates
Here are the important dates:
Talk proposal submission deadline: July 3rd (Thursday)
Author notification: August 7th (Thursday)
Workshop: October 17th (Friday)
Submissions
Submissions are typically around 2 pages long (flexible), describing the motivations of the work and what the presentation would be about.
Cost for speakers
There may be opportunities for speakers who would not have funding otherwise (via their employer or university) to attend, although we are still in the process of confirming this. (Please keep an eye on this post, which will be updated once we get confirmation!)
Workshop Resources
'My tips on giving technical talks' by Marcus Noble - BLOG
Simple Made Easy - Prime Reacts - YouTube
The Best New Programming Language is a Proof Assistant by Harry Goldstein | DC Systems 006 - YouTube
How to Do Great Research | research-course
How to Give a Good Talk | SIGPLAN Blog
Last updated