Stories by matt_d

Musings on Tracing in PyPy

Property-Based Testing for the People

This Year in LLVM (2024)

Advent of Computing: Episode 148 - Is BLISS Ignorance?

Pattern Matching in AI Compilers and Its Formalization (Extended Version)

30 Years, from Compilation Student to Decompilation Pioneer – Cristina Cifuentes [video]

Lightstorm: Minimalistic Ruby Compiler

MultiQueue-Based FPGA Routing: Relaxed A* Priority Ordering-Improved Parallelism [pdf]

State of Clang as a C and C++ Compiler – Aaron Ballman, 2024 LLVM Dev Meeting [video]

Programming and reasoning about actors that share state

The Key to Effective UDF Optimization: Before Inlining, First Perform Outlining [pdf]

Strong Components and Weak Components: 2024 Annual Christmas Lecture, Don Knuth [video]

2024 LLVM Developers' Meeting Videos

"Communicating Chorrectly with a Choreography" is out

From Gates to Pixels: Making Your Own Graphics Hardware [video]

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

15
16
17
18
19
20
21
22
23
24