Formal Verification of EVM Bytecode
This is a talk I gave on the DafnyEVM at the EVM Summit in Istanbul, 2023.
Language Design Meets Verifying Compilers
This is the keynote presentation I gave at the Conference on Generative Programming: Concepts & Experiences (GPCE'22). See also my paper of the same name.
Finding Bugs with Specification-Based Testing is Easy!
This was the (prerecorded) conference presentation that accompanies my paper with the same name.
Functional Reactive Programming in Whiley
Functional Reactive Programming (FRP) is a paradigm which brings functional programming to inherently non-functional environments. FRP has been recently popularised for building web applications through the likes of React, Angular, Elm, etc. In this talk, I'll explore FRP for building web applications and, in particular, examine an FRP framework written in Whiley and how it works.
On the Architecture of a (Verifying) Compiler
This was an invited keynote given at the Sydney Area Programming Languages (SAPLING) Workshop held in Wellington, New Zealand
What does the Future of Programming Look Like?
This talk provides an introduction and demonstration of the Whiley programming language, and was given at Oracle Labs Brisbane in 2017.
Contracts in the Wild: A Study of Java Programs
This is the conference talk given at ECOOP 2017 which accompanied our paper published there
The Whiley Programming Language
This talk was given at the Wellington Java User Group in 2015, and provides a nice overview and demonstration of Whiley.
•••