Stories by matt_d

Comparison of the LLVM IR generated by three binary-to-LLVM translators

Massively Parallel CAD of Nano-Transistors: When Physics Lets You Down

FuzzFactory: Domain-Specific Fuzzing with Waypoints

TASO: Optimizing DL Computation with Automatic Generation of Graph Substitutions [pdf]

Automated Verification of Query Equivalence Using Satisfiability Modulo Theories

CppCon 2019: Bjarne Stroustrup “C++20: C++ at 40”

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

78
79
80
81
82
83
84
85
86
87