Stories by matt_d

Measuring Computer Systems Is Almost Certainly Harder Than You Think

Accelerator-Level Parallelism

Program Synthesis and Semantic Parsing with Learned Code Idioms

QED at Large: A Survey of Engineering of Formally Verified Software

FBLAS: Streaming Linear Algebra on FPGA

DeepState Now Supports Ensemble Fuzzing

Rewriting Functions in Compiled Binaries

On GPUs, ranges, latency, and superoptimisers

Debin: Predicting Debug Information in Stripped Binaries

Survey and Benchmarking of Machine Learning Accelerators

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

88
89
90
91
92
93
94
95
96
97