matt_d 的提交内容

Chapter 2: Serializability Theory (1987 Concurrency Control Book)

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

Rod Burstall: In Memoriam

Using obscure graph theory to solve programming languages problems

What you want to know (but dare to ask) about Conjunctive Query Processing

2025 EuroLLVM Developers' Meeting

Reverse-Engineering the Address Translation Caches [pdf]

A whippet waypoint / Nofl: A Precise Immix

What Works (and Doesn't) Selling Formal Methods

6502 Illegal Opcodes in the Siemens PC 100 Assembly Manual (1980)

Writing a preloadable malloc in Rust, using MMTk

From Haskell to a New Structured Combinator Processor

Reverse Engineering DVFS Mechanisms [pdf]

Programming Language Design and Implementation (PLDI) 2025: Accepted Papers

An Interactive Debugger for Rust Trait Errors

Orders of Infinity

Ozaki Scheme II: A GEMM-oriented emulation of FP matrix multiplication using INT

The Algebra of Patterns (Extended Version)

Bring­ing ISA se­man­tics to Lean and Lean-MLIR – Léo Stefanesco [video]

Scalable Parallel Programming Languages Myths #1: Productivity and Performance

Pinpointing the Learning Obstacles of an Interactive Theorem Prover [pdf]

Packed Data Support in Haskell

RefinedRust: High-Assurance Verification of Rust Programs [video]

War on JITs: Software-based attacks and hybrid defenses for JIT compilers

AutoCorrode: Verification Infrastructure for Isabelle/HOL

Databases and Discovery in Arithmetic [video]

Multi-Grained Specs for Distributed System Model Checking and Verification

Pydrofoil: Accelerating Sail-based instruction set simulators

A Patchwork of Clang Patches

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