Stories by matt_d

A Functional Reboot for Deep Learning

Fast and Reliable DWARF Unwinding, and Beyond

NetCAT: Practical Cache Attacks from the Network

SMT-COP: Defeating Side-Channel Attacks on Execution Units in SMT Processors

Four Kinds of Scoping in R

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

79
80
81
82
83
84
85
86
87
88