Stories by matt_d

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]

Polymorphic Perplexion

Synthesizing Neurosymbolic Programs

2020 Women's Research Day: Keynote by Susan Eggers

Reactive Probabilistic Programming

Happy Hour with Architects Ep. 1: software-based microarchitectural attacks

A Survey on Coarse-Grained Reconfigurable Architectures from a Perf. Perspective

Relocations: Fantastic symbols, but where to find them?

LLHD: Multi-Level Intermediate Representation for Hardware Description Languages

GNU Binutils: The ELF Swiss Army Knife

GCC always assumes aligned pointer accesses

75
76
77
78
79
80
81
82
83
84