Johannes Hostert, Zichen Zhang, Puming Liu, Simon Oddershede Gregersen, Ralf Jung, and Joseph Tassarotti. 2026. Completeness of Iris-Based Program Logics. Proc. ACM Program. Lang. 10, ICFP, Article 284 (August 2026), 36 pages. doi:10.1145/3828682
Talk at Moonstone Building, ISTA, Klosterneuburg, Tulln, Lower Austria, Austria
Talk at Schwarzman College of Computing Building, MIT, Cambridge, Middlesex, Massachusetts, United States
Talk at 六安曙光铂尊酒店, Jin'an, Lu'an, Anhui, China
Talk at 东区理化大楼东三报告厅, USTC, Baohe, Hefei, Anhui, China
Talk at 西区特种实验室报告厅, USTC, Shushan, Hefei, Anhui, China