A Randomized Concurrent Algorithm for Disjoint Set Union. - Siddhartha V. Jayanti; Robert E. Tarjan (PODC, 2016)

Optimal Recoverable Mutual Exclusion Using only FASAS. - Prasad Jayanti; Siddhartha V. Jayanti; Anup Joshi (NETYS, 2018)

HOGWILD!-Gibbs can be PanAccurate. - Constantinos Daskalakis; Nishanth Dikkala; Siddhartha Jayanti (NeurIPS, 2018)

Constant Amortized RMR Complexity Deterministic Abortable Mutual Exclusion Algorithm for CC and DSM Models. - Prasad Jayanti; Siddhartha V. Jayanti (CoRR, 2018)

Learning from Weakly Dependent Data under Dobrushin's Condition. - Yuval Dagan; Constantinos Daskalakis; Nishanth Dikkala; Siddhartha Jayanti (COLT, 2019)

Constant Amortized RMR Abortable Mutex for CC and DSM. - Prasad Jayanti; Siddhartha Jayanti (PODC, 2019)

A Recoverable Mutex Algorithm with Sub-logarithmic RMR on Both CC and DSM. - Prasad Jayanti; Siddhartha V. Jayanti; Anup Joshi (PODC, 2019)

Randomized Concurrent Set Union and Generalized Wake-Up. - Siddhartha V. Jayanti; Robert E. Tarjan; Enric Boix-Adserà (PODC, 2019)

Recoverable Mutual Exclusion with Sub-logarithmic RMR Complexity on CC and DSM machines. - Prasad Jayanti; Siddhartha V. Jayanti; Anup Joshi (CoRR, 2019)

Efficient Constructions for Almost-everywhere Secure Computation. - Siddhartha Jayanti; Srinivasan Raghuraman; Nikhil Vyas 001 (IACR Cryptol. ePrint Arch., 2019)

Towards an Ideal Queue Lock. - Prasad Jayanti; Siddhartha Jayanti; Sucharita Jayanti (ICDCN, 2020)

Fast Arrays: Atomic Arrays with Constant Time Initialization. - Siddhartha Jayanti; Julian Shun (DISC, 2021)

Nash Equilibria of The Multiplayer Colonel Blotto Game on Arbitrary Measure Spaces. - Siddhartha Jayanti (CoRR, 2021)

Concurrent disjoint set union. - Siddhartha V. Jayanti; Robert E. Tarjan (Distributed Comput., 2021)

The multiplayer Colonel Blotto game. - Enric Boix-Adserà; Benjamin L. Edelman; Siddhartha Jayanti (Games Econ. Behav., 2021)

Deterministic Constant-Amortized-RMR Abortable Mutex for CC and DSM. - Prasad Jayanti; Siddhartha Jayanti (ACM Trans. Parallel Comput., 2021)

Generalized Wake-Up: Amortized Shared Memory Lower Bounds for Linearizable Data Structures. - Siddhartha Visveswara Jayanti (CoRR, 2022)

Brief Announcement: Efficient Recoverable Writable-CAS. - Prasad Jayanti; Siddhartha Visveswara Jayanti; Sucharita Jayanti (PODC, 2023)

Constant RMR System-wide Failure Resilient Durable Locks with Dynamic Joining. - Prasad Jayanti; Siddhartha Jayanti; Anup Joshi (SPAA, 2023)

Durable Algorithms for Writable LL/SC and CAS with Dynamic Joining. - Prasad Jayanti; Siddhartha Jayanti; Sucharita Jayanti (DISC, 2023)

A Universal Technique for Machine-Certified Proofs of Linearizable Algorithms. - Prasad Jayanti; Siddhartha Jayanti; Ugur Y. Yavuz; Lizzie Hernandez (CoRR, 2023)

Constant RMR Recoverable Mutex under System-wide Crashes. - Prasad Jayanti; Siddhartha Jayanti; Anup Joshi (CoRR, 2023)

Simple, Fast, Scalable, and Reliable Multiprocessor Algorithms - Siddhartha Visveswara Jayanti (2023)

Meta-Configuration Tracking for Machine-Certified Correctness of Concurrent Data Structures (Abstract). - Prasad Jayanti; Siddhartha Jayanti; Ugur Y. Yavuz; Lizzie Hernandez (HOPC@SPAA, 2024)

Fast, Scalable, and Machine-Verified Multicore Disjoint Set Union Data Structures and their Wide Deployment in Parallel Algorithms (Abstract). - Siddhartha Jayanti; Robert E. Tarjan (HOPC@SPAA, 2024)

MemSnap: A Fast Adaptive Snapshot Algorithm for RMWable Shared-Memory. - Prasad Jayanti; Siddhartha Jayanti; Sucharita Jayanti (PODC, 2024)

Possibility Tracking: A Simple Technique for Machine-verifying Lock-free Data Structures. - Siddhartha Jayanti (Bull. EATCS, 2024)

A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability. - Prasad Jayanti; Siddhartha Jayanti; Ugur Y. Yavuz; Lizzie Hernandez (Proc. ACM Program. Lang., 2024)

MemSnap: Checkpointing Modern Shared-Memory (Abstract). - Prasad Jayanti; Siddhartha Jayanti; Sucharita Jayanti (HOPC@SPAA, 2025)

On Interplanetary and Relativistic Distributed Computing. - Siddhartha Visveswara Jayanti (PODC, 2025)

A Shared Archive of Snapshots. - Prasad Jayanti; Siddhartha Visveswara Jayanti (PODC, 2025)

Big Atomics and Fast Hash Tables. - Daniel Anderson; Guy E. Blelloch; Siddhartha V. Jayanti (PPoPP, 2025)

Aggregating Funnels for Faster Fetch&Add and Queues. - Younghun Roh; Yuanhao Wei; Eric Ruppert; Panagiota Fatourou; Siddhartha Jayanti; Julian Shun (PPoPP, 2025)

Δ-Snap: Snapshotting the Differential. - Prasad Jayanti; Siddhartha Jayanti (SPAA, 2025)

Formal Machine-Verification of MemSnap: An Efficient, Far-Future Linearizable Snapshot Algorithm. - Siddhartha Jayanti; Ugur Y. Yavuz (SPAA, 2025)

Big Atomics. - Daniel Anderson; Guy E. Blelloch; Siddhartha Jayanti (CoRR, 2025)