Following are a list of some of the presentations that I have made over the years:
- Higher-Order Concurrency for Microcontrollers Video Slides
- Structuring Asynchrony Slides
- Hailstorm : A Functional Language for IoT Applications Video Slides
- Vectorization in GHC Video Slides
- Calculating Correct Compilers Slides
- Conc Trees (A data structure for parallelism) Slides
- Lenses and Optics Slides