Christopher Wagner -

Registered user since Thu 23 Sep 2021

Name:Christopher Wagner

Country:United States

Affiliation:Purdue University

Contributions

SPLASH 2023	Author of Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions within the OOPSLA-track
PLDI 2022	Presenter of Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning within the Tutorials-track
GPCE 2021	Author of HACCLE: Metaprogramming for Secure Multi-Party Computation within the GPCE-track
SPLASH 2021	Author of QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems within the OOPSLA-track