Stories by matt_d

BYO: A Unified Framework for Benchmarking Large-Scale Graph Containers

Linear Temporal Logic (LTL) Tutor

Reader Q&A: What does it mean to initialize an int?

An SVE backend for astcenc (Adaptive Scalable Texture Compression Encoder)

MLIR – Defining Patterns with PDLL

Databases on Modern Networks: A Decade of Research That Now Comes into Practice [pdf]

Breaking Barriers Expanding GPU Memory w/Sub-Two Digit ns Latency CXL Controller

Extending FPGA Information Leaks with Trojan Phantom Circuits [pdf]

Compile-Time Analysis of Compiler Frameworks for Query Compilation

Zen 5's 2-ahead branch predictor: how a 30 year old idea allows for new tricks

Lean4Lean: Formalizing the type theory of Lean – Mario Carneiro [video]

Cloud-Native DBs and Unikernels: Reimagining OS Abstractions for Modern Hardware [pdf]

An Overview of the Fortran Standard: Fortran 2023 and Beyond [video]

Type-safe Nanopasses: How to write a safe and modern compiler front-end [video]

Programming Language Design and Implementation (PLDI) 2024 Videos

Exploring FPGA designs for MX and beyond

Modal Effect Types

Mini-JVM: Educational Implementation of a Simplified Java Virtual Machine (JVM)

Mining JIT traces for missing optimizations with Z3

Living the Loopless Life: Techniques for Removing Explicit Loops and Recursion [video]

14
15
16
17
18
19
20
21
22
23