matt_d 的提交内容

X Window System at 40

Realizing the AMD Exascale Heterogeneous Processor Vision – ISCA 2024

SQLite: How it works, by Richard Hipp [video]

Making self-adjusting data structures concurrent - Google TechTalk - V. Aksenov

FTTN: Feature-Targeted Testing for Numerical Properties of Matrix Accelerators

A proof of proof by infinite descent

A survey of general-purpose polyhedral compilers

Optimizing Distributed Protocols with Query Rewrites

International Conference on Functional Programming ICFP 2024 Accepted Papers

Falcon: A Scalable Analytical Cache Model

Misconceptions about loops in C

The C Standard Charter

A Case for Parallel-First Languages in a Post-Serial, Accelerated World [video]

Indirector: High-Precision Branch Target Injection Attacks Exploiting the IBP [pdf]

Writing an IR from Scratch and survive to write a post

Deriving Dependently-Typed OOP from First Principles

2024 EuroLLVM Developers' Meeting Videos

Control Structures, English Translation of Lectures by Xavier Leroy

Compiling with Abstract Interpretation

Programming Language Design and Implementation (PLDI) 2024 Proceedings

When Is Parallelism Fearless and Zero-Cost with Rust?

Always Measure One Level Deeper

Closure-Free Functional Programming in a Two-Level Type Theory

Oregon Programming Languages Summer School (OPLSS) 2024 Lectures

Sequential Search, Correctly

Type Theory Forall #39: Equality, Quotation, Bidirectional Type Checking

Path Generics in Rust: A Sketch Proposal for Simplicity and Generality

Correctly Compiling Proofs About Programs Without Proving Compilers Correct [pdf]

Data Structures and Algorithms, Correctly

Arithmetic Formats for Machine Learning – Report from IEEE WG P3109 – ARITH 2024 [pdf]