Dave's Homepage whileydave.com

Modelling Borrow Checking in Rust

whileydave.com·232w

Transpiling Whiley to C++

whileydave.com·237w

Compiling Whiley for Embedded Systems

whileydave.com·237w

Whiley to TypeScript Transpiler

whileydave.com·237w

Verifying the Whiley Standard Library

whileydave.com·238w

Test-Driving the Rust Model Checker (RMC)

whileydave.com·238w

Fooling the Borrow Checker

whileydave.com·246w

Sizing Up Types in Rust

whileydave.com·253w

A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust

whileydave.com·268w

Understanding Generic Type Variance (in Whiley)

whileydave.com·271w

Finding Bugs with Specification-Based Testing is Easy!

whileydave.com·281w

Dynamic Cycle Detection for Lock Ordering

whileydave.com·283w

Automated Testing for Whiley

whileydave.com·285w

Understanding Partial Moves in Rust

whileydave.com·285w

Profiling the Java Compiler for Improved Incremental Compiler Design

whileydave.com·290w

Reverse Engineering of an Obfuscated Binary

whileydave.com·294w

The Semantics of Semantic Versioning?

whileydave.com·295w

Whiley is Ten Years Old!

whileydave.com·298w

Putting the Semantics into Semantic Versioning

whileydave.com·302w

Computational Resources

whileydave.com·333w

Log in to enable infinite scrolling