Realistic Realizability: Specifying ABIs You Can Count On. - Andrew Wagner; Zachary Eisbach; Amal Ahmed 001 (Proc. ACM Program. Lang., 2024)