Sledovat
Christopher Wagner
Christopher Wagner
Purdue University
E-mailová adresa ověřena na: purdue.edu - Domovská stránka
Název
Citace
Citace
Rok
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
182020
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
142021
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
9*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
32023
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
22023
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
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–9