Stories by matt_d

Compiling Neural Networks for a Computational Memory Accelerator

Cpp-Taskflow: A General-Purpose Parallel and Heterogeneous Task System at Scale

Binary Rewriting Without Control Flow Recovery [pdf]

How the Father of FinFETs Helped Save Moore’s Law

A Scalable Validation of Binary Lifters [pdf]

Teaching Compilers

The New Clang _ExtInt Feature Provides Exact Bitwidth Integer Types

Project Yin-Yang for SMT Solver Testing

Build systems à la carte: Theory and practice (JFP 2020 Extended Version)

Debug Information Validation for Optimized Code [pdf]

Uncovering multicore interference

Fast Static Symbol Table (FSST): efficient random-access string compression

Generating Random Floating-Point Numbers by Dividing Integers: A Case Study

Formal Verification Tool Competitions

Inside the Am2901: AMD's 1970s bit-slice processor

Micro C, Part 3: Generating LLVM

Graph Similarity and its Applications to Hardware Security

Principles of Programming Languages – Lectures – Matthias Felleisen

The Increasing Heterogeneity of Cloud Hardware and What It Means for Systems

PMEvo: Portable Inference of Port Mappings for Out-of-Order Processors [pdf]

81 82 83 84 85 86 87 88 89 90