Follow
Christopher Wagner
Title
Cited by
Cited by
Year
Parameterized Verification of Systems with Global Synchronization and Guards
N Jaber, S Jacobs, C Wagner, M Kulkarni, R Samanta
International Conference on Computer Aided Verification, 299-323, 2020
152020
Quicksilver: modeling and parameterized verification for distributed agreement-based systems
N Jaber, C Wagner, S Jacobs, M Kulkarni, R Samanta
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-31, 2021
82021
HACCLE: Metaprogramming for Secure Multi-Party Computation
Y Bao, K Sundararajah, R Malik, Q Ye, C Wagner, N Jaber, F Wang, ...
20th International Conference on Generative Programming: Concepts & Experiences, 2021
5*2021
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification
N Jaber, C Wagner, S Jacobs, M Kulkarni, R Samanta
International Conference on Tools and Algorithms for the Construction and …, 2023
12023
Enabling bounded verification of doubly-unbounded distributed agreement-based systems via bounded regions
C Wagner, N Jaber, R Samanta
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 172-200, 2023
12023
Synthesis of distributed agreement-based systems with efficiently-decidable parameterized verification
N Jaber, C Wagner, S Jacobs, M Kulkarni, R Samanta
CoRR, abs/2208.12400, 2022
12022
QuickSilver: A Modeling and Parameterized Verification Framework for Systems with Distributed Agreement (Extended Version)
N Jaber, C Wagner, S Jacobs, M Kulkarni, R Samanta
arXiv preprint arXiv:2004.04613, 2020
12020
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification (Extended Version)
N Jaber, C Wagner, S Jacobs, M Kulkarni, R Samanta
arXiv preprint arXiv:2208.12400, 2022
2022
Service connection valve assembly
R Danielson, C Wagner, A Wagenius
US Patent 11,415,349, 2022
2022
Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems
C Wagner, N Jaber, R Samanta
arXiv preprint arXiv:2205.06322, 2022
2022
Parameterized Reasoning for Distributed Systems with Consensus.
N Jaber, C Wagner, S Jacobs, M Kulkarni, R Samanta
CoRR, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–11