Stories by matt_d

Revisiting RowHammer: An Experimental Analysis of Modern Devices and Mitigations [pdf]

Liquid resource types for verification and synthesis – Nadia Polikarpova

Software Profiling via Electromagnetic Side-Channel Signal

How Virtual PLDI 2020 Will Work

SonicBOOM: The 3rd Generation Berkeley Out-of-Order Machine [pdf]

“Apple II Seasons” – A 128-byte Apple II Demo by DESiRE

Decimating Array.Sort with AVX2

A Study of the Fundamental Perf. Characteristics of GPUs & CPUs for DB Analytics

Reducing {fmt} library size 4x using Bloaty McBloatface

The Nanopass Framework as a Nanopass Compiler – European Lisp Symposium 2020

Diagrams for Composing Compilers

Sham: A DSL for Fast DSLs

Synthesizing JIT Compilers for In-Kernel DSLs [pdf]

Ice Lake Store Elimination

Transistor Count: A Flawed Metric

Initial Analysis of Underhanded Source Code

A Quick Look at Impredicativity – Simon Peyton Jones, Chalmers FP Seminar Series

MMU gang wars: the TLB drive-by shootdown

Extracting ROM constants from the 8087 math coprocessor's die

Adding peephole optimization to Clang (LLVM InstCombine)

72
73
74
75
76
77
78
79
80
81