Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Andrew Wagner
conf.researchr.org general profile
ICFP 2023 profile
ICFP 2024 profile
PLDI 2022 profile
POPL 2024 profile
SPLASH 2024 profile
Not registered as user yet
Name:
Andrew Wagner
Affiliation:
Northeastern University
Contributions
2024
SPLASH
Author of Forge: A Tool and Language for Teaching Formal Methods within the OOPSLA 2024-track
Author of Realistic Realizability: Specifying ABIs You Can Count On within the OOPSLA 2024-track
HOPE
Author of An Incremental Approach to the Semantics of Borrowing within the HOPE 2024-track
PriSC
Author of All the Binaries Together: A Semantic Approach to Application Binary Interfaces within the PriSC 2024-track
2023
TyDe
Author of Semantic Encapsulation using Linking Types within the TyDe 2023-track
2022
PLDI
Author of Semantic Soundness for Language Interoperability within the PLDI-track
Share
x
Tue 17 Sep 12:03