Stories by matt_d

Generate Compilers from Hardware Models

New Directions in Cloud Programming

The Cerberus C semantics [pdf]

A whirlwind tour of the LLVM optimizer

Semantics and Scheduling for Machine Knitting Compilers

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

31
32
33
34
35
36
37
38
39
40