Stories by matt_d

The Dawn of Formalized Mathematics

Static Integer Types

From Hardware Description Languages to Accelerator Design Languages

The Dawn of Formalized Mathematics

Verifying an HTTP Key-Value Server with Interaction Trees and VST

Threaded Code Generation with a Meta-Tracing JIT Compiler

Developer & User-Transparent Compiler Optimization for Interactive Applications

Architecture and Hardware Security Research – Early 2021

Static Integer Types

A Brief and Biased History of Computer Architecture (Part 2)

Interpreter Generators: A Brief Look at Existing Work

A Brief and Biased History of Computer Architecture (Part 1)

Partial sums of blsi and blsmsk

C4: The C Compiler Concurrency Checker

An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation

RISC vs. CISC is the Wrong Lens for Comparing Modern x86, ARM CPUs

Automatic Rust verification tools (2021)

20 Years of Networks-on-Chip (NoCs)

Verifying a Quantum Compiler

The ARM processor (Thumb-2), part 1: Introduction

56
57
58
59
60
61
62
63
64
65