Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
118 | Xuxian Jiang, Helen J. Wang, Dongyan Xu, Yi-Min Wang |
RandSys: Thwarting Code Injection Attacks with System Service Interface Randomization. |
SRDS |
2007 |
DBLP DOI BibTeX RDF |
|
105 | Bernadette Charron-Bost, André Schiper |
Improving Fast Paxos: being optimistic with no overhead. |
PRDC |
2006 |
DBLP DOI BibTeX RDF |
|
93 | Jim Gray 0001, Leslie Lamport |
Consensus on transaction commit. |
ACM Trans. Database Syst. |
2006 |
DBLP DOI BibTeX RDF |
Consensus, Paxos, two-phase commit |
80 | Felix Hupfeld, Björn Kolbeck, Jan Stender, Mikael Högqvist, Toni Cortes, Jonathan Martí, Jesus Malo |
FaTLease: scalable fault-tolerant lease negotiation with paxos. |
HPDC |
2008 |
DBLP DOI BibTeX RDF |
replication, locks, high-availability, leases, paxos |
80 | Leslie Lamport |
Fast Paxos. |
Distributed Comput. |
2006 |
DBLP DOI BibTeX RDF |
Fault tolerance, Distributed algorithms, Consensus, Paxos |
72 | Eli Gafni, Leslie Lamport |
Disk Paxos. |
Distributed Comput. |
2003 |
DBLP DOI BibTeX RDF |
Fault tolerance, Distributed computing, Consensus, State machine |
72 | Eli Gafni, Leslie Lamport |
Disk Paxos. |
DISC |
2000 |
DBLP DOI BibTeX RDF |
|
72 | Roberto De Prisco, Butler W. Lampson, Nancy A. Lynch |
Revisiting the Paxos Algorithm. |
WDAG |
1997 |
DBLP DOI BibTeX RDF |
I/O automata models, fault-tolerance, formal verification, distributed consensus, partially synchronous systems |
67 | Nancy A. Lynch |
Implementing atomic objects in a dynamic environment. |
PODC |
2001 |
DBLP DOI BibTeX RDF |
|
63 | Tushar Deepak Chandra, Robert Griesemer, Joshua Redstone |
Paxos made live: an engineering perspective. |
PODC |
2007 |
DBLP DOI BibTeX RDF |
fault-tolerance, implementation, experiences, Paxos |
63 | Gregory V. Chockler, Dahlia Malkhi |
Active Disk Paxos with infinitely many processes. |
Distributed Comput. |
2005 |
DBLP DOI BibTeX RDF |
Infinitely many processes, Non-responsive object faults, Shared memory, Consensus, Paxos |
55 | Wei Chen 0013, Jialin Zhang 0001, Yu Chen, Xuezheng Liu |
Failure Detectors and Extended Paxos for k-Set Agreement. |
PRDC |
2007 |
DBLP DOI BibTeX RDF |
|
55 | Dahlia Malkhi, Florian Oprea, Lidong Zhou |
Omega Meets Paxos: Leader Election and Stability Without Eventual Timely Links. |
DISC |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Leslie Lamport, Mike Massa |
Cheap Paxos. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
55 | Butler W. Lampson |
The ABCD's of Paxos. |
PODC |
2001 |
DBLP DOI BibTeX RDF |
|
46 | Lásaro J. Camargos, Rodrigo Schmidt, Fernando Pedone |
Multicoordinated Paxos. |
PODC |
2007 |
DBLP DOI BibTeX RDF |
multicoordinated, generalized, consensus, atomic broadcast, Paxos |
42 | Heidi Howard, Aleksey Charapko, Richard Mortier |
Fast Flexible Paxos: Relaxing Quorum Intersection for Fast Paxos. |
ICDCN |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Heidi Howard, Aleksey Charapko, Richard Mortier |
Fast Flexible Paxos: Relaxing Quorum Intersection for Fast Paxos. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
42 | Gustavo M. D. Vieira, Luiz Eduardo Buzato |
The Performance of Paxos and Fast Paxos. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
42 | Lásaro J. Camargos, Edmundo R. M. Madeira, Fernando Pedone |
Optimal and Practical WAB-Based Consensus Algorithms. |
Euro-Par |
2006 |
DBLP DOI BibTeX RDF |
weak ordering oracles, Consensus, crash-recovery, Paxos |
38 | Ittai Abraham, Gregory V. Chockler, Idit Keidar, Dahlia Malkhi |
Byzantine disk paxos: optimal resilience with byzantine shared memory. |
Distributed Comput. |
2006 |
DBLP DOI BibTeX RDF |
T-tolerant object implementations, Lower bounds, Consensus, Byzantine failures, Wait freedom, Shared-memory emulations |
38 | Ittai Abraham, Gregory V. Chockler, Idit Keidar, Dahlia Malkhi |
Byzantine disk paxos: optimal resilience with byzantine shared memory. |
PODC |
2004 |
DBLP DOI BibTeX RDF |
termination conditions, consensus, Byzantine failures, shared-memory emulations |
38 | Gregory V. Chockler, Dahlia Malkhi |
Active disk paxos with infinitely many processes. |
PODC |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Péter Urbán, Naohiro Hayashibara, André Schiper, Takuya Katayama |
Performance Comparison of a Rotating Coordinator and a Leader Based Consensus Algorithm. |
SRDS |
2004 |
DBLP DOI BibTeX RDF |
rotating coordinator, simulation, consensus, asynchronous, failure detector, atomic broadcast, leader |
34 | Butler W. Lampson |
How to Build a Highly Available System Using Consensus. |
WDAG |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Lásaro J. Camargos, Rodrigo Malta Schmidt, Fernando Pedone |
Multicoordinated Agreement Protocols for Higher Availabilty. |
NCA |
2008 |
DBLP DOI BibTeX RDF |
Multicoordinated Agreement, Generalized Consensus, Generic Broadcast, Paxos |
25 | Leslie Lamport |
Lower bounds for asynchronous consensus. |
Distributed Comput. |
2006 |
DBLP DOI BibTeX RDF |
Fault tolerance, Distributed algorithms, Consensus, Paxos |
25 | Jacob R. Lorch, Atul Adya, William J. Bolosky, Ronnie Chaiken, John R. Douceur, Jon Howell |
The SMART way to migrate replicated stateful services. |
EuroSys |
2006 |
DBLP DOI BibTeX RDF |
replicated state machine, replication, reconfiguration, migration, paxos |
21 | Danilo J. P. Ferreira, Sahudy Montenegro González, Gustavo M. D. Vieira |
Replicação descentralizada em bancos de dados distribuídos usando o algoritmo Paxos. |
SBBD |
2023 |
DBLP BibTeX RDF |
|
21 | Fernando M. Kiotheka, Djenifer R. Pereira, Edson Tavares de Camargo, Elias P. Duarte Jr. |
HyperPaxos: Uma Versão Hierárquica do Algoritmo de Consenso Paxos. |
SBRC |
2023 |
DBLP BibTeX RDF |
|
21 | Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun 0001, Loïc Lagadec |
Debugging Paxos in the UML Multiverse. |
MoDELS (Companion) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Fadhil I. Kurnia, Arun Venkataramani |
Oblivious Paxos: Privacy-Preserving Consensus Over Secret-Shares. |
SoCC |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Harald Ng, Seif Haridi, Paris Carbone |
Omni-Paxos: Breaking the Barriers of Partial Connectivity. |
EuroSys |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Victor Yodaiken |
Understanding Paxos and other distributed consensus algorithms. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
21 | Heidi Howard, Richard Mortier |
Relaxed Paxos: Quorum Intersection Revisited (Again). |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
21 | D. D. Amarasekara, D. N. Ranasinghe |
ZPaxos: An Asynchronous BFT Paxos with a Leaderless Synchronous Group. |
ISPDC |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Ather Sharif, Emilia F. Gan, Miranda Wei |
Styx++: Reliable Data Access and Availability Using a Hybrid Paxos and Chain Replication Protocol. |
CHI Extended Abstracts |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Heidi Howard, Richard Mortier |
Relaxed Paxos: quorum intersection revisited (again). |
PaPoC@EuroSys |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Siswandi Agung Hidayat, Wahyu Juniardi, Ali Akbar Khatami, Riri Fitri Sari |
Performance Comparison and Analysis of Paxos, Raft and PBFT Using NS3. |
IoTaIS |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Aman Goel, Karem A. Sakallah |
Towards an Automatic Proof of Lamport's Paxos. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
21 | Rachid Guerraoui, Antoine Murat, Athanasios Xygkis |
Velos: One-sided Paxos for RDMA applications. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
21 | Vasilis Gavrielatos, Antonios Katsarakis, Vijay Nagarajan |
Extending Classic Paxos for High-performance Read-Modify-Write Registers. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
21 | Michael J. Whittaker, Neil Giridharan, Adriana Szekeres, Joseph M. Hellerstein, Heidi Howard, Faisal Nawab, Ion Stoica |
[Solution] Matchmaker Paxos: A Reconfigurable Consensus Protocol. |
J. Syst. Res. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Jan Z. Konczak, Pawel T. Wojciechowski, Nuno Santos, Tomasz Zurkowski, André Schiper |
Recovery Algorithms for Paxos-Based State Machine Replication. |
IEEE Trans. Dependable Secur. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Aman Goel, Karem A. Sakallah |
Towards an Automatic Proof of Lamport's Paxos. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Jan Z. Konczak, Pawel T. Wojciechowski |
Failure Recovery from Persistent Memory in Paxos-Based State Machine Replication. |
SRDS |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Pierre Sutra |
On the correctness of Egalitarian Paxos. |
Inf. Process. Lett. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Michael J. Whittaker, Neil Giridharan, Adriana Szekeres, Joseph M. Hellerstein, Ion Stoica |
Bipartisan Paxos: A Modular State Machine Replication Protocol. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
21 | Eli Goldweber, Nuda Zhang, Manos Kapritsos |
On the Significance of Consecutive Ballots in Paxos. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
21 | Heidi Howard, Richard Mortier |
Paxos vs Raft: Have we reached consensus on distributed consensus? |
CoRR |
2020 |
DBLP BibTeX RDF |
|
21 | Isaac C. Sheff, Xinwen Wang, Robbert van Renesse, Andrew C. Myers |
Heterogeneous Paxos: Technical Report. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
21 | Michael J. Whittaker, Neil Giridharan, Adriana Szekeres, Joseph M. Hellerstein, Heidi Howard, Faisal Nawab, Ion Stoica |
Matchmaker Paxos: A Reconfigurable Consensus Protocol [Technical Report]. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
21 | Rodrigo R. Barbieri, Enrique S. dos Santos, Gustavo M. D. Vieira |
Decentralized Validation for Non-malicious Arbitrary Fault Tolerance in Paxos. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
21 | Seif Haridi, Lars Kroll, Paris Carbone |
Lecture Notes on Leader-based Sequence Paxos - An Understandable Sequence Consensus Algorithm. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
21 | Benny Pinkas, Mike Rosulek, Ni Trieu, Avishay Yanai |
PSI from PaXoS: Fast, Malicious Private Set Intersection. |
IACR Cryptol. ePrint Arch. |
2020 |
DBLP BibTeX RDF |
|
21 | Yanzhao Wang, Huiqi Hu, Weining Qian, Aoying Zhou |
Migratable Paxos - Low Latency and High Throughput Consensus Under Geographically Shifting Workloads. |
DASFAA (1) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Benny Pinkas, Mike Rosulek, Ni Trieu, Avishay Yanai |
PSI from PaXoS: Fast, Malicious Private Set Intersection. |
EUROCRYPT (2) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Eli Goldweber, Nuda Zhang, Manos Kapritsos |
Brief Announcement: On the Significance of Consecutive Ballots in Paxos. |
PODC |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Isaac C. Sheff, Xinwen Wang, Robbert van Renesse, Andrew C. Myers |
Heterogeneous Paxos. |
OPODIS |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Giacomo Belocchi, Valeria Cardellini, Aniello Cammarano, Giuseppe Bianchi 0001 |
Paxos in the NIC: Hardware Acceleration of Distributed Consensus Protocols. |
DRCN |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Heidi Howard, Richard Mortier |
Paxos vs Raft: have we reached consensus on distributed consensus? |
PaPoC@EuroSys |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Rui Wang 0048, Lars Michael Kristensen, Hein Meling, Volker Stolz |
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. |
J. Log. Algebraic Methods Program. |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Sathyanarayanan Srinivasan, Ramesh Kandukoori |
A Paxos based algorithm to minimize the overhead of process recovery in consensus. |
Acta Informatica |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Pierre Sutra |
On the correctness of Egalitarian Paxos. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
21 | Huynh Tu Dang, Pietro Bressana, Han Wang 0009, Ki Suh Lee, Noa Zilberman, Hakim Weatherspoon, Marco Canini, Fernando Pedone, Robert Soulé |
Partitioned Paxos via the Network Data Plane. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
21 | Mahmood Fazlali, Sara Moazezi Eftekhar, Mohammad Mahdi Dehshibi, Hadi Tabatabaee Malazi, Masoud Nosrati |
Raft Consensus Algorithm: an Effective Substitute for Paxos in High Throughput P2P-based Systems. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
21 | Zhaoguo Wang, Changgeng Zhao, Shuai Mu 0001, Haibo Chen 0001, Jinyang Li 0001 |
On the parallels between Paxos and Raft, and how to port optimizations. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
21 | Wenmin Lin, Xuan Sheng, Lianyong Qi |
An Optimized Multi-Paxos Consensus Protocol for Practical Cloud Storage Applications. |
CSS (1) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Valentin Poirot, Beshr Al Nahas, Olaf Landsiedel |
Paxos Made Wireless: Consensus in the Air. |
EWSN |
2019 |
DBLP BibTeX RDF |
|
21 | Tongxing Ma, Haibin Wang |
A pipelined Single-Phase Paxos Extension without lease. |
ROBIO |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Yizhen Wang, Ye Wang 0002, Shushi Gu, Qinyu Zhang 0001, Ning Zhang 0007 |
Adaptive Consistency Protocol Based on Grouping Multi-Paxos. |
ICCC |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Zhaoguo Wang, Changgeng Zhao, Shuai Mu 0001, Haibo Chen 0001, Jinyang Li 0001 |
On the Parallels between Paxos and Raft, and how to Port Optimizations. |
PODC |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Yanhong A. Liu, Saksham Chand, Scott D. Stoller |
Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms. |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Aleksey Charapko, Ailidani Ailijiang, Murat Demirbas |
Linearizable Quorum Reads in Paxos. |
HotStorage |
2019 |
DBLP BibTeX RDF |
|
21 | Fernando Pedone |
Replication Based on Paxos. |
Encyclopedia of Database Systems (2nd ed.) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey |
Paxos Consensus, Deconstructed and Abstracted (Extended Version). |
CoRR |
2018 |
DBLP BibTeX RDF |
|
21 | Miguel Pires, Srivatsan Ravi, Rodrigo Rodrigues 0001 |
Generalized Paxos Made Byzantine (and Less Complex). |
Algorithms |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Aleksey Charapko, Ailidani Ailijiang, Murat Demirbas |
Bridging Paxos and Blockchain Consensus. |
iThings/GreenCom/CPSCom/SmartData |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey |
Paxos Consensus, Deconstructed and Abstracted. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Jinwei Guo, Peng Cai, Bing Xiao, Weining Qian, Aoying Zhou |
Efficient Snapshot Isolation in Paxos-Replicated Database Systems. |
DASFAA (2) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Shenglong Li, Quanlu Zhang, Zhi Yang 0001, Hanyu Zhao, Yafei Dai |
Building efficient and available distributed transaction with Paxos-based coding consensus. |
INFOCOM Workshops |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Wenmin Lin, Hao Jiang, Nailiang Zhao, Jilin Zhang |
An Optimized Multi-Paxos Protocol with Centralized Failover Mechanism for Cloud Storage Applications. |
CollaborateCom |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Emanuele Giuseppe Esposito, Paulo R. Coelho, Fernando Pedone |
Kernel Paxos. |
SRDS |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Oded Padon, Giuliano Losa, Mooly Sagiv, Sharon Shoham |
Paxos made EPR: decidable reasoning about distributed protocols. |
Proc. ACM Program. Lang. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Jinwei Guo, Jiajia Chu, Peng Cai, Minqi Zhou, Aoying Zhou |
Low-Overhead Paxos Replication. |
Data Sci. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Gustavo M. D. Vieira, Islene C. Garcia, Luiz Eduardo Buzato |
Seamless Paxos Coordinators. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
21 | Oded Padon, Giuliano Losa, Mooly Sagiv, Sharon Shoham |
Paxos Made EPR: Decidable Reasoning about Distributed Protocols. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
21 | Ailidani Ailijiang, Aleksey Charapko, Murat Demirbas, Tevfik Kosar |
Multileader WAN Paxos: Ruling the Archipelago with Fast Consensus. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
21 | Gustavo M. D. Vieira, Luiz Eduardo Buzato |
On the Coordinator's Rule for Fast Paxos. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
21 | Miguel Pires, Srivatsan Ravi, Rodrigo Rodrigues 0001 |
Generalized Paxos Made Byzantine (and Less Complex). |
CoRR |
2017 |
DBLP BibTeX RDF |
|
21 | Rodrigo R. Barbieri, Gustavo M. D. Vieira |
Hardened Paxos Through Consistency Validation. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
21 | Yanhong A. Liu, Saksham Chand, Scott D. Stoller |
Moderately Complex Paxos Made Simple: High-Level Specification of Distributed Algorithm. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
21 | Nadjette Rebouh, Ifeticene Ryma Asma, Aidoun Naoual, Louiza Bouallouche-Medjkoune |
Failure detector-Ring Paxos-based atomic broadcast algorithm. |
Int. J. Crit. Comput. Based Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Heidi Howard, Dahlia Malkhi, Alexander Spiegelman |
Revisiting the Paxos Foundations: A Look at Summer Internship Work at VMware Research. |
ACM SIGOPS Oper. Syst. Rev. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Parisa Jalili Marandi, Marco Primi, Nicolas Schiper, Fernando Pedone |
Ring Paxos: High-Throughput Atomic Broadcast. |
Comput. J. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Miguel Pires, Srivatsan Ravi, Rodrigo Rodrigues 0001 |
Generalized Paxos Made Byzantine (and Less Complex). |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Samuel Benz, Fernando Pedone |
Elastic Paxos: A Dynamic Atomic Multicast Protocol. |
ICDCS |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Conrad Burchert, Roger Wattenhofer |
piChain: When a Blockchain meets Paxos. |
OPODIS |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Tuanir França Rezende, Pierre Sutra, Rodrigo Q. Saramago, Lásaro J. Camargos |
On Making Generalized Paxos Practical. |
AINA |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Cheng Wang 0021, Jianyu Jiang, Xusheng Chen, Ning Yi, Heming Cui |
APUS: fast and scalable paxos on RDMA. |
SoCC |
2017 |
DBLP DOI BibTeX RDF |
|