Software Open Access
Lennard Gäher; Michael Sammler; Simon Spies; Ralf Jung; Hoang-Hai Dang; Robbert Krebbers; Jeehoon Kang; Derek Dreyer
This is the artifact for the POPL'22 paper “Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations”. It contains the Coq development mechanizing the results of the paper.
The public development repository is available at https://gitlab.mpi-sws.org/iris/simuliris.