Stories by matt_d

Bidirectional Typing

Enhance Performance Analysis with Intel Processor Trace

FPGA-accelerated ML inference as a service for particle physics computing

The difference between isolation levels and consistency levels

The SuperH-3, part 15: Code walkthrough

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

89
90
91
92
93
94
95
96
97
98