Stories by matt_d

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

What are we thinking when we present a type theory? – Peter LeFanu Lumsdaine

An Introduction to Efficient and Safe Implementations of Dynamic Languages

Query-Based Compiler Architectures

HOPL (History of Programming Languages): Not an Ordinary Conference

ISC2020 International Machine-Learning Hardware Workshop

Arm and AArch64 Assembly Resources

57
58
59
60
61
62
63
64
65
66