Stories by matt_d

DRAMHiT: A Hash Table Architected for the Speed of DRAM

AVX-512 conflict detection without resolving conflicts

JIT Compilers 102

Translation Validation of Tensor Compilers

Lambda Capabilities

Michael Stonebraker – DBOS: A Database-Oriented Operating System

Research for Practice: The Fun in Fuzzing

Looplets: A Language for Structured Coiteration

Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations [pdf]

Bringup-Bench: benchmarks for bringing up CPUs, accelerators, compilers, OSes

Industrial Deployment of Compiler Fuzzing Techniques for GPU Shading Languages [pdf]

Program Reconditioning: Avoiding Undefined Behavior When Finding and Reducing [pdf]

Type Safety in 10 Easy, 4 Medium, and 1 Hard Lemma using Step-indexed LRs

Synthesizing Quantum-Circuit Optimizers

Using COBOL to make a video game

Adding a new RISC-V extension (to spike)

On the design of a gradual dependently typed language for programming

Flap: A Deterministic Parser with Fused Lexing

Better Together: Unifying Datalog and Equality Saturation

Register Tiling for Unstructured Sparsity in Neural Network Inference [pdf]

50 51 52 53 54 55 56 57 58 59