Stories by matt_d

Programming Language Foundations in Agda – Part 3: Denotational Semantics

Differentiable Programming in JavaScript

People of Systems and Architecture: James Mickens

Hell Oh World! Revisiting the first program we write in C – Siddhesh Poyarekar

Complete spatial safety for C and C++ using CHERI capabilities

Foundations of Separation Logic

Ask Me Anything with Chris Lattner, hosted by Cristian Cadar (PLDI 2020)

Ask Me Anything with Bjarne Stroustrup, hosted by John Regehr (PLDI 2020)

Domain-Specific Multi-Level IR Rewriting for GPU

Programming Languages as Objects in Nature

Writing an LLVM Optimization

Type Safety in Two Easy Lemmas

Contrastive Code Representation Learning

Demystifying the Real-Time Linux Scheduling Latency

FPnew: An Open-Source Multi-Format FPU Architecture

Don't Panic: Better, Fewer, Syntax Errors for LR Parsers

A brief introduction to Iris: a powerful framework for concurrency reasoning

Hardware Acceleration of Sparse and Irregular Tensor Computations of ML Models

Principles of Programming Languages (1997) [pdf]

Dependently-Typed Compilers Don't Go Wrong

75 76 77 78 79 80 81 82 83 84