Stories by matt_d

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

Moving to a provenance-aware memory object model for C: proposal for C2x

Iconic consoles of the IBM System/360 mainframes, 55 years old today

Analysis and Compilation of Parallel Programming Languages

AZM – Live ARM Assembler and Syntax Checker

Program Synthesis Meets Machine Learning

109 110 111 112 113 114 115 116 117 118