Stories by matt_d

Stretching the Reach of Implicitly Typed Variables in C#

How Relocations and Thread Local Store are Implemented

A New Doctrine for Hardware Security

Reactive Probabilistic Programming

Using Design Alternatives to Learn About Data Organizations

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

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

56
57
58
59
60
61
62
63
64
65