Stories by matt_d

tmp.0ut Volume 3

A Taxonomy of C Decompiler Fidelity Issues

Automatic Parallelism Management [pdf]

Wasm SpecTec: Engineering a Formal Language Standard

Principles for Automated and Reproducible Benchmarking

GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production

FuzzyFlow: Leveraging Dataflow to Find and Squash Program Optimization Bugs

MLIR – A Global Optimization and Dataflow Analysis

2023 LLVM Developers' Meeting Trip Report

Operating Systems for Far Out Memories

Trends in Deep Learning Hardware: Bill Dally (NVIDIA) [video]

Fortran optimisation and parallelisation: domain specific MLIR abstractions

Trip report: Autumn ISO C++ standards meeting (Kona, HI, USA)

Essentials of Compilation – RacketCon 2023 – Jeremy Siek [video]

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

25
26
27
28
29
30
31
32
33
34