Our work on Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications has been published in TOPLAS 🎉