Cutting the Cake: A Language for Fair Division
Explore a groundbreaking approach to fair division protocols in this 18-minute conference talk from PLDI 2023. Delve into the world of Slice, a domain-specific language designed to address the complexities of resource allocation among multiple agents. Learn how this innovative tool converts fair division programs into logical formulas, enabling automated verification of envy-freeness and other crucial properties. Discover the sound and complete constraint generation procedure behind Slice, and examine its practical applications through a prototype implementation. Gain insights into how this language has been used to automatically check envy-freeness in various protocols from fair division literature, potentially revolutionizing the field of resource allocation and computational fairness.