Stories by matt_d

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

EMOGI: Efficient Memory-access for Out-of-memory Graph-traversal In GPUs [pdf]

34th European Conference on Object-Oriented Programming (ECOOP 2020) Proceedings

Lowland Multimodality Detection

TLB hit: a podcast about systems and compilers – Episode 0: mov fp, sp

Towards making formal methods normal: meeting developers where they are

70 71 72 73 74 75 76 77 78 79