Stories by matt_d

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

Joining Logic, Relational, and Functional Programming

Understanding modern UEFI-based platform boot

Opportunities and Challenges of Machine Learning Accelerators in Production

How (not) to test graphics algorithms

A dive into RI5CY core internals

100 101 102 103 104 105 106 107 108 109