Stories by matt_d

Domain-Specific Multi-Level IR Rewriting for GPU

Programming Languages as Objects in Nature

Writing an LLVM Optimization

Type Safety in Two Easy Lemmas

Contrastive Code Representation Learning

Demystifying the Real-Time Linux Scheduling Latency

FPnew: An Open-Source Multi-Format FPU Architecture

Don't Panic: Better, Fewer, Syntax Errors for LR Parsers

A brief introduction to Iris: a powerful framework for concurrency reasoning

Hardware Acceleration of Sparse and Irregular Tensor Computations of ML Models

Principles of Programming Languages (1997) [pdf]

Dependently-Typed Compilers Don't Go Wrong

ReversiSpec: Reversible Coherence Protocol for Defending Transient Attacks

Lightweight Preemptible Functions [pdf]

Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler [pdf]

Logic and Computation Intertwined

Learning the Language of Failure – Andreas Zeller, CASA Distinguished Lecture

Extensible Extraction of Efficient Imperative Programs

Duplo: A Framework for OCaml Post-Link Optimisation [pdf]

The x86 Advanced Matrix Extension (AMX) Brings Matrix Operations

69
70
71
72
73
74
75
76
77
78