@proceedings{jung_2020_3597244, title = {{The Future is Ours: Prophecy Variables in Separation Logic}}, year = 2020, publisher = {Zenodo}, month = jan, doi = {10.1145/3371113}, url = {https://doi.org/10.1145/3371113} }