Stories by matt_d

Sham: A DSL for Fast DSLs

Model Checking C++ Programs

Classical (Co)Recursion: Programming

The Lean 4 Theorem Prover and Programming Language

Native Implementation of Mutable Value Semantics

Programming Languages + Human-Computer Interaction: SPLASH 2020

Accelerator Integration for Open-Source SoC Design [pdf]

The future of programming with certified program synthesis

The Dawn of Formalized Mathematics

Static Integer Types

From Hardware Description Languages to Accelerator Design Languages

The Dawn of Formalized Mathematics

Verifying an HTTP Key-Value Server with Interaction Trees and VST

Threaded Code Generation with a Meta-Tracing JIT Compiler

Developer & User-Transparent Compiler Optimization for Interactive Applications

Architecture and Hardware Security Research – Early 2021

Static Integer Types

A Brief and Biased History of Computer Architecture (Part 2)

Interpreter Generators: A Brief Look at Existing Work

A Brief and Biased History of Computer Architecture (Part 1)

62 63 64 65 66 67 68 69 70 71