Publications by Scott Owens

Compiler Verification

Multi-core Memory Models

Mechanised Semantics

Theorem Proving

Module Systems

Compiler Front-ends

Validate XHTML 1.0 Strict Validate CSS