matt_d 的提交内容

Speeding up C builds: Discarding the Batch Paradigm, Part 1

Microarchitectural comparison and in-core modeling of state-of-the-art CPUs

Microarchitecture and Hardware Security Research at USENIX Security 2024

Linear Doesn't Mean Easy: Applied linear algebra is much harder than advertised

Safe C++

What's in an e-graph?

Possibly all the ways to get loop-finding in graphs wrong

Sanitize your C++ containers: ASan annotations step-by-step

Errors from `close`

Wasm-R3 Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks

Very few problems are in NP intersect coNP but not known to be in P.

Automated feature testing of Verilog parsers using fuzzing

BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code

How to evaluate performance of LLM inference frameworks

Hardware Acceleration of LLMs: A comprehensive survey and comparison

Mix Testing: ABI Compatibility of C/C++ Atomics Implementations

How to wrap a C compiler and preprocessor, really

A Low-Level Look at A-Normal Form

The Long Way to Deforestation: A Type Inference and Elaboration Technique…

Snapshottable Stores

Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results [pdf]

Hylo: The Safe Systems and Generic-Programming Language Built on Value Semantics [video]

Batches for Recursive Data Structures

Cloaca: A Concurrent Hardware GC for Non-Strict Functional Languages

Our slowly growing Unix monoculture

ADSP Episode 197: Algorithms and Tersity with Aaron Hsu

DARPA: Translating All C to Rust (TRACTOR): Proposers Day Presentations [video]

Data Races and Memory Safety

Convex Optimization in the Age of LLMs