Stories by matt_d

Can’t Invert the CDF? Triangle-Cut Parameterization of the Region Under Curve

Programming Language Design and Implementation (PLDI) 2020 Proceedings

HOPL IV: History of Programming Languages Papers

Thriving in a Crowded and Changing World: C++ 2006–2020 – Bjarne Stroustrup [pdf]

Learning Input Tokens for Effective Fuzzing [pdf]

Vectorization cost modeling for NEON, AVX, and SVE

2020 Eckert-Mauchly Award Lecture – Luiz André Barroso

Structural Language Models of Code

Optimizing CRC32 for small payload sizes on x86

Prefetching in Functional Languages [pdf]

“Improving Compiler Construction Using Formal Methods” – Jubi Taneja

Alive2 Part 2: Tracking miscompilations in LLVM using its own unit tests

The Fine-Grained Complexity of Andersen's Pointer Analysis

ACM ByteCast

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

77 78 79 80 81 82 83 84 85 86