Stories by matt_d

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

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)

43
44
45
46
47
48
49
50
51
52