matt_d 的提交内容

You could have invented Fenwick trees

Dissecting the NVIDIA Hopper Architecture through Microbenchmarking

AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing [pdf]

The Future of Microprocessors • Sophie Wilson • GOTO 2024 [video]

TensorRight: Automated Verification of Tensor Graph Rewrites

Compiler Fuzzing in Continuous Integration: A Case Study on Dafny [pdf]

Analysing Futex-Based Synchronisation Primitives Using Model Checking [pdf]

CMU 15-799: Special Topics in Databases: Query Optimization (Spring 2025)

Rethinking the Producer-Consumer Relationship in Modern DRAM-Based Systems

CMU Database Query Optimization #01 – SQL Optimization Background [video]

Uncovering Real GPU NoC Characteristics: Implications on Interconnect Arch.

Understanding and improving Clang -ftime-report

Principles of Programming Languages (POPL) 2025 Proceedings

The Best of Abstract Interpretations

Extensible Query Optimizers in Practice

Stanford Lecture – Strong Components and Weak Components, Dr. Donald Knuth 2024 [video]

Finding Missed Code Size Optimizations in Compilers Using LLMs

Musings on Tracing in PyPy

Property-Based Testing for the People

This Year in LLVM (2024)

Advent of Computing: Episode 148 - Is BLISS Ignorance?

Pattern Matching in AI Compilers and Its Formalization (Extended Version)

30 Years, from Compilation Student to Decompilation Pioneer – Cristina Cifuentes [video]

Lightstorm: Minimalistic Ruby Compiler

MultiQueue-Based FPGA Routing: Relaxed A* Priority Ordering-Improved Parallelism [pdf]

State of Clang as a C and C++ Compiler – Aaron Ballman, 2024 LLVM Dev Meeting [video]