Stories by matt_d

Spelunking in the Turing Tarpit: Expedition Through an Esoteric Landscape

GCC 9.1 Released

GCC 9: Link-time and inter-procedural optimization improvements

How to make a programming language out of an algebra

Nanosecond-Level Clock Synchronization in a Data Center – Stanford Seminar

Greybox Fuzzing with Grammars

How LLVM Optimizes Geometric Sums

MLIR Tutorial: Building a Compiler with MLIR – EuroLLVM 2019

Boolean Circuits are Neural Networks

MLIR: Multi-Level Intermediate Representation for Compiler Infrastructure

A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture

A Checklist Manifesto for Empirical Evaluation

ClangJIT: Enhancing C++ with Just-in-Time Compilation

Modern SAT solvers: fast, neat and underused – part 3: CDCL

Greybox Fuzzing – Generating Software Tests

Broad-Based Side-Channel Defenses for Modern Processor Architectures

Evaluation of the RIKEN Post-K Processor Simulator

Bosque Programming Language

Mitigating JIT Compilation Latency in Virtual Execution Environments

A Specialized B-Tree for Concurrent Datalog Evaluation

90
91
92
93
94
95
96
97
98
99