Stories by matt_d

On Using MLIR for Verona

The Importance of End-to-End Thinking in System Design

Just Write the Parser

Probabilistic Programming with CuPPL

MLIR Support for Sparse Tensors

World Age in Julia: Optimizing Method Dispatch in the Presence of Eval

Handling Bidirectional Control Flow

Refinement Types: A Tutorial

Specification and verification in the field: Applying formal methods to BPF JITs [pdf]

Correctness of a compiler for arithmetic expressions in Lean

Compiling Chapel: Keys to Making Parallel Programming Productive at Scale - PACT

Security analysis of CHERI ISA [pdf]

Geometry Types for Graphics Programming [pdf]

Getting started with Differentiable Datalog (DDlog) & Rust for program analysis

Foundations of Empirical Memory Consistency Testing [pdf]

Sampling Optimized Code for Type Feedback

Instead of Rewriting Foreign Code for ML Automatically Synthesize Fast Gradients

Summarizing 12 months of reading papers

egg: Fast and Extensible E-graphs

A Novel Approach to Generate Correctly Rounded Math Libraries for New FP Rep.

65
66
67
68
69
70
71
72
73
74