Stories by matt_d

DBOS: A DBMS-oriented Operating System [pdf]

Performance Counters I’d Like to See – Part II

Performance Counters I’d Like to See – Part I

The Danger of Atomic Operations

Are You Sure You Want to Use MMAP in Your Database Management System?

Provably space-efficient parallel functional programming

ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) 2022

A Survey of JSON-Compatible Binary Serialization Specifications

The Motivation for Chiplets and Their Adoption in AMD Processors – Gabriel Loh

Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers

Profile Inference Revisited

Are You Sure You Want to Use MMAP in Your Database Management System? [pdf]

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

52
53
54
55
56
57
58
59
60
61