Dave's Homepage whileydave.com

Balloon Types for Safe Parallelisation over Arbitrary Object Graphs

whileydave.com·698w

A Calculus for Constraint-Based Flow Typing

whileydave.com·698w

Testing out my Papilio FPGA!

whileydave.com·700w

Building an Arduino Robot (for Testing Whiley)

whileydave.com·701w

A Source File with 72KLOC!?

whileydave.com·701w

Generating Verification Conditions for Whiley

whileydave.com·702w

Comparing I/O in C with Java

whileydave.com·703w

Rustan on Automatic Program Verification

whileydave.com·706w

Formalising Flow Typing with Union, Intersection and Negation Types

whileydave.com·707w

Profiling Field Initialisation in Java

whileydave.com·712w

A Misconception of Functional Programming?

whileydave.com·715w

Autonomous Robotic Drone which Flies Indoors!?

whileydave.com·718w

Java versus C++ Performance

whileydave.com·718w

Whiley Interview on VBC 88.3FM

whileydave.com·720w

The Liquid Metal Project

whileydave.com·724w

Groovy 2.0 uses Flow Typing!

whileydave.com·725w

Flow Typing for References in Whiley

whileydave.com·727w

Exploring The Verification Corner

whileydave.com·728w

Variable Scoping for Try-Catch Blocks in Whiley

whileydave.com·730w

Termination of Flow Typing in Whiley

whileydave.com·735w

Log in to enable infinite scrolling