Introducing the AI Governance and Regulatory Archive (AGORA): An Analytic Infrastructure for Navigating the Emerging AI Governance Landscape. - Zachary Arnold; Daniel S. Schiff; Kaylyn Jackson Schiff; Brian Love; Jennifer Melot; Neha Singh; Lindsay Jenkins; Ashley Lin; Konstantin Pilz; Ogadinma Enweareazu; Tyler Girard (AIES (1), 2024)

Foundational Integration Verification of a Cryptographic Server. - Andres Erbsen; Jade Philipoom; Dustin Jamner; Ashley Lin; Samuel Gruetter; Clément Pit-Claudel; Adam Chlipala (Proc. ACM Program. Lang., 2024)