@inproceedings{jung-2015-iris, series={POPL ’15}, title={Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning}, url={http://dx.doi.org/10.1145/2676726.2676980}, DOI={10.1145/2676726.2676980}, booktitle={Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, publisher={ACM}, author={Jung, Ralf and Swasey, David and Sieczkowski, Filip and Svendsen, Kasper and Turon, Aaron and Birkedal, Lars and Dreyer, Derek}, year={2015}, month=Jan, pages={637–650}, collection={POPL ’15} }