Stories by matt_d

The prospect of an execution: The hidden objects among us

Beyond Time Complexity: Data Movement Complexity for Matrix Multiplication

Gradual Soundness: Lessons from Static Python

Wear leveling in SSDs considered harmful

MLC: The first open lecture series on ML compilation

Rupicola: Relational Compilation for Performance-Critical Applications

We Live in Interesting Times – International Symposium on Memory Management 2022

Diving into GCC Internals

Intel 4 Process Scales Logic with Design, Materials, and EUV

PLDI 2022 Proceedings (Programming Language Design and Implementation)

Past, Present, and Future of Computer Architecture – Hennessy and Patterson

Formal-Methods-Based Bugfinding for LLVM’s AArch64 Back End

Addressing the Challenges of Modern DNS: A Comprehensive Tutorial

Where's the Race Condition? “works on AArch64, how can it fail on x86_64?”

CGO 2022 Keynote: Compiler 2.0 – Saman Amarasinghe (MIT)

The Data-Oriented Design Process for Game Development

Monadic Compiler Calculation [pdf]

Proceedings of the ACM on Programming Languages: Volume 6, OOPSLA (Round 1)

The Prolog Adventure by Alain Colmerauer (the Creator of Prolog)

38
39
40
41
42
43
44
45
46
47