Stories by matt_d

A Survey of Programming Language Memory Models [pdf]

Undefined Behavior deserves a better reputation

Journal of Functional Programming moving to open access

Solver-Aided Constant-Time Hardware Verification [pdf]

Understanding a Modern Multi-Core Processor – Kayvon Fatahalian, Stanford

IOPS (I/O operations per second) are dumb

Software-Defined Vector Processing on Manycore Fabrics

SiliFuzz: Fuzzing CPUs by Proxy [pdf]

ELF dynamic linking: a brief introduction

Integrating Usability into Programming Language Design – SLE 2021 Keynote Talk

How Statically-Typed Functional Programmers Write Code

Miss-Optimized Memory Systems-Turning Thousands of Outstanding Misses into Reuse

The Return of the Unix Shell

SimEng: A framework for building modern cycle-accurate processor simulators

Unified Shader Programming in C++

CompilerGym: A reinforcement learning toolkit for compiler optimizations

Accuracy of Mathematical Functions in Single, Double, Ext. Double and Quad Prec

A New Medium for Communicating Research on Programming Languages

Polygeist: MLIR Polyhedral Compiler for C and C++

Applications of Formal Methods in Computer Architecture

60 61 62 63 64 65 66 67 68 69