Stories by matt_d

Tracing Resources

Barbara Liskov: Finding the Great Problems – Stanford Seminar

C++ Sanitizers and Fuzzing for Windows Using New Compilers, VS, and Azure

Taxonomy of Package Management in Programming Languages and Operating Systems

GCC's Assembler Syntax

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

74
75
76
77
78
79
80
81
82
83