Carview!

CARVIEW

MOTORHOMES

Select Language

HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Tue, 20 Aug 2024 17:24:56 GMT access-control-allow-origin: * strict-transport-security: max-age=31556952 etag: W/"66c4d168-1ba7" expires: Sun, 28 Dec 2025 23:25:59 GMT cache-control: max-age=600 content-encoding: gzip x-proxy-cache: MISS x-github-request-id: 30F6:3827E5:81D10B:91C082:6951BA2F accept-ranges: bytes age: 0 date: Sun, 28 Dec 2025 23:15:59 GMT via: 1.1 varnish x-served-by: cache-bom-vanm7210080-BOM x-cache: MISS x-cache-hits: 0 x-timer: S1766963759.360906,VS0,VE221 vary: Accept-Encoding x-fastly-request-id: 58939aa735464b186f8ff4fece5ee7f85fe321f0 content-length: 2116 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)

Original Source | Taken Source