Stories by matt_d

Supercharging Formal with E-Graphs

"Chiplets: How Small is too Small?" (DAC 2023) [pdf]

Designing Compilers for Speed with Troels Henriksen from Software Unscripted

TOSTING: Investigating Total Store Ordering on Arm [pdf]

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

20
21
22
23
24
25
26
27
28
29