Andrew Wagner
PhD Student
Biography
Bio coming soon!
Recent publications
-
Realistic Realizability: Specifying ABIs You Can Count On
Citation: Andrew Wagner, Zachary Eisbach, Amal Ahmed . (2024). Realistic Realizability: Specifying ABIs You Can Count On Proc. ACM Program. Lang., 8, 1249-1278. https://doi.org/10.1145/3689755