Stories by matt_d

First-class Dynamic Types

Weisfeiler-Lehman Graph Kernel for Binary Function Analysis

Efficient Fail-Fast Dynamic Subtype Checking [pdf]

Intel Processor Trace Part 3: Analyzing Performance Glitches

Compiler Fuzzing: How Much Does It Matter?

Lexical and Dynamic Scope

Project Everest: Advancing the science of program proof

Dahlia: Predictable Accelerator Design with Time-Sensitive Affine Types [pdf]

Modulo scheduling with rational initiation intervals

Persistent Memory Programming on Conventional Hardware

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

127 128 129 130 131 132 133 134 135 136