Siddhartha Jayanti

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 23

Top Topics

Role Playing Game

Markov Modulated

Nash Equilibria

Top Venues

Publications

Siddhartha Jayanti, Robert E. Tarjan
Fast, Scalable, and Machine-Verified Multicore Disjoint Set Union Data Structures and their Wide Deployment in Parallel Algorithms (Abstract). HOPC@SPAA (2024)
Prasad Jayanti, Siddhartha Jayanti, Ugur Y. Yavuz, Lizzie Hernandez
A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability. Proc. ACM Program. Lang. 8 (POPL) (2024)
Prasad Jayanti, Siddhartha Jayanti, Ugur Y. Yavuz, Lizzie Hernandez
Meta-Configuration Tracking for Machine-Certified Correctness of Concurrent Data Structures (Abstract). HOPC@SPAA (2024)
Prasad Jayanti, Siddhartha Jayanti, Sucharita Jayanti
MemSnap: A Fast Adaptive Snapshot Algorithm for RMWable Shared-Memory. PODC (2024)
Prasad Jayanti, Siddhartha Jayanti, Sucharita Jayanti
Durable Algorithms for Writable LL/SC and CAS with Dynamic Joining. DISC (2023)
Prasad Jayanti, Siddhartha Jayanti, Ugur Y. Yavuz, Lizzie Hernandez
A Universal Technique for Machine-Certified Proofs of Linearizable Algorithms. CoRR (2023)
Prasad Jayanti, Siddhartha Jayanti, Anup Joshi
Constant RMR System-wide Failure Resilient Durable Locks with Dynamic Joining. SPAA (2023)
Prasad Jayanti, Siddhartha Jayanti, Sucharita Jayanti
Durable Algorithms for Writable LL/SC and CAS with Dynamic Joining. CoRR (2023)
Prasad Jayanti, Siddhartha Jayanti, Anup Joshi
Constant RMR Recoverable Mutex under System-wide Crashes. CoRR (2023)
Enric Boix-Adserà, Benjamin L. Edelman, Siddhartha Jayanti
The multiplayer Colonel Blotto game. Games Econ. Behav. 129 (2021)
Siddhartha Jayanti
Nash Equilibria of The Multiplayer Colonel Blotto Game on Arbitrary Measure Spaces. CoRR (2021)
Siddhartha Jayanti, Julian Shun
Fast Arrays: Atomic Arrays with Constant Time Initialization. DISC (2021)
Prasad Jayanti, Siddhartha Jayanti
Deterministic Constant-Amortized-RMR Abortable Mutex for CC and DSM. ACM Trans. Parallel Comput. 8 (4) (2021)
Siddhartha Jayanti, Srinivasan Raghuraman, Nikhil Vyas
Efficient Constructions for Almost-Everywhere Secure Computation. EUROCRYPT (2) (2020)
Enric Boix-Adserà, Benjamin L. Edelman, Siddhartha Jayanti
The Multiplayer Colonel Blotto Game. EC (2020)
Enric Boix-Adserà, Benjamin L. Edelman, Siddhartha Jayanti
The Multiplayer Colonel Blotto Game. CoRR (2020)
Prasad Jayanti, Siddhartha Jayanti, Sucharita Jayanti
Towards an Ideal Queue Lock. ICDCN (2020)
Yuval Dagan, Constantinos Daskalakis, Nishanth Dikkala, Siddhartha Jayanti
Learning from weakly dependent data under Dobrushin's condition. CoRR (2019)
Prasad Jayanti, Siddhartha Jayanti
Constant Amortized RMR Abortable Mutex for CC and DSM. PODC (2019)
Siddhartha Jayanti, Srinivasan Raghuraman, Nikhil Vyas
Efficient Constructions for Almost-everywhere Secure Computation. IACR Cryptol. ePrint Arch. 2019 (2019)
Yuval Dagan, Constantinos Daskalakis, Nishanth Dikkala, Siddhartha Jayanti
Learning from Weakly Dependent Data under Dobrushin's Condition. COLT (2019)
Constantinos Daskalakis, Nishanth Dikkala, Siddhartha Jayanti
HOGWILD!-Gibbs can be PanAccurate. NeurIPS (2018)
Constantinos Daskalakis, Nishanth Dikkala, Siddhartha Jayanti
HOGWILD!-Gibbs can be PanAccurate. CoRR (2018)