Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Christopher Wagner
conf.researchr.org general profile
PLDI 2022 profile
SPLASH 2021 profile
SPLASH 2023 profile
Registered user since Thu 23 Sep 2021
Name:
Christopher Wagner
Country:
United States
Affiliation:
Purdue University
Contributions
2023
SPLASH
Author of Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions within the OOPSLA-track
2022
PLDI
Presenter of Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning within the Tutorials-track
2021
GPCE
Author of HACCLE: Metaprogramming for Secure Multi-Party Computation within the GPCE-track
SPLASH
Author of QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems within the OOPSLA-track
Share
x
Fri 8 Nov 22:50