Stories by matt_d

Gradual Typing from Theory to Practice

Towards Automated Application-Specific Software Stacks

Saving the World from Spreadsheets [video]

Ratification of the RISC-V Base ISA and Privileged Architecture Specifications

Hardware cost evaluation of the posit number system

Design and Evolution of C-Reduce (Part 1)

My First Fifteen Compilers

Exploring Type Systems for Verifying Musical Correctness

Towards Automated Application-Specific Software Stacks

A Look at the AMD Zen 2 Core

Model Checking a C++ Software Framework: A Case Study

Bridging the Latency Gap between NVM and DRAM for Latency-bound Operations

Software woven into wire: Core rope and the Apollo Guidance Computer

Formal Foundations of Serverless Computing

Finding and Understanding Bugs in Software Model Checkers [pdf]

Understanding GCC Builtins to Develop Better Tools

A Taste of Type Theory – YOW Lambda Jam 2019 – Bartosz Milewski

Secure Compilation

DuckDB, the SQLite for Analytics

Correctness Anomalies Under Serializable Isolation

98 99 100 101 102 103 104 105 106 107