Stories by matt_d

The Rise and Fall of Commercial Smalltalk

An Empirical Study on ARM Disassembly Tools [pdf]

Testing updates of POSIX timestamps

FuZZan: Efficient Sanitizer Metadata Design for Fuzzing [pdf]

Software Automatic Mouth - Mark Barton, ANTIC The Atari 8-bit Podcast Interview

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]

59
60
61
62
63
64
65
66
67
68