Stories by matt_d

BinOpt – A Library for Self-Guided Runtime Binary Optimization

CoroBase: Database engine using C++20 coroutines to hide cache misses

Indirection Stream Semantic Reg. Arch. for Efficient Sparse-Dense Linear Algebra

Polyhedral Compilation for Racetrack Memories

Functional Algorithm Design, Part 1: Greedy Algorithms

CS3100 Paradigms of Programming @ IITM (OCaml and Prolog)

Foundations of Probabilistic Programming

Sound Garbage Collection for C Using Pointer Provenance

A survey of dataflow analyses in Clang

TLB hit: a podcast about systems and compilers: Episode #1: (char)0 = 0

Reliable Stack Traces, the Reality of Myth-DWARF Stack Unwinding & other stories

Towards Automated Construction of Compiler Optimizations [pdf]

Untangling Mechanized Proofs

Efficient Global Register Allocation

Guided Linking: Dynamic Linking Without the Costs

Awesome Tensor Compilers

The Usability of Ownership

Functional Algorithm Design, Part 0

Modern attacks on the Chrome browser: optimizations and deoptimizations

Plain-text summary notation for multimodal distributions

63
64
65
66
67
68
69
70
71
72