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