Stories by matt_d

MLIR – Lowering Through LLVM

Rethinking Compiler Technology in a Heterogeneous World – L1: Auto-Tuning/ML [video]

PEP 733 – An Evaluation of Python's Public C API

Pre-RFC: WebAssembly Heap Types – Language Design

WebAssembly Support for OCaml: Introducing Wasm_of_Ocaml

Why Do Peephole Optimizations Work

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

19
20
21
22
23
24
25
26
27
28