Stories by matt_d

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

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

40
41
42
43
44
45
46
47
48
49