@article{namakonov-2026-lawyer, title={Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic}, volume={10}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3798240}, DOI={10.1145/3798240}, number={OOPSLA1}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Namakonov, Egor and Fasse, Justus and Jacobs, Bart and Birkedal, Lars and Timany, Amin}, year={2026}, month=Apr, pages={1099–1125} }