Stories by matt_d

Security analysis of CHERI ISA [pdf]

Geometry Types for Graphics Programming [pdf]

Getting started with Differentiable Datalog (DDlog) & Rust for program analysis

Foundations of Empirical Memory Consistency Testing [pdf]

Sampling Optimized Code for Type Feedback

Instead of Rewriting Foreign Code for ML Automatically Synthesize Fast Gradients

Summarizing 12 months of reading papers

egg: Fast and Extensible E-graphs

A Novel Approach to Generate Correctly Rounded Math Libraries for New FP Rep.

Fireiron: A Data-Movement-Aware Scheduling Language for GPUs

Stack-Driven Program Generation of WebAssembly [pdf]

PL Notation is a Barrier to Entry

Integrating User-Centered Methods into Programming Language Design – ICFP 2020

Automatic Generation of Models of Microarchitectures

Just-in-Time Compilation – JF Bastien – CppCon 2020

C++ Back to Basics: The Abstract Machine – Bob Steagall – CppCon 2020

The Wonderful Wizard of LoC: Line-of-Code Metrics [pdf]

Putting Randomized Compiler Testing into Production [pdf]

The Cost of Software-Based Memory Management Without Virtual Memory

Which Parsing Approach?

72 73 74 75 76 77 78 79 80 81