Stories by matt_d

Unboxed Types for OCaml

Next-Paradigm Programming Languages (Onward! 2019)

Optimizing Data-Intensive Computations in Existing Libraries w/Split Annotations

AddressSanitizer (ASan) for Windows with MSVC

CompCertM: CompCert w/ Lightweight Modular Verification & Multi-Language Linking

OR1K Marocchino a Tomasulo Implementation

Interprocedural Optimizations in GCC

Parallel Nondeterministic Programming as a Language Extension to C

Floorplan: Spatial Layout in Memory Management Systems

raw wasm: making a maze race, part 1

First-class Dynamic Types (DLS 2019)

Untangling the web: Memory management in Chrome’s web platform implementation

Liquid Types vs. Floyd-Hoare Logic

Optimal Column Layout for Hybrid Workloads [pdf]

A Talk Near the Future of Python

C++20: What's in it for you? - CppCon 2019 - Marc Gregoire

The Differentiable Curry

The Earliest Unix Code: An Anniversary Source Code Release

What Type Soundness Theorem Do You Want to Prove?

The inner magic behind the Z3 theorem prover

93 94 95 96 97 98 99 100 101 102