matt_d 的提交内容

How much is in a square? Calculating functional programs with squares

Zen 5's AVX-512 Frequency Behavior

Deadlock and Resource Leak Free Languages – Jules Jacobs [video]

Kitsune: Enabling Dataflow Execution on GPUs

A mechanically verified garbage collector for OCaml [pdf]

Notions of Stack-Manipulating Computation and Relative Monads (Extended Version)

"A Philosophy of Software Design" vs. "Clean Code"

Taxonomy of Small Floating-Point Formats

Tensor evolution: A framework for fast tensor computations using recurrences

I [[musttail]] You About a Tokenizer

How I implement SSA Form – Filip Jerzy Pizło

ROSA: Finding Backdoors with Fuzzing

Iterating Pointers: Enabling Static Analysis for Loop-Based Pointers [video]

Avi Wigderson: Reading Alan Turing [video]

Computing Tricky Probabilities

Turner, Bird, Eratosthenes: An eternal burning thread

Optimizing Datalog for the GPU

Explainable Linear Programs

Data-Oriented Exploits via Programming Language Synthesis [pdf]

PE basics: A windows executable walkthrough – File formats hexplorations 16 [video]

Formally Verified Binary-Level Pointer Analysis

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]