I’m a PhD student studying programming languages with Amal Ahmed in the Programming Research Laboratory at Northeastern University. Previously, I graduated from Brown University, where I was advised by Shriram Krishnamurthi and Tim Nelson. I’m broadly interested in language-based security with an eye toward language interoperability and cryptography.
email: ahwagner at ccs.neu.edu
pronouns: he/him/his
Papers
- Realistic Realizability: Specifying ABIs You Can Count On
Andrew Wagner, Zachary Eisbach, Amal Ahmed
OOPSLA 2024 - Forge: A Tool and Language for Teaching Formal Methods
Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charlie Cutting, Thomas Del Vecchio, Sidney LeVine, Julianne Rudner, Benjamin Ryjikov, Alexander Varga, Andrew Wagner, Luke West, Shriram Krishnamurthi
OOPSLA 2024 - An Incremental Approach to the Semantics of Borrowing
Brianna Marshall, Andrew Wagner, John Li, Olek Gierczak, Amal Ahmed
HOPE 2024 - All the Binaries Together: A Semantic Approach to Application Binary Interfaces
Andrew Wagner, Amal Ahmed
PriSC 2024 - Semantic Encapsulation using Linking Types
Daniel Patterson, Andrew Wagner, Amal Ahmed
TyDe 2023 - Adversary Safety by Construction in a Language of Cryptographic Protocols
Timothy M. Braje, Alice R. Lee, Andrew Wagner, Benjamin Kaiser, Daniel Park, Martine Kalke, Robert K. Cunningham, Adam Chlipala
CSF 2022 - Semantic Soundness for Language Interoperability
Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed
PLDI 2022 - Solver-Aided Multi-Party Configuration
Kevin Dackow, Andrew Wagner, Tim Nelson, Shriram Krishnamurthi, Theophilus A. Benson
HotNets 2020
Talks
- Realistic Realizability: Specifying ABIs You Can Count On
POPV Seminar, Boston University, October 2024 - Semantic Typing and Separation Logic: A Tutorial
PRL Seminar, Northeastern University, February 2024 - STL3: Toward Security via Free Theorems in a Session-Typed Linear Language with Locations
Dagstuhl Seminar 24051, February 2024 - All the Binaries Together
Software Day, Northeastern University, September 2023
Academic Service
- FCS 2024: Program Committee
- MFPS 2024: External Reviewer
- FSCD 2024: External Reviewer
- POPL 2023: PC Meeting Virtualization
- OOPSLA 2022: PC Meeting Virtualization
Teaching
- CS2500A: Fundamentals of Computer Science (Accelerated), Northeastern University
Graduate Teaching Assistant (F23, F22)
- CS1730: Programming Languages, Brown University
Head Teaching Assistant (F19, F18)
- CS1950Y: Logic for Systems, Brown University
Head Teaching Assistant (S19) , Teaching Assistant (S20, S18)
- CS1951K: Algorithmic Game Theory, Brown University
Teaching Assistant (S20)