3 papers
cs.LO2026
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-…
cs.PL2025
Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
Zachary Grannan, Aurea Bílá, Jonáš Fiala +4
Rust's novel type system has proved an attractive target for verification and program analysis tools, due to the rich guarantees it provides for controlling aliasing and mutability…
nlin.PS2023
Spike Solutions to the Supercritical Fractional Gierer-Meinhardt System
Daniel Gomez, Markus De Medeiros, Jun-cheng Wei +1
Localized solutions are known to arise in a variety of singularly perturbed reaction-diffusion systems. The Gierer-Meinhardt (GM) system is one such example and has been the focus…