@article{gaher_etal_simuliris_2022,
 title = {Simuliris: a separation logic framework for verifying concurrent program optimizations},
 author = {G{\"a}her, Lennard and Sammler, Michael and Spies, Simon and Jung, Ralf and Dang, Hoang-Hai and Krebbers, Robbert and Kang, Jeehoon and Dreyer, Derek},
 year = {2022},
 doi = {10.1145/3498689},
 journal = {Proceedings of the ACM on Programming Languages},
 volume = {6},
 number = {POPL},
 articleno = {28},
 url = {https://iris-project.org/pdfs/2022-popl-simuliris.pdf}
}