Stories by matt_d

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

Automatic Syntax Error Recovery

OOPSLA 2020 (Object-Oriented Programming Systems, Languages, and Applications)

Small-Step Live Programming by Example

59
60
61
62
63
64
65
66
67
68