Chris Wagner

Formal Methods and Distributed Systems

My goal is to use formal logic and programming languages to create reliable software, protocols, and systems. 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.

Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems. C. Wagner, N. Jaber, and R. Samanta.
Draft 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 & 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.
July 2022 I co-presented an invited tutorial with Roopsha Samanta and Nouraldin Jaber at PLDI 2022 in San Diego, CA. (video)