Dave's Homepage whileydave.com

What is Extended Static Checking?

whileydave.com·830w

Rich Hickey on Clojure (SE Radio)

whileydave.com·830w

The Trouble with Quantifier Instantiation in an SMT Solver? Triggers.

whileydave.com·830w

Experimental Security Analysis of a Modern Automobile

whileydave.com·831w

Formal Methods: To the Moon and Back!

whileydave.com·832w

Dafny: An Automatic Program Verifier for Functional Correctness

whileydave.com·832w

Whiley

whileydave.com·855w

Understanding the Impact of Collection Contracts on Design

whileydave.com·855w

Computing Tutte Polynomials

whileydave.com·855w

Edge-Selection Heuristics for Computing Tutte Polynomials

whileydave.com·855w

JPure

whileydave.com·855w

A Batch Algorithm for Maintaining a Topological Order

whileydave.com·855w

Version 0.9.13

whileydave.com·864w

Version 0.9.12

whileydave.com·877w

Mocha: Type Inference for Java

whileydave.com·907w

Edge-Selection Heuristics for Computing Tutte Polynomials

whileydave.com·907w

Implementing relationships using Affinity

whileydave.com·907w

Optimising Java Programs with Pure Functions

whileydave.com·916w

The Java Collections Profiler

whileydave.com·916w

Version 0.9.11

whileydave.com·929w

Log in to enable infinite scrolling