matt_d 的提交内容

Soft GPGPU versus IP Cores: Quantifying and Reducing the Performance Gap

Deep Dive into Ownership in Mojo

Interactive Theorem Proving, Guest Lecture – Introduction to HOL [video]

LDB: An Efficient Latency Profiling Tool for Multithreaded Applications

Sharpening a lower bound with KnownBits information

Fortifying Rust's FFI with Enscapsulated Functions – Leon Schuermann [video]

Deep Dive into Ownership in Mojo

Minimal MLIR: A minimal (really) out-of-tree MLIR example

The Borrow Checker Within

Circle C++ with Memory Safety

Arm Scalable Matrix Extension (SME) Introduction

Energy: Rewriting the Possibilities

BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework

Rotten Green Tests in Google Test

What Ownership Is About: A Mental Model Approach

Generalized Optimization Modulo Theories

(De/Re)-Composition of Data-Parallel Computations via Multi-Dim. Homomorphisms

Optimizing Layout of Recursive Datatypes with Marmoset

Implementing grevmul with GF2P8AFFINEQB

Rethinking the kernel system call entry

Oxidizing OCaml with Modal Memory Management [pdf]

Being Lazy When It Counts: Practical Constant-Time Memory Management for FP

Performance, Power Efficiency, and Programmability of AMD Matrix Cores

CloverLeaf on Intel Multi-Core CPUs: A Case Study in Write-Allocate Evasion

GhOST: a GPU Out-of-Order Scheduling Technique for Stall Reduction [pdf]

Efficient and Generic Microarchitectural Hash-Function Recovery

Herbie, the Numerical Compiler

Beyond Trees: Calculating Graph-Based Compilers [pdf]