Chris Wagner


Formal Methods and Distributed Systems

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


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.
Early 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 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)