Stories by matt_d

Design & Implementation of a Verified File System with End-to-End Data Integrity

Check for borrows in bitwise operations

Build simple fuzzer – part 3

Verified sequential malloc/free [pdf]

Here We Go Again: Why Is It Difficult for Developers to Learn Another Prog Lang?

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]

74
75
76
77
78
79
80
81
82
83