Stories by matt_d

What Ownership Is About: A Mental Model Approach

Generalized Optimization Modulo Theories

(De/Re)-Composition of Data-Parallel Computations via Multi-Dim. Homomorphisms

Optimizing Layout of Recursive Datatypes with Marmoset

Implementing grevmul with GF2P8AFFINEQB

Rethinking the kernel system call entry

Oxidizing OCaml with Modal Memory Management [pdf]

Being Lazy When It Counts: Practical Constant-Time Memory Management for FP

Performance, Power Efficiency, and Programmability of AMD Matrix Cores

CloverLeaf on Intel Multi-Core CPUs: A Case Study in Write-Allocate Evasion

GhOST: a GPU Out-of-Order Scheduling Technique for Stall Reduction [pdf]

Efficient and Generic Microarchitectural Hash-Function Recovery

Herbie, the Numerical Compiler

Beyond Trees: Calculating Graph-Based Compilers [pdf]

A Mess of Memory System Benchmarking, Simulation and Application Profiling

DRAMScope: Uncovering DRAM Microarchitecture and Characteristics

Efficiently Synthesizing Lowest Cost Rewrite Rules for Instruction Selection

TTFA #38: David Christiansen – Haskell, Lean, Idris, and the Art of Writing

Generic Linear Multistep Method Evaluator Using Chapel

Introduction to Agda by Jeremy Siek – Interactive Theorem Proving Guest Lecture [video]

18
19
20
21
22
23
24
25
26
27