talks
Some of my talks.
-
Mix Testing@Kent Concurrency Workshop
-
Compiler Testing With Memory Models Seminar @ Various Universities
-
Weak Memory Demands Model-based Compiler Testing@The Future of Weak Memory (POPL 2024)
-
Testing Compiler Correctness with Téléchat@Arm Research Summit 2020
-
Téléchat Testing Compiler Correctness with Memory Models@Imperial College London
-
Algebraic Effects for Calculating Compilers@S-REPLS7.
-
HackSoc Hustings@HackSoc Hustings and Elections.
-
The TechFest Returns!@HackSoc TechFest 2015.
-
Introduction to Scala, Spark and Functional Programming@HackSoc Weekly TechTalks.
-
Introduction To HackSoc@HackSoc TechFest 2015.
-
How to Arduino for Greater Good!@HackSoc TechFest 2015.