Dave's Homepage whileydave.com

Identifying Redundant Test Cases

whileydave.com·594w

Integer Range Analysis for Whiley on Embedded Systems

whileydave.com·594w

Some Usability Hypotheses for Verification

whileydave.com·594w

The Whiley Rewrite Language (WyRL)

whileydave.com·594w

Developing a Whiley-to-JavaScript Translator

whileydave.com·594w

Designing a Verifying Compiler: Lessons Learned from Developing Whiley

whileydave.com·594w

Comparing Graph Layouts for Vertex Selection Tasks

whileydave.com·594w

Verification with Data from Untrusted Sources

whileydave.com·597w

A Story of Cast Expressions

whileydave.com·611w

Loop Variant Relations

whileydave.com·619w

Understanding Ghost Variables in Software Verification

whileydave.com·622w

Loop Invariants and Do/While Statements

whileydave.com·627w

Loop invariants and Break Statements

whileydave.com·629w

Flying the CrazyFlie Quadcopter!

whileydave.com·638w

More Tracked Arduino Fun!

whileydave.com·642w

Thoughts on Parsing Whiley (and Indentation Syntax)

whileydave.com·643w

Software Language Engineering - 7th International Conference

whileydave.com·646w

Verifying Whiley Programs using an Off-the-Shelf SMT Solver

whileydave.com·646w

Maintaining Private Views in Java

whileydave.com·646w

Towards a Vertex and Edge Label Aware Force Directed Layout Algorithm

whileydave.com·646w

Log in to enable infinite scrolling