Stories by matt_d

Secure Compilation

DuckDB, the SQLite for Analytics

Correctness Anomalies Under Serializable Isolation

Non-Lexical Lifetimes Arrives for Everyone

Are Adversarial Perturbations a Showstopper for ML-Based CAD?

The Next 700 Compiler Correctness Theorems (Functional Pearl)

Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs [pdf]

Bidirectional Type Checking – C◦mp◦se 2019 – David Christiansen

Monte Carlo Gradient Estimation in Machine Learning

Are Regular Expressions a Lingua Franca? [pdf]

GraphicsFuzz: Metamorphic Testing for Graphics Shader Compilers

LoCal: A Language for Programs Operating on Serialized Data

FPGAs Have the Wrong Abstraction for Computing

Mimalloc: Free List Sharding in Action

Branch Prediction Is Not a Solved Problem

Thirty-three Miniatures: Applications of Linear Algebra (2012) [pdf]

Lightweight Multi-Language Syntax Transformation with Parser Parser Combinators [pdf]

What’s up with my branch on GPU?

Learning Execution through Neural Code Fusion

End-User Probabilistic Programming [pdf]

85
86
87
88
89
90
91
92
93
94