Stories by matt_d

Analyzing System Performance with Probabilistic Performance Annotations

Systems for Post-Moore Architectures Workshop 2020 – Talks

Peregrine: A Pattern-Aware Graph Mining System

Retrofitting Parallelism onto OCaml

Faasm: High-performance stateful serverless runtime based on WebAssembly

Compiling Neural Networks for a Computational Memory Accelerator

Cpp-Taskflow: A General-Purpose Parallel and Heterogeneous Task System at Scale

Binary Rewriting Without Control Flow Recovery [pdf]

How the Father of FinFETs Helped Save Moore’s Law

A Scalable Validation of Binary Lifters [pdf]

Teaching Compilers

The New Clang _ExtInt Feature Provides Exact Bitwidth Integer Types

Project Yin-Yang for SMT Solver Testing

Build systems à la carte: Theory and practice (JFP 2020 Extended Version)

Debug Information Validation for Optimized Code [pdf]

Uncovering multicore interference

Fast Static Symbol Table (FSST): efficient random-access string compression

Generating Random Floating-Point Numbers by Dividing Integers: A Case Study

Formal Verification Tool Competitions

Inside the Am2901: AMD's 1970s bit-slice processor

62
63
64
65
66
67
68
69
70
71