Stories by matt_d

Handling Bidirectional Control Flow

Refinement Types: A Tutorial

Specification and verification in the field: Applying formal methods to BPF JITs [pdf]

Correctness of a compiler for arithmetic expressions in Lean

Compiling Chapel: Keys to Making Parallel Programming Productive at Scale - PACT

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

53
54
55
56
57
58
59
60
61
62