Stories by matt_d

The last 5 years of V8's garbage collector

How single-iteration InstCombine improves LLVM compile time

How symbols work and why we need them – Anders Schau Knatten – NDC TechTown 2023 [video]

Advent of Computing: Episode 121 – Arguments Against Programming

First ACM Workshop on Functional Software Architecture: Videos and Papers

On the Dual Nature of Necessity in Use of Rust Unsafe Code

Protocols and Associated Types in Swift [pdf]

Teaching and Learning Compilers Incrementally [ICFP'23 Tutorial] Jeremy G. Siek [video]

Multi-phase computation as an applicative functor [video]

Formalizing, Verifying & Applying ISA Security Guarantees as Universal Contracts

Introduction to Microscaling Formats (MX) Data

Intro to LLVM and MLIR with Rust and Melior

A History of Subtyping – Benjamin C. Pierce – PLMW @ ICFP 2023 [video]

FetchBench: Systematic Identification and Characterization of Prefetchers [pdf]

SysXCHG: Refining Privilege with Adaptive System Call Filters

Qualifying System F<:

MicroHs: A Small Haskell Compiler – Lennart Augustsson [video]

Towards a Language for Defining Reusable Programming Language Components [pdf]

A correct-by-construction conversion from lambda calculus to combinatory logic

Little Tricky Logic: Misconceptions in the Understanding of LTL

24
25
26
27
28
29
30
31
32
33