Christopher Wagner

Registered user since Thu 23 Sep 2021

Name:Christopher Wagner
Country:United States
Affiliation:Purdue University

Contributions

PLDI 2022 Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning
Show activities from other conferences

Using general profile