Stories by matt_d

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

Well-Typed Programs Can Go Wrong-A Study of Typing-Related Bugs in JVM Compilers [pdf]

Happy Hour with Architects: Systolic Arrays with HT Kung and Cliff Young

Low-Latency Compilation of SQL Queries to Machine Code [pdf]

Reflective Towers of Interpreters

Ten Million Users and Ten Years Later: Python Tutor’s Design Guidelines [pdf]

Compilation as Multi Language Semantics – William J. Bowman

42
43
44
45
46
47
48
49
50
51