Stories by matt_d

ImPlot: Advanced 2D Plotting for Dear ImGui

Highlights from FCCM 2020

Rust Verification Tools

Idris 2: Quantitative Type Theory in Action

Software Verification Literature Review

Numerical Behavior of the NVIDIA Tensor Cores

A History of Nvidia Stream Multiprocessors

peepmatic: a DSL and compiler for peephole optimizers for Cranelift

Reducing jitter on Linux with task isolation

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

80 81 82 83 84 85 86 87 88 89