Stories by matt_d

Looking at Silicon – Ken Shirriff

Rust Design-for-Testability: A Survey

Tidy Tuples and Flying Start: Fast Compilation and Exec of Rel. Queries in Umbra [pdf]

Hardware-Based Always-On Heap Memory Safety [pdf]

Random Testing for C and C++ Compilers with YARPGen [pdf]

Permutable Compiled Queries: Dynamically Adapting Queries Without Recompiling [pdf]

Dataflow-based Pruning for Speeding up Superoptimization [pdf]

Arm’s Transactional Memory Extension support in gem5

Prototyping with Python: Coding Effective Testing Tools Within Minutes

On Using MLIR for Verona

The Importance of End-to-End Thinking in System Design

Just Write the Parser

Probabilistic Programming with CuPPL

MLIR Support for Sparse Tensors

World Age in Julia: Optimizing Method Dispatch in the Presence of Eval

Handling Bidirectional Control Flow

Refinement Types: A Tutorial

Specification and verification in the field: Applying formal methods to BPF JITs [pdf]

Correctness of a compiler for arithmetic expressions in Lean

Compiling Chapel: Keys to Making Parallel Programming Productive at Scale - PACT

71 72 73 74 75 76 77 78 79 80