Stories by matt_d

Intel Processor Trace – Part 2: Better Debugging Experience

Binary Symbolic Execution with KLEE-Native

BFloat16 Processing for Neural Networks on Armv8-A

Arm's Architecture Specification Language (ASL) Interpreter

Effective Error-Handling Specification Inference via Domain Knowledge Expansion [pdf]

Golden Gate: Bridging the Resource-Efficiency Gap Between ASICs&FPGA Prototypes [pdf]

Write Fuzzable Code

An Intermediate Representation for Optimizing Machine Learning Pipelines

Original, Commented Atari 8-bit PAC-MAN Source Code

On the Relationship Between Static Analysis and Type Theory

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

99 100 101 102 103 104 105 106 107 108