Stories by matt_d

A Research Retrospective on AMD's Exascale Computing Journey [pdf]

Covering All the Bases: Type-Based Verification of Test Input Generators

Efficient Parallel Functional Programming with Effects

Towards Reliable Memory Management for Python Native Extensions

Is It Time to Give Memory Allocator Its Own Room in the House?

Parallelising Control Flow in Dynamic-Scheduling High-Level Synthesis

BINO: Automatic recognition of inline binary functions from template classes

From Stacks to Trees: A new aliasing model for Rust

Topology Episode 3: Connectivity and Directed Graphs

Fifty Years of ISCA: A data-driven retrospective on key trends

“What Is Syntax?”

Programming Language Design and Implementation (PLDI) 2023 Proceedings

Squeezing a Little More Performance Out of Bytecode Interpreters

Tutorial: Teaching and Learning Compilers Incrementally

Whose Baseline (compiler) is it anyway?

Floating-point arithmetic – Acta Numerica (2023)

Half&Half: Demystifying Intel’s Directional Branch Predictors [pdf]

Machine Learning, Linear Algebra, and More: Is SQL All You Need? [pdf]

Testing a Formally Verified Compiler

Calculating Compilers for Concurrency [pdf]

23
24
25
26
27
28
29
30
31
32