Stories by matt_d

DBOS: A DBMS-oriented Operating System [pdf]

Automated Code Optimization with E-Graphs

Region-Based Resource Management in Continuation-Passing Style

Two Mechanisations of WebAssembly 1.0

Linearity and Uniqueness: An Entente Cordiale [pdf]

Swift Regrets: Wrap-Up

An Empirical Lower Bound on the Overheads of Production Garbage Collectors

Mold 1.0: the first stable and production-ready release of the high-speed linker

The Compiler as a Database of Code Transformations

Systematic Analysis of Programming Languages for Spectre Attacks

What can you do with an ISA specification?

Robert Harper: “Phase Distinctions in Type Theory”

Types for Tables: A Language Design Benchmark

Parallel Logic Programming: A Sequel

Constrained Horn Clauses for Verification and Synthesis

Parallel Logic Programming: A Sequel

Do we need Undefined Behavior?

What can you do with an ISA specification?

Challenges of Resolving Merge Conflicts: A Mining and Survey Study [pdf]

Types for Tables: A Language Design Benchmark

59 60 61 62 63 64 65 66 67 68