Stories by matt_d

Using Formal Methods to Eliminate Exploitable Bugs – Kathleen Fisher

Introducing Computer Architecture Podcasts

Gradient descent for wide two-layer neural networks – I: Global convergence

The Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Prob.Dist

Virtual Conference on Programming Language Design and Implementation (PLDI) 2020

Die analysis of the 8087 math coprocessor's fast bit shifter

The Construction and Use of C++ Algorithms – Ben Deane, MUC++ 2020

StoneCutter: A Very High Level Instruction Set Design Language

Security Issues and Challenges for Virtualization Technologies

GHC (Glasgow Haskell Compiler: STG, Cmm, asm) illustrated

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

78 79 80 81 82 83 84 85 86 87