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