Chris Wagner


Formal Methods and Distributed Systems

I like to build systems that work. My interests are in distributed systems, formal methods, synthesis, generative programming, and information security. My current research focuses on modeling and verifying provably-correct distributed systems.


Publications
Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions. C. Wagner, N. Jaber, and R. Samanta.
In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2023.
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification. N. Jaber, C. Wagner, S. Jacobs, M. Kulkarni, and R. Samanta.
In Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2023.
Extended version available on arXiv.
HACCLE: Metaprogramming for Secure Multi-Party Computation. Y. Bao, K. Sundararajah, R. Malik, Q. Ye, C. Wagner, N. Jaber, F. Wang, M. Ameri, D. Lu, A. Seto, B. Delaware, R. Samanta, A. Kate, C. Garman, J. Blocki, P. Letourneau, B. Meister, J. Springer, T. Rompf, and M. Kulkarni
In Generative Programming: Concepts and Experiences (GPCE) 2021.
Extended version available on arXiv.
QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems. N. Jaber, C. Wagner, S. Jacobs, M. Kulkarni and R. Samanta.
In Object-Oriented Programming, Systems, Languages and Applications (OOPSLA) 2021.
Extended version available on arXiv.
Parameterized Verification of Systems with Global Synchronization and Guards. N. Jaber, S. Jacobs, C. Wagner, M. Kulkarni and R. Samanta.
In Computer Aided Verification (CAV) 2020.
Extended version available on arXiv.
News
February 2023 Our paper Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions was accepted to OOPSLA 2023!
July 2022 I co-presented an invited tutorial with Roopsha Samanta and Nouraldin Jaber at PLDI 2022 in San Diego, CA. (video)