- 2022-11-13 | Language Design Meets Verifying Compilers (Keynote)
- 2022-03-13 | Language Design Meets Verifying Compilers
- 2022-01-15 | Verifying Whiley Programs with Boogie
- 2021-11-01 | Compiling Whiley for Embedded Systems
- 2021-11-01 | Transpiling Whiley to C++
- 2021-11-01 | Whiley to TypeScript Transpiler
- 2021-03-25 | Finding Bugs with Specification-Based Testing is Easy!
- 2021-01-01 | Finding Bugs with Specification-Based Testing is Easy!
- 2020-11-01 | Profiling the Java Compiler for Improved Incremental Compiler Design
- 2020-09-26 | Functional Reactive Programming in Whiley
- 2019-01-01 | Compiling Whiley for the Ethereum Virtial Machine
- 2019-01-01 | Compiling Whiley for WebAssembly
- 2019-01-01 | Efficient compilation of a verification-friendly programming language
- 2018-12-16 | On the Architecture of a (Verifying) Compiler
- 2018-11-01 | Whiley Memory Analyser
- 2018-01-01 | An Introduction to Software Verification with Whiley
- 2018-01-01 | Inferring invariants from postconditions in Whiley
- 2018-01-01 | On Declarative Rewriting for Sound and Complete Union, Intersection and Negation Types
- 2018-01-01 | QuickCheck for Whiley
- 2018-01-01 | Rewriting for Sound and Complete Union, Intersection and Negation Types
- 2018-01-01 | Towards Compilation of an Imperative Language for FPGAs
- 2017-07-24 | What does the Future of Programming Look Like?
- 2017-01-01 | Array Programming in Whiley
- 2017-01-01 | Compiling Whiley to FPGAs
- 2017-01-01 | Making Whiley Boogie!
- 2016-11-01 | Simulating and Visualising a Model Railway
- 2016-01-01 | Lifetime Analysis for Whiley
- 2015-08-26 | The Whiley Programming Language
- 2015-03-23 | Whiley as a Research Project
- 2015-01-01 | Designing a Verifying Compiler: Lessons Learned from Developing Whiley
- 2015-01-01 | Developing a Whiley-to-JavaScript Translator
- 2015-01-01 | Identifying Redundant Test Cases
- 2015-01-01 | Integer Range Analysis for Whiley on Embedded Systems
- 2015-01-01 | Some Usability Hypotheses for Verification
- 2015-01-01 | The Whiley Rewrite Language (WyRL)
- 2014-01-01 | Demonstrating Whiley on an Embedded System
- 2014-01-01 | Verifying Whiley Programs using an Off-the-Shelf SMT Solver
- 2013-06-05 | Dave Pearce on Whiley
- 2013-01-27 | Writing Loop Invariants in Whiley
- 2013-01-01 | A Calculus for Constraint-Based Flow Typing
- 2013-01-01 | Compiling Whiley Programs for a General Purpose GPU
- 2013-01-01 | Reflections on Verifying Software with Whiley
- 2013-01-01 | Whiley: a Platform for Research in Software Verification
- 2011-12-20 | The Whiley Programming Language
- 2011-01-01 | Implementing a Language with Flow-Sensitive and Structural Typing on the JVM
- 2011-01-01 | Integrating the Actor Model into the Whiley Programming Language
- 2010-08-10 | Short Demonstration of The Whiley Programming Language
- 2010-01-01 | Whiley
Dr. David J. Pearce