Stories by matt_d

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

RefinedC: Automating Foundational Verification of C Code with Refined Ownership

Differential Analysis of x86-64 Instruction Decoders [pdf]

Programming Language Design and Implementation (PLDI) 2021: Accepted Papers

Circuit Synthesis for Analog Computing

The Last CPU - HotOS XVIII: Hot Topics in Operating Systems (2021) [pdf]

Commodore’s Assemblers: Part 1: MOS Cross-Assembler

44
45
46
47
48
49
50
51
52
53