Stories by matt_d

A Hitchhiker's Guide to Linearity by Daniel Marshall – Lambda Days 2023 [video]

Disintegrating Manycores: Which Applications Lose and Why?

The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog

A Proposal Fix for C/C++ Relaxed Atomics in Practice

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

26
27
28
29
30
31
32
33
34
35