Data structure-aware heap partitioning. - Nouraldin Jaber; Milind Kulkarni 001 (CC, 2017)

Parameterized Verification of Systems with Global Synchronization and Guards. - Nouraldin Jaber; Swen Jacobs; Christopher Wagner; Milind Kulkarni 001; Roopsha Samanta (CAV (1), 2020)

Parameterized Reasoning for Distributed Systems with Consensus. - Nouraldin Jaber; Christopher Wagner; Swen Jacobs; Milind Kulkarni 001; Roopsha Samanta (CoRR, 2020)

HACCLE: metaprogramming for secure multi-party computation. - Yuyan Bao; Kirshanthan Sundararajah; Raghav Malik; Qianchuan Ye; Christopher Wagner; Nouraldin Jaber; Fei Wang 046; Mohammad Hassan Ameri; Donghang Lu; Alexander Seto; Benjamin Delaware; Roopsha Samanta; et al. (GPCE, 2021)

QuickSilver: modeling and parameterized verification for distributed agreement-based systems. - Nouraldin Jaber; Christopher Wagner; Swen Jacobs; Milind Kulkarni 001; Roopsha Samanta (Proc. ACM Program. Lang., 2021)

Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems. - Christopher Wagner; Nouraldin Jaber; Roopsha Samanta (CoRR, 2022)

Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Parameterized Verification. - Nouraldin Jaber; Christopher Wagner; Swen Jacobs; Milind Kulkarni 001; Roopsha Samanta (CoRR, 2022)

Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification. - Nouraldin Jaber; Christopher Wagner; Swen Jacobs; Milind Kulkarni 001; Roopsha Samanta (TACAS (2), 2023)

Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions. - Christopher Wagner; Nouraldin Jaber; Roopsha Samanta (Proc. ACM Program. Lang., 2023)