Soundly verify Java using compile-time, link-time, and runtime analysis.

An prototype XCode project which builds Swift code which calls Cargo-compiled Rust code

Prototype alternative Java rules for Bazel

My presentation for ISU ComS 641 on Gonzalez et. al., OSDI 2012 and its related work.

Bazel rules for building static websites with Hugo

Lint Markdown files in your Bazel workspace

Bazel rules for building Jekyll websites

Bazel rules to help you use GraalVM in your Bazel project

Demonstrates different ways to invoke the GraalVM with a custom Truffle language or tool

My own implementations of the languages found in Pierce's "Types and Programming Languages"

Lecture slides to help explain some potentially surprising aspects of the Javascript language.