Stories by matt_d

Open Sourcing Microsoft's C++ Standard Library Implementation

A Million Lines of Proof About a Moving Target - seL4: Experiences in a Decade

Easy Abstract Interpretation with SPARTA (Strange Loop 2019)

“Parser Parser Combinators for Program Transformation” by Rijnard van Tonder

“Performance Matters” by Emery Berger (Strange Loop 2019)

Parallel GCC: a research project aiming to parallelize a real-world compiler

On the Design, Implementation and Use of Laziness in R [pdf]

ChocoPy: A Programming Language for Compilers Courses

Oral History of Fred Brooks Jr.

RE-gem5: Building Sustainable Research Infrastructure

Compiling PL/SQL Away

Steel: A Concurrent Separation Logic Framework to Scale Up Verification in F*

Tea: High-Level Language and Runtime for Automating Statistical Analysis [video]

Galois Inc. Tech Talk: A Verified LL(1) Parser Generator

A Functional Reboot for Deep Learning

Fast and Reliable DWARF Unwinding, and Beyond

NetCAT: Practical Cache Attacks from the Network

SMT-COP: Defeating Side-Channel Attacks on Execution Units in SMT Processors

Four Kinds of Scoping in R

First-class Dynamic Types

112 113 114 115 116 117 118 119 120 121