Abstract Machine Models (2022)

The Future of Computer Science (2018)

Abstract Machine Models - Also: what Rust got particularly right

Levels of Technical Leadership

Errors vs. exceptions in Go and C++ in 2020