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 | 13 | 2020 |
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 | 7 | 2021 |
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 | 6* | 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 | 2 | 2023 |
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 | 1 | 2023 |
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 | 1 | 2022 |
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 | 1 | 2020 |
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 |