Stories by matt_d

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]

Pragmatics of Formally Verified yet Efficient Static Analysis and Compilers

Notes on Computational Learning Theory

Finding Simple Rewrite Rules for the JIT with Z3

Calculating Compilers Effectively [pdf]

Boosting Compiler Testing by Injecting Real-World Code

Arm Scalable Matrix Extension (SME) Introduction: Part 2

Towards Unified Analysis of GPU Consistency [pdf]

Whispering Pixels: Exploiting Uninitialized Register Accesses in Modern GPUs

Twenty Five Years of Warehouse-Scale Computing

ISLAB: Immutable Memory Management Metadata for Commodity OS Kernels [pdf]

8
9
10
11
12
13
14
15
16
17