Stories by matt_d

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

Semantics-Guided Synthesis [pdf]

Verified Optimizations for Functional Languages

Chiplet-Based Systems

51
52
53
54
55
56
57
58
59
60