Stories by matt_d

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]

Legalizations in LLVM Back End

Principles of Dependent Type Theory [pdf]

End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT [pdf]

Agda Core: The Dream and the Reality

Modern Deduction Post 1: Datalog, Chain-Forward Computation, Relational Algebra

Mirage: A Multi-Level Superoptimizer for Tensor Programs [pdf]

Learning Performance-Improving Code Edits

Exploring 50 user interfaces for AI code suggestions

Assemblage: Automatic Binary Dataset Construction for Machine Learning

HiFi-DRAM: Enabling High-Fidelity DRAM Research by Uncovering Sense Amplifiers

12
13
14
15
16
17
18
19
20
21