Dr. David J. Pearce

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.

Whiley as a Research Project

This is a short film of me talking about Whiley from the perspective of a research project conducted at Victoria University. The talk was used for marketing purposes.

Dave Pearce on Whiley

This talk was given at the Melbourne Java User Group in 2013, and provides a nice overview and demonstration of Whiley.