Stories by matt_d

LLVM: Scalar Evolution (SCEV)

Illustrated A64 SIMD Instruction List: SVE Instructions

What’s New in C in 2023?

UBFuzz: Finding Bugs in Sanitizer Implementations [pdf]

The Linear Algebra Mapping Problem and how programming languages solve it [video]

smtgcc: An experimental implementation of translation validation for GCC

Function Composition in Programming Languages [video]

When Function Inlining Meets WebAssembly: Counterintuitive Impact on Performance [pdf]

Programming Language Semantics: It’s Easy As 1,2,3 [pdf]

Diagnostic Improvements in Clang 17

Pepin: Probabilistic Approximate Volume Counter

Validating JIT Compilers via Compilation Space Exploration [pdf]

CAL Timesharing System: Before computers were personal

OOPSLA 2023: Accepted Papers

A Grounded Conceptual Model for Ownership Types in Rust

Arm’s Neoverse V2

An Introduction to Interpreters and JIT Compilation

MLIR – Using Traits

FPGA-Based Deep Learning Inference Accelerators: Where Are We Standing?

Stretching the Glasgow Haskell Compiler: Nourishing GHC w/ Domain-Driven Design

35
36
37
38
39
40
41
42
43
44