Stories by matt_d

OOPSLA 2018 Videos

How many uops are there?

Time is Partial: distributed consistency models and weak memory models

Programming Abstractions and Synthesis-Aided Compilation for Emerging Computing

A Systematic Evaluation of Transient Execution Attacks and Defenses

Lambda World 2018 – What FP Can Learn from Smalltalk by Aditya Siram

Trip report: Fall ISO C++ standards meeting

Zippers for non-inductive types

Transformations of High-Level Synthesis Codes for High-Performance Computing

ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS

Benchmarking “Hello, World”

Pre-trip report: Fall ISO C++ standards meeting (San Diego)

Home Chip Fab: Silicon IC Fabrication in the Garage – Sam Zeloof

Studying Silicon: Reverse Engineering Integrated Circuits – Ken Shirriff

Morbig: A Static Parser for POSIX Shell

First-Class Automatic Differentiation in Swift: A Manifesto

FaCT: A New Language for Constant-Time Programming

“All the Languages Together” – Amal Ahmed, Strange Loop 2018

Tree-sitter – a new parsing system for programming tools [video]

Big Integer Design