Stories by matt_d

Coverage Semantics for Dependent Pattern Matching

Parametric Subtyping for Structural Parametric Polymorphism

Decompiling 2024: A Year of Resurgance in Decompilation Research

SQL or Death? Seminar Series – Spring 2025

Match Ergonomics [video]

Hash Functions: Bridging the Gap from Theory to Practice [video]

Analyzing and Exploiting Branch Mispredictions in Microcode

Mosaic GPU and Pallas: a JAX kernel language [video]

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

1
2
3
4
5
6
7
8
9
10