• Sign in
  • Sign up
conf.researchr.org / Andrew Wagner
  • ICFP 2023 profile
  • ICFP 2024 profile
  • PLDI 2022 profile
  • POPL 2024 profile
  • SPLASH 2024 profile
Andrew Wagner

Registered user since Mon 15 Jan 2024

Name:Andrew Wagner
Country:United States
Affiliation:Northeastern University
Personal website: https://www.andrewwagner.io/
Research interests:Programming Languages

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
xTue 17 Jun 19:52
using conf.researchr.org (v1.69.0)
Support page
Sign Up