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