4 papers
Iris in Lean
Markus de Medeiros, Sergei Stepanenko, Zongyuan Liu +9
The Iris framework for concurrent separation logic has been widely used for program verification research. An important factor contributing to the framework's adoption is its high-…
Disordered arcs and Harer stability
Oscar Harr, Max Vistrup, Nathalie Wahl
We give a new proof of homological stability with the best known isomorphism range for mapping class groups of surfaces with respect to genus. The proof uses the framework of Randa…
Genetic Programming with Local Scoring
Max Vistrup
We present new techniques for synthesizing programs through sequences of mutations. Among these are (1) a method of local scoring assigning a score to each expression in a program,…
Secondary homological stability for mapping class groups of nonorientable surfaces
Max Vistrup
Using the Galatius--Kupers--Randal-Williams framework of cellular -algebras, we prove a secondary stability theorem for mapping class groups of nonorientable surfaces. As a co…