Presentations

Following is a list of some of the presentations that I have made over the years:

  • HasTEE+ - Confidential Computing with Haskell Slides presented at the LSD Seminar at University of California, Santa Cruz
  • HasTEE - Confidential Computing with Haskell Slides presented at ETH Zurich
  • HasTEE - Programming Trusted Execution Environments with Haskell Video Slides
  • Confidential Computing with Haskell Slides at CHERITech ‘23
  • Functional Programming for Embedded Systems (Licentiate) Slides
  • 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