Stories by matt_d

Hunter: Using Change Point Detection to Hunt for Performance Regressions

Myths and Legends in High-Performance Computing

Value Semantics: Safety, Independence, Projection, & Future of Programming

The Design and Implementation of User-Schedulable Languages

26 programming languages in 25 days, Part 2: Reflections on language design

Finding JIT Optimizer Bugs Using SMT Solvers and Fuzzing

2022 LLVM Developers' Meeting – Talks

Programming Languages: Application and Interpretation (PLAI): Third Edition

Pop Quiz! Can a Large Language Model Help With Reverse Engineering?

Still Entombed: The continuing twists and turns of a maze game [pdf]

Formally Verified Native Code Generation in an Effectful JIT [pdf]

Measuring System Interface Complexity

Ownership in Flux (a refinement type checker for Rust)

Pointer Compression in Oilpan · V8

A Logical Approach to Type Soundness [pdf]

Still Entombed After All These Years: The continuing twists&turns of a maze game

Managing a Managed Language in a Managed Lang. Or What Is a Systems Lang. Anyway

Where Did My Variable Go? Poking Holes in Incomplete Debug Information

A Survey on Memory-Centric Computer Architectures

Optimization Techniques for GPU Programming

47
48
49
50
51
52
53
54
55
56