Siddhartha Jayanti

34 papers A* 5A 2B 5Misc 1Journal 17Unranked 4
YearRankTypeTitle / Venue / Authors
2026 B conf
Concurrent Balanced Augmented Trees.
PPoPP
Evan Wrench, Ajay Singh, Younghun Roh, Panagiota Fatourou, Siddhartha Jayanti, Eric Ruppert, Yuanhao Wei
2026 J jnl
Concurrent Balanced Augmented Trees.
CoRR
Evan Wrench, Ajay Singh, Younghun Roh, Panagiota Fatourou, Siddhartha Jayanti, Eric Ruppert, Yuanhao Wei
2026 J jnl
Machine-Verifying Toom-Cook Multiplication with Integer Evaluation Points.
CoRR
Srihari Nanniyur, Siddhartha Jayanti
2025 B conf
Aggregating Funnels for Faster Fetch&Add and Queues.
PPoPP
Younghun Roh, Yuanhao Wei, Eric Ruppert, Panagiota Fatourou, Siddhartha Jayanti, Julian Shun
2025 J jnl
Big Atomics.
CoRR
Daniel Anderson, Guy E. Blelloch, Siddhartha Jayanti
2025 B conf
Formal Machine-Verification of MemSnap: An Efficient, Far-Future Linearizable Snapshot Algorithm.
SPAA
Siddhartha Jayanti, Ugur Y. Yavuz
2025 J jnl
Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs.
CoRR
Zachary Kent, Ugur Y. Yavuz, Siddhartha Jayanti, Stephanie Balzer, Guy E. Blelloch
2025 — conf
MemSnap: Checkpointing Modern Shared-Memory (Abstract).
HOPC@SPAA
Prasad Jayanti, Siddhartha Jayanti, Sucharita Jayanti
2025 B conf
Δ-Snap: Snapshotting the Differential.
SPAA
Prasad Jayanti, Siddhartha Jayanti
2024 J jnl
A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability.
Proc. ACM Program. Lang.
Prasad Jayanti, Siddhartha Jayanti, Ugur Y. Yavuz, Lizzie Hernandez
2024 J jnl
Aggregating Funnels for Faster Fetch&Add and Queues.
CoRR
Younghun Roh, Yuanhao Wei, Eric Ruppert, Panagiota Fatourou, Siddhartha Jayanti, Julian Shun
2024 — conf
Fast, Scalable, and Machine-Verified Multicore Disjoint Set Union Data Structures and their Wide Deployment in Parallel Algorithms (Abstract).
HOPC@SPAA
Siddhartha Jayanti, Robert E. Tarjan
2024 A* conf
MemSnap: A Fast Adaptive Snapshot Algorithm for RMWable Shared-Memory.
PODC
Prasad Jayanti, Siddhartha Jayanti, Sucharita Jayanti
2024 — conf
Meta-Configuration Tracking for Machine-Certified Correctness of Concurrent Data Structures (Abstract).
HOPC@SPAA
Prasad Jayanti, Siddhartha Jayanti, Ugur Y. Yavuz, Lizzie Hernandez
2024 J jnl
Possibility Tracking: A Simple Technique for Machine-verifying Lock-free Data Structures.
Bull. EATCS
Siddhartha Jayanti
2023 J jnl
A Universal Technique for Machine-Certified Proofs of Linearizable Algorithms.
CoRR
Prasad Jayanti, Siddhartha Jayanti, Ugur Y. Yavuz, Lizzie Hernandez
2023 J jnl
Constant RMR Recoverable Mutex under System-wide Crashes.
CoRR
Prasad Jayanti, Siddhartha Jayanti, Anup Joshi
2023 B conf
Constant RMR System-wide Failure Resilient Durable Locks with Dynamic Joining.
SPAA
Prasad Jayanti, Siddhartha Jayanti, Anup Joshi
2023 A conf
Durable Algorithms for Writable LL/SC and CAS with Dynamic Joining.
DISC
Prasad Jayanti, Siddhartha Jayanti, Sucharita Jayanti
2023 J jnl
Durable Algorithms for Writable LL/SC and CAS with Dynamic Joining.
CoRR
Prasad Jayanti, Siddhartha Jayanti, Sucharita Jayanti
2021 J jnl
Deterministic Constant-Amortized-RMR Abortable Mutex for CC and DSM.
ACM Trans. Parallel Comput.
Prasad Jayanti, Siddhartha Jayanti
2021 A conf
Fast Arrays: Atomic Arrays with Constant Time Initialization.
DISC
Siddhartha Jayanti, Julian Shun
2021 J jnl
Nash Equilibria of The Multiplayer Colonel Blotto Game on Arbitrary Measure Spaces.
CoRR
Siddhartha Jayanti
2021 J jnl
The multiplayer Colonel Blotto game.
Games Econ. Behav.
Enric Boix-Adserà, Benjamin L. Edelman, Siddhartha Jayanti
2020 — conf
Efficient Constructions for Almost-Everywhere Secure Computation.
EUROCRYPT (2)
Siddhartha Jayanti, Srinivasan Raghuraman, Nikhil Vyas
2020 A* conf
The Multiplayer Colonel Blotto Game.
EC
Enric Boix-Adserà, Benjamin L. Edelman, Siddhartha Jayanti
2020 J jnl
The Multiplayer Colonel Blotto Game.
CoRR
Enric Boix-Adserà, Benjamin L. Edelman, Siddhartha Jayanti
2020 Misc conf
Towards an Ideal Queue Lock.
ICDCN
Prasad Jayanti, Siddhartha Jayanti, Sucharita Jayanti
2019 A* conf
Constant Amortized RMR Abortable Mutex for CC and DSM.
PODC
Prasad Jayanti, Siddhartha Jayanti
2019 J jnl
Efficient Constructions for Almost-everywhere Secure Computation.
IACR Cryptol. ePrint Arch.
Siddhartha Jayanti, Srinivasan Raghuraman, Nikhil Vyas
2019 A* conf
Learning from Weakly Dependent Data under Dobrushin's Condition.
COLT
Yuval Dagan, Constantinos Daskalakis, Nishanth Dikkala, Siddhartha Jayanti
2019 J jnl
Learning from weakly dependent data under Dobrushin's condition.
CoRR
Yuval Dagan, Constantinos Daskalakis, Nishanth Dikkala, Siddhartha Jayanti
2018 A* conf
HOGWILD!-Gibbs can be PanAccurate.
NeurIPS
Constantinos Daskalakis, Nishanth Dikkala, Siddhartha Jayanti
2018 J jnl
HOGWILD!-Gibbs can be PanAccurate.
CoRR
Constantinos Daskalakis, Nishanth Dikkala, Siddhartha Jayanti