Stories by matt_d

On the Expressive Power of Programming Languages by Shriram Krishnamurthi

DIRE: A Neural Approach to Decompiled Identifier Naming [pdf]

Lowering the Latency of Data Processing Pipelines Through FPGA [pdf]

50 example uses of assertions in my code

Modern C, Second Edition

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.

86
87
88
89
90
91
92
93
94
95