ACM Principles of Programming Languages, POPL 2015

Article Details
Title: Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning
Article URLs:
Alternative Article URLs:
Authors: Ralf Jung
  • MPI-SWS
  • Saarland University
David Swasey
  • MPI-SWS
Filip Sieczkowski
  • Aarhus University
Kasper Svendsen
  • Aarhus University
Aaron Turon
  • Mozilla Research
Lars Birkedal
  • Aarhus University
Derek Dreyer
  • MPI-SWS
Sharing: Research produced artifacts
Verification: Authors have verified information
Artifact Evaluation Badge:
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
awarded
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/popl/JungSSSTBD15
Author Comments: Iris is an ongoing (open-source) project. The original Coq formalization that accompanied the POPL 2015 paper (Iris v1.0), and which received an Artifact Evaluation Badge, is available here: http://plv.mpi-sws.org/iris/distrib/. The Coq formalization of the latest version of Iris (v3.0) is available here: https://gitlab.mpi-sws.org/FP/iris-coq/. Both of the above are linked off the main Iris project page: http://iris-project.org/.

Discuss this paper and its artifacts below