Dr. David J. Pearce

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.
•••