Stories by matt_d

Advent of Computing: Episode 140 – Assembling Code

A Dependent Nominal Type System for Static Analysis of Memory in Low Level Code

Bendable non-silicon RISC-V microprocessor

Total Denotational Semantics

Research for Practice: Deterministic Record-and-Replay

Lightweight region memory management in a two-stage language

When is causal broadcast not enough for causal memory?

FP8 data type – all values in a table

QED: A Powerful Query Equivalence Decider for SQL [pdf]

Set Operations on SAT Problems

An Imperative Language for Verified Exact Real-Number Computation

OLAP on Modern Chiplet-Based Processors [pdf]

Bf-Tree: A Modern Read-Write-Optimized Concurrent Larger-Than-Memory Range Index [pdf]

Speeding up C builds: Discarding the Batch Paradigm, Part 1

Microarchitectural comparison and in-core modeling of state-of-the-art CPUs

Microarchitecture and Hardware Security Research at USENIX Security 2024

Linear Doesn't Mean Easy: Applied linear algebra is much harder than advertised

Safe C++

What's in an e-graph?

Possibly all the ways to get loop-finding in graphs wrong

11
12
13
14
15
16
17
18
19
20