Stories by matt_d

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

Visualizing Control Flow Graphs

Introduction to Neural Network Verification

CMSGen, a Fast Uniform-Like Sampler

International Symposium on Code Generation and Optimization (CGO) 2021 Talks

The Semantics of Shared Memory in Intel CPU/FPGA Systems [pdf]

Formal Verification of High-Level Synthesis [pdf]

Domain-Specific Multi-Level IR Rewriting for GPU

It's Time for Operating Systems to Rediscover Hardware

54
55
56
57
58
59
60
61
62
63