Prasad Jayanti

67 papers A* 21A 9B 5Misc 3Journal 16Unranked 12

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	A Shared Archive of Snapshots. PODC Prasad Jayanti, Siddhartha Visveswara Jayanti
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	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
2023	J	`jnl`	A Universal Technique for Machine-Certified Proofs of Linearizable Algorithms. CoRR Prasad Jayanti, Siddhartha Jayanti, Ugur Y. Yavuz, Lizzie Hernandez
2023	A*	`conf`	Brief Announcement: Efficient Recoverable Writable-CAS. PODC Prasad Jayanti, Siddhartha Visveswara Jayanti, Sucharita Jayanti
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
2022	J	`jnl`	Recoverable mutual exclusion with abortability. Computing Prasad Jayanti, Anup Joshi
2021	J	`jnl`	Deterministic Constant-Amortized-RMR Abortable Mutex for CC and DSM. ACM Trans. Parallel Comput. Prasad Jayanti, Siddhartha Jayanti
2020	J	`jnl`	Recoverable Mutual Exclusion with Abortability. CoRR Prasad Jayanti, Anup Joshi
2020	Misc	`conf`	Towards an Ideal Queue Lock. ICDCN Prasad Jayanti, Siddhartha Jayanti, Sucharita Jayanti
2019	A*	`conf`	2019 Principles of Distributed Computing Doctoral Dissertation Award. PODC Prasad Jayanti, Nancy A. Lynch, Boaz Patt-Shamir, Ulrich Schmid
2019	A*	`conf`	A Recoverable Mutex Algorithm with Sub-logarithmic RMR on Both CC and DSM. PODC Prasad Jayanti, Siddhartha V. Jayanti, Anup Joshi
2019	A*	`conf`	Constant Amortized RMR Abortable Mutex for CC and DSM. PODC Prasad Jayanti, Siddhartha Jayanti
2019	—	`conf`	Recoverable Mutual Exclusion with Abortability. NETYS Prasad Jayanti, Anup Joshi
2019	J	`jnl`	Recoverable Mutual Exclusion with Sub-logarithmic RMR Complexity on CC and DSM machines. CoRR Prasad Jayanti, Siddhartha V. Jayanti, Anup Joshi
2018	J	`jnl`	Constant Amortized RMR Complexity Deterministic Abortable Mutual Exclusion Algorithm for CC and DSM Models. CoRR Prasad Jayanti, Siddhartha V. Jayanti
2018	—	`conf`	Optimal Recoverable Mutual Exclusion Using only FASAS. NETYS Prasad Jayanti, Siddhartha V. Jayanti, Anup Joshi
2017	A	`conf`	Recoverable FCFS Mutual Exclusion with Wait-Free Recovery. DISC Prasad Jayanti, Anup Joshi
2016	A	`conf`	Priority Mutual Exclusion: Specification and Algorithm. DISC Chien-Chung Huang, Prasad Jayanti
2015	—	`conf`	Enhancing Readers-Writers Exclusion with Upgrade/Downgrade Primitives. NETYS Michael Diamond, Prasad Jayanti, Jake Leichtling
2012	A	`conf`	Abortable Reader-Writer Locks Are No More Complex Than Abortable Mutex Locks. DISC Prasad Jayanti, Zhiyu Liu
2012	A*	`conf`	Tight time-space tradeoff for mutual exclusion. STOC Nikhil Bansal, Vibhor Bhatt, Prasad Jayanti, Ranganath Kondapally
2011	Misc	`conf`	Specification and Constant RMR Algorithm for Phase-Fair Reader-Writer Lock. ICDCN Vibhor Bhatt, Prasad Jayanti
2010	A*	`conf`	Constant RMR solutions to reader writer synchronization. PODC Vibhor Bhatt, Prasad Jayanti
2009	A*	`conf`	Extracting quorum failure detectors. PODC Vibhor Bhatt, Nicholas Christman, Prasad Jayanti
2009	A	`conf`	On the Existence of Weakest Failure Detectors for Mutual Exclusion and DISC Vibhor Bhatt, Prasad Jayanti
2009	A	`conf`	The 2009 Edsger W. Dijkstra Prize in Distributed Computing. DISC Lorenzo Alvisi, Rachid Guerraoui, Prasad Jayanti, Idit Keidar, Shay Kutten, Jennifer L. Welch
2008	Misc	`ed.`	Distributed Computing and Networking, 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. ICDCN Shrisha Rao, Mainak Chatterjee, Prasad Jayanti, C. Siva Ram Murthy, Sanjoy Kumar Saha
2008	A*	`conf`	Every problem has a weakest failure detector. PODC Prasad Jayanti, Sam Toueg
2005	A*	`conf`	An optimal multi-writer snapshot algorithm. STOC Prasad Jayanti
2005	A	`conf`	Efficient Wait-Free Implementation of Multiword LL/SC Variables. ICDCS Prasad Jayanti, Srdjan Petrovic
2005	—	`conf`	Efficiently Implementing LL/SC Objects Shared by an Unknown Number of Processes. IWDC Prasad Jayanti, Srdjan Petrovic
2005	B	`conf`	Efficiently Implementing a Large Number of LL/SC Objects. OPODIS Prasad Jayanti, Srdjan Petrovic
2005	—	`conf`	Logarithmic-Time Single Deleter, Multiple Inserter Wait-Free Queues and Stacks. FSTTCS Prasad Jayanti, Srdjan Petrovic
2005	B	`conf`	Read/Write Based Fast-Path Transformation for FCFS Mutual Exclusion. SOFSEM Prasad Jayanti, Srdjan Petrovic, Neha Narula
2004	J	`jnl`	Generalized Irreducibility of Consensus and the Equivalence of t-Resilient and Wait-Free Implementations of Consensus. SIAM J. Comput. Tushar Deepak Chandra, Vassos Hadzilacos, Prasad Jayanti, Sam Toueg
2003	A*	`conf`	Adaptive and efficient abortable mutual exclusion. PODC Prasad Jayanti
2003	A*	`conf`	Efficient and practical constructions of LL/SC variables. PODC Prasad Jayanti, Srdjan Petrovic
2003	A*	`conf`	Fair group mutual exclusion. PODC Prasad Jayanti, Srdjan Petrovic, King Tan
2001	B	`conf`	Bounding Lamport's Bakery Algorithm. SOFSEM Prasad Jayanti, King Tan, Gregory Friedland, Amir Katz
2000	J	`jnl`	Almost Optimal Single Reader, Single Writer Atomic Register. J. Parallel Distributed Comput. Prasad Jayanti, James E. Burns, Gary L. Peterson
2000	J	`jnl`	Time and Space Lower Bounds for Nonblocking Implementations. SIAM J. Comput. Prasad Jayanti, King Tan, Sam Toueg
1999	A	`ed.`	Distributed Computing, 13th International Symposium, Bratislava, Slovak Republic, September 27-29, 1999, Proceedings DISC Prasad Jayanti
1999	J	`jnl`	The Cost of Graceful Degradation for Omission Failures. Inf. Process. Lett. Prasad Jayanti, Tushar Deepak Chandra, Sam Toueg
1998	A	`conf`	A Complete and Constant Time Wait-Free Implementation of CAS from LL/SC and Vice Versa. DISC Prasad Jayanti
1998	A*	`conf`	A Lower Bound on the Local Time Complexity of Universal Constructions. PODC Prasad Jayanti
1998	A*	`conf`	A Polylog Time Wait-Free Construction for Closed Objects. PODC Tushar Deepak Chandra, Prasad Jayanti, King Tan
1998	A*	`conf`	A Time Complexity Lower Bound for Randomized Implementations of Some Shared Objects. PODC Prasad Jayanti
1998	J	`jnl`	Fault-Tolerant Wait-Free Shared Objects. J. ACM Prasad Jayanti, Tushar Deepak Chandra, Sam Toueg
1998	J	`jnl`	Solvability of Consensus: Composition Breaks Down for NonDeterministic Types. SIAM J. Comput. Prasad Jayanti
1997	—	`conf`	On the Power of Multi-objects. WDAG Prasad Jayanti, Sanjay Khanna
1997	J	`jnl`	Robust wait-free hierarchies. J. ACM Prasad Jayanti
1996	A*	`conf`	Time and Space Lower Bounds for Non-Blocking Implementations (Preliminary Version). PODC Prasad Jayanti, King Tan, Sam Toueg
1995	—	`conf`	Wait-free Computing. WDAG Prasad Jayanti
1994	—	`—`	Fault-Tolerant Wait-Free Implementations and Robust Wait-Free Hierarchies. Prasad Jayanti
1994	A*	`conf`	Wait-Freedom vs. t-Resiliency and the Robustness of Wait-Free Hierarchies. PODC Tushar Deepak Chandra, Vassos Hadzilacos, Prasad Jayanti, Sam Toueg
1993	A*	`conf`	On the Robustness of Herlihy's Hierarchy. PODC Prasad Jayanti
1992	A*	`conf`	Fault-tolerant Wait-free Shared Objects FOCS Prasad Jayanti, Tushar Deepak Chandra, Sam Toueg
1992	—	`conf`	Some Results on the Impossibility, Universality, and Decidability of Consensus. WDAG Prasad Jayanti, Sam Toueg
1991	—	`conf`	Minimal Shared Information for Concurrent Reading and Writing. WDAG Prasad Jayanti, Adarshpal S. Sethi, Errol L. Lloyd
1990	—	`conf`	Wakeup under Read/Write Atomicity. WDAG Prasad Jayanti, Sam Toueg