Stories by matt_d

Ahoy SAILR! A Compiler-Aware Structuring Algorithm for Binary Decompilation [pdf]

The Lazy Professor's Route to Teaching Programming Language Semantics [video]

A Cloud-Scale Characterization of Remote Procedure Calls

Facile: Fast, Accurate, and Interpretable Basic-Block Throughput Prediction

Human-Centered Programming Languages

OSI Deprogrammer: Re-conceptualizing cyberspace

Testing Compilers – The Fuzzing Book

Cascade: CPU fuzzing via intricate program generation

How to Reduce LLVM Crashes

Managed Programming Languages and Runtimes (MPLR) 2023 Proceedings

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

45 46 47 48 49 50 51 52 53 54