Stories by matt_d

Bounded Incoherence: A Programming Model for Non-Cache-Coherent Shared Memory [pdf]

Homoiconicity, Lisp, and Program Synthesis

Changes Between C++17 and C++20

Stark – Native Compiler – Prototype 2019

From Folklore to Fact: Comparing Implementations of Stacks and Continuations

C++ Testing and Fuzzing Resources

Preserving (more of) the history of logic programming and Prolog

2019 ACM A.M. Turing Award Laureates: Patrick Hanrahan and Edwin Catmull

Architectural Support for Programming Languages and Operating Systems ASPLOS'20

International Conference on Virtual Execution Environments (VEE) 2020 – Videos

AFLNet: A Greybox Fuzzer for Network Protocols

Modeling the Invariance of Virtual Pointers in LLVM

Fireiron: A Scheduling Language for High-Performance Linear Algebra on GPUs

ASPLOS 2020 Proceedings: Architectural Support for Programming Languages & OSes

Alive 2 Part 1: Introduction

Virtual Machine Research Overview

The Early History of F# – Don Syme – HOPL IV: History of Programming Languages [pdf]

seL4 Design Principles

Kinds are Calling Conventions

The Remarkable Utility of Dataflow Computing

98 99 100 101 102 103 104 105 106 107