Stories by matt_d

A Superscalar Out-of-Order x86 Soft Processor for FPGA (2017)

Dreaming of a Parser Generator for Language Design

man-pages-5.00 is released

Understanding the Glibc Heap Implementation

Code Fragment: Finding quote pairs with carry-less multiply (PCLMULQDQ)

HawkEye: Efficient Fine-grained OS Support for Huge Pages [pdf]

Principles of Programming Languages (POPL) 2019 Videos

ISA Semantics for ARMv8-A, RISC-V, and Cheri-MIPS

A Systematic Impact Study for Fuzzer-Found Compiler Bugs

Generating C code that people want to use

Beyond Worst-Case Analysis

Circle: The C++ Automation Language

nanoBench: A tool for running small microbenchmarks on recent x86 CPUs

Exploiting SIMD Asymmetry in ARM-to-x86 Dynamic Binary Translation

C4ML (Compilers for Machine Learning) Workshop at CGO 2019 – Slides

Janus: Statically-Driven Profile-Guided Automatic Dynamic Binary Parallelisation

Low-Cost Deterministic C++ Exceptions for Embedded Systems

Mesh: Compacting Memory Management for C/C++ Applications

Spectre is here to stay: An analysis of side-channels and speculative execution

Ranjit Jhala – Language-Integrated Verification

111 112 113 114 115 116 117 118 119 120