matt_d 的提交内容

Convex Optimization in the Age of LLMs

FUNARCH 2024: International Workshop on Functional Software Architecture

Concurrent Data Structures Made Easy

What is a place expression?

Exploring GPU-to-GPU Communication: Insights into Supercomputer Interconnects

RealtimeSanitizer: A real-time safety testing tool for C and C++ projects

CXL and the Return of Scale-Up Database Engines

A Programming Model for Disaggregated Memory over CXL

"How to Make Mathematicians into Programmers (and Vice Versa)" – Will Crichton

SIMD Matters: Graph Coloring

Introduction to Coroutines – Utah C++ Programmers 2024 – Richard Thomson [video]

Satisfiability Modulo Theories: A Beginner's Tutorial

simdjson Experimental JSON builder based on C++ reflection

Rust's Mutex, Atomics and UnsafeCell – Spooky Action at a Distance?

Soundly Handling Linearity

C++26 Preview – Jeffrey Garland – C++Now 2024 [video]

Linearizability: A correctness condition for concurrent objects

An Empirical Study of Static Analysis Tools for Secure Code Review

BYO: A Unified Framework for Benchmarking Large-Scale Graph Containers

Linear Temporal Logic (LTL) Tutor

Reader Q&A: What does it mean to initialize an int?

An SVE backend for astcenc (Adaptive Scalable Texture Compression Encoder)

MLIR – Defining Patterns with PDLL

Databases on Modern Networks: A Decade of Research That Now Comes into Practice [pdf]

Breaking Barriers Expanding GPU Memory w/Sub-Two Digit ns Latency CXL Controller

Extending FPGA Information Leaks with Trojan Phantom Circuits [pdf]