Stories by matt_d

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

Intrinsically-Typed Definitional Interpreters à La Carte

Is Everything Is a File?

Deconstructing Datalog [pdf]

More Evidence for Problems in VM Warmup

AVX-512 – Permuting Data Within and Between AVX Registers [pdf]

Trip report: Autumn ISO C++ standards meeting (Kona)

Championship Simulator: Architectural Simulation for Education and Competition

AMD’s Zen 4, Part 2: Memory Subsystem and Conclusion

Stop Searching for Shared Libraries

The Sincerest Form of Flattery: Large-Scale Analysis of Code Re-Use (Atari 2600)

GCC Translation Validation 2: Verifying GCC optimizations using an SMT solver

54 55 56 57 58 59 60 61 62 63