Stories by matt_d

A Low-Level Look at A-Normal Form

The Long Way to Deforestation: A Type Inference and Elaboration Technique…

Snapshottable Stores

Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results [pdf]

Hylo: The Safe Systems and Generic-Programming Language Built on Value Semantics [video]

Batches for Recursive Data Structures

Cloaca: A Concurrent Hardware GC for Non-Strict Functional Languages

Our slowly growing Unix monoculture

ADSP Episode 197: Algorithms and Tersity with Aaron Hsu

DARPA: Translating All C to Rust (TRACTOR): Proposers Day Presentations [video]

Data Races and Memory Safety

Convex Optimization in the Age of LLMs

FUNARCH 2024: International Workshop on Functional Software Architecture

Concurrent Data Structures Made Easy

What is a place expression?

Exploring GPU-to-GPU Communication: Insights into Supercomputer Interconnects

RealtimeSanitizer: A real-time safety testing tool for C and C++ projects

CXL and the Return of Scale-Up Database Engines

A Programming Model for Disaggregated Memory over CXL

6
7
8
9
10
11
12
13
14
15