ACM SIGPLAN Distinguished Paper Award
Award Date
Organization
Award Recipient(s)
Fractional Resources in Unbounded Separation Logic
Thibault Dardinier, Peter Müller, Alexander J. Summers
Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) 2022, Proc. ACM Program. Lang.