matt_d 的提交内容

INTERCAL Rides Again – Restoring a Lost Compiler

Understanding Memory Management, Part 6: Basic Garbage Collection

Uniqueness for Behavioural Types

TPDE: A Fast Adaptable Compiler Back-End Framework

The missing guide to Dataflow Analysis in MLIR

Current Continuation E2: Satnam Singh (Groq) [video]

Games on ARM64: Introduction to FEX EMU, a fast usermode x86-64 emulator [video]

Bidirectional typing with unification for higher-rank polymorphism

DWARF as a Shared Reverse Engineering Format

Finite-Choice Logic Programming (POPL 2025) [video]

Data-Driven Loop Fusion

Brute E-Graphs Modulo Theories 2: Extraction, Proofs, and Context

Workload-Aware Cloud Efficiency:A Large-Scale Empirical Study of Cloud Workloads

Against Curry-Howard Mysticism

Maximal Simplification of Polyhedral Reductions (POPL 2025) [video]

Prime Path Coverage in the GNU Compiler Collection

Oodle 2.9.14 and Intel 13th/14th gen CPUs

Current Continuation E1: Ranjit Jhala (UCSD) [video]

Algebraic Type Theory, Part 1: Martin-Löf Algebras

Memory-Centric Computing: Solving Computing's Memory Problem

Programming Models for Correct and Modular Distributed Systems

FCCM 2025

Global Hash Tables Strike Back! An Analysis of Parallel GROUP BY Aggregation

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting

Comparing Parallel Functional Array Languages: Programming and Performance

Insights into DeepSeek-V3: Scaling Challenges and Reflections on Hardware for AI

Amortized Analysis as a Cost-Aware Abstraction Function

Chapter 2: Serializability Theory (1987 Concurrency Control Book)

SoK: Challenges and Paths Toward Memory Safety for eBPF [pdf]

Rod Burstall: In Memoriam