All the Binaries Together: A Semantic Approach to Application Binary Interfaces

Explore a conference talk that delves into the challenges of interoperability between languages and libraries, focusing on Application Binary Interfaces (ABIs). Examine the current limitations of ABIs in providing expressivity and safety guarantees, and discover a proposed vision for semantic ABIs using realizability models. Learn how this approach could enhance safer interoperability and library integrations. Follow the speakers as they present a case study formalizing the ABI of a simple functional source language in terms of a reference counting target implementation, demonstrating the potential of this semantic approach to bridge the gap between high-level types and low-level code behavior.