talks

Some of my talks.

Mix Testing@OOPSLA 2024

Talk and Paper

October 23, 2024
Mix Testing@Kent Concurrency Workshop

Workshop talk on Mix Testing at Kent Concurrency Workshop.

July 19, 2024
Compiler Testing With Memory Models Seminar @ Various Universities

Seminar Promoting Upcoming CGO 2024 Publication at UCL, Uni. of Cambridge, Uni. of Kent, UCSC.

February 20, 2024
Weak Memory Demands Model-based Compiler Testing@The Future of Weak Memory (POPL 2024)

Talk and Paper

January 15, 2024
Testing Compiler Correctness with Téléchat@Arm Research Summit 2020

Video Presentation and Poster

September 9, 2020
Téléchat Testing Compiler Correctness with Memory Models@Imperial College London

Arm Applications of Computing in Industry Talk

February 28, 2020
Algebraic Effects for Calculating Compilers@S-REPLS7.

Calculate the chances that this is a Haskell project.

September 22, 2017
HackSoc Hustings@HackSoc Hustings and Elections.

Summary of the year and voting details.

March 8, 2016
The TechFest Returns!@HackSoc TechFest 2015.

Fool me once, shame on you. Fool me twice however

January 1, 2016
Introduction to Scala, Spark and Functional Programming@HackSoc Weekly TechTalks.

We do some FUN(ctional) programming to Spark enthusiasm, also BIG DATA!

November 15, 2015
Introduction To HackSoc@HackSoc TechFest 2015.

Welcoming a new generation of Hackers with the HackSoc TechFest!

October 1, 2015
How to Arduino for Greater Good!@HackSoc TechFest 2015.

Arduino and Chill

October 1, 2015

Feel free to email me if you have any questions using [email protected]