matt_d 的提交内容

Pydrofoil: Accelerating Sail-based instruction set simulators

A Patchwork of Clang Patches

Pulse: Proof-oriented Programming with Concurrent Separation Logic in F* [video]

Distance-Based ISA for Efficient Register Management

Extended User Interrupts (xUI): Fast and Flexible Notification without Polling

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libs

Banked Memories for Soft SIMT Processors

Analyzing Modern NVIDIA GPU cores

Ratte: Fuzzing Multi-Level Compilers Using Composable Semantics [pdf]

The Cost of Garbage Collection for State Machine Replication

Formalising CXL Cache Coherence [pdf]

Calculate Throughput with LLVM's Scheduling Model

MIT Programming Languages Review Workshop 2025: Registration Open

tmp.0ut Volume 4

The Calculated Typer

Relocation Generation in Assemblers

Scanning HTML at Gigabytes per Second on Arm Processors

Arm M-Profile Assembly Tricks

Compiling C++ with the Clang API

SQL Engines Excel at the Execution of Imperative Programs [pdf]

The Case for DBMS Live Patching [pdf]

Substructural Parametricity

Spineless Traversal for Layout Invalidation

A Priori Loop Nest Normalization: Automatic Loop Scheduling in Complex Apps

Exploring the Wafer-Scale GPUs [pdf]

Recursive Subtyping for All

How much is in a square? Calculating functional programs with squares