Stories by matt_d

A shared compilation stack for distributed-memory parallelism in stencil DSLs

Getting a Handle on Unmanaged Memory

The Oregon Programming Languages Summer School (OPLSS) 2024

Effect Handlers and Mathematically Inspired Language Constructs [video]

The Intel 8088 processor's instruction prefetch circuitry: a look inside

Advanced Functional Programming in Haskell – Graham Hutton

Workshop on the Implementation of Type Systems (WITS) 2024 Talks

Declarative Program Analysis and Optimization – Reading List

Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs

Efficient Instance Resolution for Agda

Enabling Fine-Grained Incremental Builds by Making Compiler Stateful

GPU Scale-Model Simulation [pdf]

Hydra: Generalizing Peephole Optimizations with Program Synthesis [pdf]

Hardware Acceleration of Functional and Declarative Languages HAFDAL 2024 Talks

What we learned from C++ atomics and memory model standardization [video]

Verified high-level synthesis – now with hyperblocks

Functional ownership through fractional uniqueness

Some Reflections on Writing Unix Daemons

SECOMP: Formally Secure Compilation of Compartmentalized C Programs

The graphical theory of monads [pdf]

14
15
16
17
18
19
20
21
22
23