Published November 10, 2021 | Version v1
Software Open

Coq development for "Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations"

Creators

  • 1. MPI-SWS
  • 2. Radboud University Nijmegen
  • 3. KAIST

Description

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. 

Files

simuliris.zip

Files (2.3 GB)

Name Size Download all
md5:c9a2a138e579f847f468192f7f7cdec7
2.3 GB Preview Download