Stories by matt_d

The Hoare Cube

"Performance Analysis and Tuning on Modern CPUs": Second Edition Released

What Goes Around Comes Around... And Around... - Andy Pavlo, Dijkstra Award 2024

Bicameral, Not Homoiconic

The Denotational Semantics of SSA

Counterexamples in Safe Rust

Tacit Talk Episode 8: Tacit Definition (1991)

C++ Switch Statements Under the Hood in LLVM – Hans Wennborg [video]

Reverse engineering Microsoft BASIC [video]

Introduction to SASS and GPU Microarchitecture – GPU Mode Lecture 37 [video]

ACM SIGPLAN International Conference on Functional Programming ICFP 2024 Videos

Type Theory Forall: What Is Type Theory and What Properties We Should Care About

Exploring parsing APIs: what to generate, and how

Hardware Trends Impacting Floating-Point Computations in Scientific Applications

Evaluating Human Factors Beyond Lines of Code

Oral History of Nolan Bushnell [video]

DBSP: Automatic Incremental View Maintenance for Rich Query Languages

Towards Sound `unsafe` Rust – Rust Formal Methods Interest Group [video]

Software Security Analysis in 2030 and Beyond: A Research Roadmap [pdf]

Creating Your Own Programming Language – Laurence Tratt [video]

1
2
3
4
5
6
7
8
9
10