Stories by matt_d

Achieving Safety Incrementally with Checked C

SweRV – An Annotated Deep Dive of the SweRV RISC-V Core

Understanding GCC Warnings

A gentle introduction to jump threading optimizations

Understanding Compiler Optimizations

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

92
93
94
95
96
97
98
99
100
101