Dr. David J. Pearce

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.

Writing Loop Invariants in Whiley

Loop invariants are often needed when verifying programs with loops. In this short video, we'll walk through verifying a simple function written in Whiley and, in particular, see the loop invariants that are needed.

The Whiley Programming Language

This is a talk introducing the Whiley programming language. Whiley is an experimental language being developed in New Zealand. For more info on Whiley, see http://whiley.org. The talk was given by Dr David J. Pearce in November 2011 at the Wellington Java User Group, NZ.

Short Demonstration of The Whiley Programming Language

This is the first talk made about Whiley. Things have changed a lot since then!! The demo introduces the idea of pre- and post-conditions.