Stories by matt_d

Things to Know About GNU Readline

The SuperH-3, part 14: Patterns for function calls

From Programs to Deep Models – Part 1

Intro to Empirical Software Engineering: What We Know We Don't Know (GOTO 2019)

Counting Immutable Beans: Reference Counting for Purely Functional Programming

ECOOP 2019 Videos

Where do interrupts happen?

The SuperH-3, part 12: Calling convention and function prologues/epilogues

Design of Secure Processor Architectures – CHES 2019 Tutorial

2GRVI Phalanx at Hot Chips 31 (2019): The First Kilocore RISC-V RV64I with HBM2

The SuperH-3, part 11: Atomic operations

Write Fuzzable Code

Sushi Roll: A CPU research kernel with minimal noise for microarch introspection

Corundum: Open-source, high-performance, FPGA-based NIC

Tic Tac Types: A Gentle Introduction to Dependently Typed Programming

Safety at Speed: In-Place Array Algorithms from Pure Functional Programs

Faster threshold queries with cache-sensitive scancount

Enabling Standalone FPGA Computing

IODINE: Verifying Constant-Time Execution of Hardware

The SuperH-3, part 10: Control transfer

81
82
83
84
85
86
87
88
89
90