Prasad Jayanti

Publication Activity (10 Years)

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

Top Topics

Markov Modulated

Distributed Computing

Top Venues

Publications

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