Dave's Homepage whileydave.com

Graceful Language Extensions and Interfaces

whileydave.com·646w

Demonstrating Whiley on an Embedded System

whileydave.com·646w

An Empirical Evaluation of Force-Directed Graph Layout

whileydave.com·646w

Thoughts on Writing Loop Invariants

whileydave.com·652w

The Dafny Tutorial at SPLASH'13

whileydave.com·655w

Understanding why Union Types are useful

whileydave.com·668w

The Architecture of Verification in Whiley

whileydave.com·673w

Whiley at the Melbourne Java User Group

whileydave.com·674w

Input / Output and the Object-Oriented Paradigm

whileydave.com·679w

Iso-Recursive versus Equi-Recursive Types

whileydave.com·683w

Compile-Time Verification and I/O

whileydave.com·684w

Understanding Loop Invariants in Whiley

whileydave.com·694w

Whiley Puzzler

whileydave.com·696w

Whiley Features in the Dominion Post!

whileydave.com·697w

Reflections on Verifying Software with Whiley

whileydave.com·698w

Sound and Complete Flow Typing with Unions, Intersections and Negations

whileydave.com·698w

Whiley: a Platform for Research in Software Verification

whileydave.com·698w

OwnKit: Inferring Modularly Checkable Ownership Annotations for Java

whileydave.com·698w

Compiling Whiley Programs for a General Purpose GPU

whileydave.com·698w

A Calculus for Constraint-Based Flow Typing

whileydave.com·698w

Log in to enable infinite scrolling