Sequoia: A deep root in Linux’s filesystem layer, CVE-2021-33909 with an amazing exploit.
Cryptanalysis of Meow Hash, by Peter Schmidt-Nielsen. Features autosat.
E-Graphs Are Minimal Deterministic Finite Tree Automata (DFTAs) by Josh Pollock and Altan Haan.
The Oberon+ Programming Language, a lean, statically typed, compiled, general-purpose, procedural, object-oriented, and garbage collected programming language in the Pascal tradition, with support for generic programming