Eli Gafni - RankMe

146 papers A* 38A 20B 17C 2Misc 7Journal 54Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Brief Announcement: Stranger-Free Tasks. PODC Eli Gafni, Giuliano Losa, Michel Raynal, Gadi Taubenfeld
2025	B	`conf`	How Exhaustive Does an Extension-Based Proof Need to Be? OPODIS Faith Ellen, Shihao Liu, Leqi Zhu, Eli Gafni, Rati Gelashvili
2025	A*	`conf`	Keynote: Examples of Mantras as a Beacon in Guiding Research. PODC Eli Gafni
2025	B	`conf`	Solving Tasks with Fewer Registers Than Processes. OPODIS Eli Gafni, Giuliano Losa, Michel Raynal, Gadi Taubenfeld
2024	A*	`conf`	Brief Announcement: Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model. PODC Giuliano Losa, Eli Gafni
2024	J	`jnl`	Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model. CoRR Giuliano Losa, Eli Gafni
2023	A	`conf`	Brief Announcement: Byzantine Consensus Under Dynamic Participation with a Well-Behaved Majority. DISC Eli Gafni, Giuliano Losa
2023	J	`jnl`	Consensus in the Unknown-Participation Message-Adversary Model. CoRR Giuliano Losa, Eli Gafni
2023	C	`conf`	Invited Paper: Time Is Not a Healer, but It Sure Makes Hindsight 20:20. SSS Eli Gafni, Giuliano Losa
2023	J	`jnl`	Synchrony/Asynchrony vs. Stationary/Mobile? The Latter is Superior...in Theory. CoRR Eli Gafni, Vasileios Zikas
2023	J	`jnl`	Time is not a Healer, but it Sure Makes Hindsight 20: 20. CoRR Eli Gafni, Giuliano Losa
2021	J	`jnl`	The assignment problem. Theor. Comput. Sci. Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Giuliano Losa
2019	J	`jnl`	A King in every two consecutive tournaments. CoRR Yehuda Afek, Eli Gafni, Nati Linial
2019	A*	`conf`	Fast and secure global payments with Stellar. SOSP Marta Lokhava, Giuliano Losa, David Mazières, Graydon Hoare, Nicolas Barry, Eli Gafni, Jonathan Jove, Rafal Malinowsky, Jed McCaleb
2019	A	`conf`	Stellar Consensus by Instantiation. DISC Giuliano Losa, Eli Gafni, David Mazières
2018	A	`conf`	A Wealth of Sub-Consensus Deterministic Objects. DISC Eli Daian, Giuliano Losa, Yehuda Afek, Eli Gafni
2018	J	`jnl`	An algorithmic approach to the asynchronous computability theorem. J. Appl. Comput. Topol. Vikram Saraph, Maurice Herlihy, Eli Gafni
2018	J	`jnl`	Group mutual exclusion in linear time and space. Theor. Comput. Sci. Yuan He, Krishnan Gopalakrishnan, Eli Gafni
2018	Misc	`conf`	The Assignment Problem. ICDCN Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Giuliano Losa
2017	J	`jnl`	An Algorithmic Approach to the Asynchronous Computability Theorem. CoRR Vikram Saraph, Maurice Herlihy, Eli Gafni
2017	J	`jnl`	The Life in 1-Consensus. CoRR Yehuda Afek, Eli Daian, Eli Gafni
2016	A	`conf`	Asynchronous Computability Theorems for t-Resilient Systems. DISC Vikram Saraph, Maurice Herlihy, Eli Gafni
2016	B	`conf`	Asynchronous Coordination Under Preferences and Constraints. SIROCCO Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
2016	A*	`conf`	Brief Announcement: Asynchronous Coordination with Constraints and Preferences. PODC Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
2016	J	`jnl`	Byzantine Processors and Cuckoo Birds: Confining Maliciousness to the Outset. CoRR Danny Dolev, Eli Gafni
2016	A*	`conf`	Deterministic Objects: Life Beyond Consensus. PODC Yehuda Afek, Faith Ellen, Eli Gafni
2016	Misc	`conf`	Group mutual exclusion in linear time and space. ICDCN Yuan He, Krishnan Gopalakrishnan, Eli Gafni
2016	B	`conf`	Read-Write Memory and k-Set Consensus as an Affine Task. OPODIS Eli Gafni, Yuan He, Petr Kuznetsov, Thibault Rieutord
2016	J	`jnl`	Read-Write Memory and k-Set Consensus as an Affine Task. CoRR Eli Gafni, Yuan He, Petr Kuznetsov, Thibault Rieutord
2016	B	`conf`	Set-Consensus Collections are Decidable. OPODIS Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
2016	J	`jnl`	Set-Consensus Collections are Decidable. CoRR Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
2016	J	`jnl`	Some Garbage In - Some Garbage Out: Asynchronous t-Byzantine as Asynchronous Benign t-resilient system with fixed t-Trojan-Horse Inputs. CoRR Danny Dolev, Eli Gafni
2016	J	`jnl`	Synchronous Hybrid Message-Adversary. CoRR Danny Dolev, Eli Gafni
2015	J	`jnl`	A simple characterization of asynchronous computations. Theor. Comput. Sci. Yehuda Afek, Eli Gafni
2015	A	`conf`	Elastic Configuration Maintenance via a Parsimonious Speculating Snapshot Solution. DISC Eli Gafni, Dahlia Malkhi
2015	J	`jnl`	Linear space bootstrap communication schemes. Theor. Comput. Sci. Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Sergio Rajsbaum
2015	J	`jnl`	Wait-freedom with advice. Distributed Comput. Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
2014	A*	`conf`	A generalized asynchronous computability theorem. PODC Eli Gafni, Petr Kuznetsov, Ciprian Manolescu
2014	A	`conf`	Automatically Adjusting Concurrency to the Level of Synchrony. DISC Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
2014	J	`jnl`	Live Equals Fast in Iterated Models. CoRR Zohir Bouzid, Eli Gafni, Petr Kuznetsov
2014	J	`jnl`	Musical Chairs. SIAM J. Discret. Math. Yehuda Afek, Yakov Babichenko, Uriel Feige, Eli Gafni, Nati Linial, Benny Sudakov
2014	J	`jnl`	Set Consensus: Captured by a Set of Runs with Ramifications. CoRR Eli Gafni
2014	J	`jnl`	Snapshot for Time: The One-Shot Case. CoRR Eli Gafni
2014	—	`conf`	Sporadic Solutions to Zero-One Exclusion Tasks. ICALP (1) Eli Gafni, Maurice Herlihy
2014	B	`conf`	Strong Equivalence Relations for Iterated Models. OPODIS Zohir Bouzid, Eli Gafni, Petr Kuznetsov
2013	J	`jnl`	A generalized asynchronous computability theorem CoRR Eli Gafni, Petr Kuznetsov, Ciprian Manolescu
2013	A	`conf`	Adaptive Register Allocation with a Linear Number of Registers. DISC Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Leslie Lamport
2013	Misc	`conf`	Asynchrony from Synchrony. ICDCN Yehuda Afek, Eli Gafni
2013	—	`conf`	Black Art: Obstruction-Free k-set Agreement with \|MWMR registers\| < \|proccesses\|. NETYS Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Sergio Rajsbaum
2013	Misc	`conf`	Linear Space Bootstrap Communication Schemes. ICDCN Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Sergio Rajsbaum
2012	J	`jnl`	Asynchrony from Synchrony CoRR Yehuda Afek, Eli Gafni
2012	J	`jnl`	Musical chairs CoRR Yehuda Afek, Yakov Babichenko, Uriel Feige, Eli Gafni, Nati Linial, Benny Sudakov
2012	A*	`conf`	Wait-freedom with advice. PODC Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
2011	A	`conf`	Brief Announcement: On the Meaning of Solving a Task with a Failure Detector. DISC Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
2011	B	`conf`	Generalized Universality. CONCUR Eli Gafni, Rachid Guerraoui
2011	J	`jnl`	Impersonal Failure Detection CoRR Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
2011	J	`jnl`	Oblivious Collaboration CoRR Yehuda Afek, Yakov Babichenko, Uriel Feige, Eli Gafni, Nati Linial, Benny Sudakov
2011	A	`conf`	Oblivious Collaboration. DISC Yehuda Afek, Yakov Babichenko, Uriel Feige, Eli Gafni, Nati Linial, Benny Sudakov
2011	J	`jnl`	On set consensus numbers. Distributed Comput. Eli Gafni, Petr Kuznetsov
2011	Misc	`conf`	Relating ICDCN Eli Gafni, Petr Kuznetsov
2011	J	`jnl`	The Complexity of Early Deciding Set Agreement. SIAM J. Comput. Eli Gafni, Rachid Guerraoui, Bastian Pochon
2010	A*	`conf`	Brief announcement: on L-resilience, hitting sets, and colorless tasks. PODC Eli Gafni, Petr Kuznetsov
2010	B	`conf`	Distributed Programming with Tasks. OPODIS Eli Gafni, Sergio Rajsbaum
2010	J	`jnl`	L-Resilient Adversaries and Hitting Sets CoRR Eli Gafni, Petr Kuznetsov
2010	C	`conf`	Recursion in Distributed Computing. SSS Eli Gafni, Sergio Rajsbaum
2010	J	`jnl`	The Distributed Comput. Yehuda Afek, Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers
2010	J	`jnl`	The mailbox problem. Distributed Comput. Marcos Kawazoe Aguilera, Eli Gafni, Leslie Lamport
2010	B	`conf`	Turning Adversaries into Friends: Simplified, Made Constructive, and Extended. OPODIS Eli Gafni, Petr Kuznetsov
2009	J	`jnl`	From adaptive renaming to set agreement. Theor. Comput. Sci. Eli Gafni, Achour Mostéfaoui, Michel Raynal, Corentin Travers
2009	A	`conf`	On Set Consensus Numbers. DISC Eli Gafni, Petr Kuznetsov
2009	A*	`conf`	The extended BG-simulation and the characterization of t-resiliency. STOC Eli Gafni
2009	A*	`conf`	The weakest failure detector for solving k-set agreement. PODC Eli Gafni, Petr Kuznetsov
2009	A	`conf`	Tight Group Renaming on Groups of Size g Is Equivalent to g-Consensus. DISC Yehuda Afek, Eli Gafni, Opher Lieber
2008	J	`jnl`	Renaming in synchronous message passing systems with Byzantine failures. Distributed Comput. Michael Okun, Amnon Barak, Eli Gafni
2008	B	`conf`	The 0-1-Exclusion Families of Tasks. OPODIS Eli Gafni
2008	A	`conf`	The Mailbox Problem. DISC Marcos Kawazoe Aguilera, Eli Gafni, Leslie Lamport
2007	J	`jnl`	Common2 extended to stacks and unbounded concurrency. Distributed Comput. Yehuda Afek, Eli Gafni, Adam Morrison
2007	B	`conf`	N-Consensus is the Second Strongest Object for N+1 Processes. OPODIS Eli Gafni, Petr Kuznetsov
2007	B	`conf`	Test & Set, Adaptive Renaming and Set Agreement: a Guided Visit to Asynchronous Computability. SRDS Eli Gafni, Michel Raynal, Corentin Travers
2006	A*	`conf`	Common2 extended to stacks and unbounded concurrency. PODC Yehuda Afek, Eli Gafni, Adam Morrison
2006	—	`conf`	How Deep Should It Be? On the Optimality of Hierarchical Architectures. NGITS Amihai Motro, Alessandro D'Atri, Eli Gafni
2006	Misc	`conf`	Read-Write Reductions. ICDCN Eli Gafni
2006	B	`conf`	Renaming with OPODIS Eli Gafni
2006	Misc	`conf`	Simultaneous Consensus Tasks: A Tighter Characterization of Set-Consensus. ICDCN Yehuda Afek, Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers
2006	A	`conf`	Subconsensus Tasks: Renaming Is Weaker Than Set Agreement. DISC Eli Gafni, Sergio Rajsbaum, Maurice Herlihy
2006	B	`conf`	The Committee Decision Problem. LATIN Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers
2005	A*	`conf`	From a static impossibility to an adaptive lower bound: the complexity of early deciding set agreement. STOC Eli Gafni, Rachid Guerraoui, Bastian Pochon
2005	A	`conf`	Musical Benches. DISC Eli Gafni, Sergio Rajsbaum
2004	A	`conf`	An Information Theoretic Lower Bound for Broadcasting in Radio Networks. STACS Carlos Brito, Eli Gafni, Shailesh Vaya
2004	A	`conf`	Group-Solvability. DISC Eli Gafni
2003	J	`jnl`	Disk Paxos. Distributed Comput. Eli Gafni, Leslie Lamport
2003	A*	`conf`	On using network attached disks as shared memory. PODC Marcos Kawazoe Aguilera, Burkhard Englert, Eli Gafni
2003	A	`conf`	Uniform Solvability with a Finite Number of MWMR Registers. DISC Marcos Kawazoe Aguilera, Burkhard Englert, Eli Gafni
2002	A*	`conf`	A Simple Algorithmic Characterization of Uniform Solvability. FOCS Eli Gafni
2002	J	`jnl`	An adaptive collect algorithm with applications. Distributed Comput. Hagit Attiya, Arie Fouren, Eli Gafni
2002	A	`conf`	Fast Collect in the absence of contention. ICDCS Burkhard Englert, Eli Gafni
2001	J	`jnl`	Analysis of Timing-Based Mutual Exclusion with Random Times. SIAM J. Comput. Eli Gafni, Michael Mitzenmacher
2001	J	`jnl`	The BG distributed simulation algorithm. Distributed Comput. Elizabeth Borowsky, Eli Gafni, Nancy A. Lynch, Sergio Rajsbaum
2001	A*	`conf`	The concurrency hierarchy, and algorithms for unbounded concurrency. PODC Eli Gafni, Michael Merritt, Gadi Taubenfeld
2000	A	`conf`	Disk Paxos. DISC Eli Gafni, Leslie Lamport
1999	A*	`conf`	Analysis of Timing-Based Mutual Exclusion with Random Times. PODC Eli Gafni, Michael Mitzenmacher
1999	—	`ch.`	Distributed Computing. Algorithms and Theory of Computation Handbook Eli Gafni
1999	A*	`conf`	Efficient Methods for Integrating Traceability and Broadcast Encryption. CRYPTO Eli Gafni, Jessica Staddon, Yiqun Lisa Yin
1999	J	`jnl`	Three-Processor Tasks Are Undecidable. SIAM J. Comput. Eli Gafni, Elias Koutsoupias
1998	A*	`conf`	Round-by-Round Fault Detectors: Unifying Synchrony and Asynchrony (Extended Abstract). PODC Eli Gafni
1998	A*	`conf`	Structured Derivations of Consensus Algorithms for Failure Detectors. PODC Jiong Yang, Gil Neiger, Eli Gafni
1997	A*	`conf`	A Simple Algorithmically Reasoned Characterization of Wait-Free Computations (Extended Abstract). PODC Elizabeth Borowsky, Eli Gafni
1997	J	`jnl`	Slide-The Key to Polynomial End-to-End Communication. J. Algorithms Yehuda Afek, Baruch Awerbuch, Eli Gafni, Yishay Mansour, Adi Rosén, Nir Shavit
1996	A*	`conf`	A Proof of a Theorem in Algebraic Topology by a Distributed Algorithm (Abstract). PODC Eli Gafni
1996	A*	`conf`	Simulation as an Iterated Task (Abstract). PODC Eli Gafni
1995	A*	`conf`	3-Processor Tasks Are Undecidable (Abstract). PODC Eli Gafni, Elias Koutsoupias
1995	J	`jnl`	The Supercomputer Supernet: A Scalable Distributed Terabit Network. J. High Speed Networks Leonard Kleinrock, Mario Gerla, Nicholas Bambos, Jason Cong, Eli Gafni, Larry Bergman, Joseph A. Bannister
1994	J	`jnl`	A Bounded First-In, First-Enabled Solution to the l-Exclusion Problem. ACM Trans. Program. Lang. Syst. Yehuda Afek, Danny Dolev, Eli Gafni, Michael Merritt, Nir Shavit
1994	A*	`conf`	Consensus Power Makes (Some) Sense! (Extended Abstract). PODC Elizabeth Borowsky, Eli Gafni, Yehuda Afek
1994	J	`jnl`	Distributed Algorithms for Unidirectional Networks. SIAM J. Comput. Yehuda Afek, Eli Gafni
1993	J	`jnl`	Atomic Snapshots of Shared Memory. J. ACM Yehuda Afek, Hagit Attiya, Danny Dolev, Eli Gafni, Michael Merritt, Nir Shavit
1993	A*	`conf`	Generalized FLP impossibility result for t-resilient asynchronous computations. STOC Elizabeth Borowsky, Eli Gafni
1993	A*	`conf`	Immediate Atomic Snapshots and Fast Renaming (Extended Abstract). PODC Elizabeth Borowsky, Eli Gafni
1992	A*	`conf`	The Slide Mechanism with Applications in Dynamic Networks (Extended Abstract). PODC Yehuda Afek, Eli Gafni, Adi Rosén
1992	—	`conf`	Wait-free Test-and-Set (Extended Abstract). WDAG Yehuda Afek, Eli Gafni, John Tromp, Paul M. B. Vitányi
1991	A*	`conf`	Bootstrap Network Resynchronization (Extended Abstract). PODC Yehuda Afek, Eli Gafni
1991	J	`jnl`	Time and Message Bounds for Election in Synchronous and Asynchronous Complete Networks. SIAM J. Comput. Yehuda Afek, Eli Gafni
1990	—	`conf`	A Bounded First-In, First-Enabled Solution to the 1-Exclusion Problem. WDAG Yehuda Afek, Danny Dolev, Eli Gafni
1990	A*	`conf`	Atomic Snapshots of Shared Memory. PODC Yehuda Afek, Danny Dolev, Hagit Attiya, Eli Gafni, Michael Merritt, Nir Shavit
1989	J	`jnl`	A Distributed Implementation of Simulated Annealing. J. Parallel Distributed Comput. Valmir Carneiro Barbosa, Eli Gafni
1989	J	`jnl`	Concurrency in Heavily Loaded Neighborhood-Constrained Systems. ACM Trans. Program. Lang. Syst. Valmir Carneiro Barbosa, Eli Gafni
1989	J	`jnl`	On Separating the Erew and Crew Pram Models. Theor. Comput. Sci. Eli Gafni, Joseph Naor, Prabhakar Ragde
1989	A*	`conf`	Upper and Lower Bounds for Routing Schemes in Dynamic Networks (Abstract) FOCS Yehuda Afek, Eli Gafni, Moty Ricklin
1988	A*	`conf`	End-to-End Communication in Unreliable Networks. PODC Eli Gafni, Yehuda Afek
1988	J	`jnl`	Sorting in Constant Number of Row and Column Phases on a Mesh. Algorithmica John M. Marberg, Eli Gafni
1988	A*	`conf`	Toward a Non-Atomic Era: \ell-Exclusion as a Test Case STOC Danny Dolev, Eli Gafni, Nir Shavit
1988	A*	`conf`	Understanding and Verifying Distributed Algorithms Using Stratified Decomposition. PODC Ching-Tsun Chou, Eli Gafni
1987	B	`conf`	A Software-Based Hardware Fault Tolerance Scheme for Multicomputers. ICPP Yuval Tamir, Eli Gafni
1987	B	`conf`	An O(n^2 m^1/2) Distributed Max-Flow Algorithm. ICPP John M. Marberg, Eli Gafni
1987	A*	`conf`	Applying Static Network Protocols to Dynamic Networks FOCS Yehuda Afek, Baruch Awerbuch, Eli Gafni
1987	J	`jnl`	Asymptotic optimality of shortest path routing algorithms. IEEE Trans. Inf. Theory Eli Gafni, Dimitri P. Bertsekas
1987	A	`conf`	Concurrency in Heavily Loaded Neighborhood-Constrained Systems. ICDCS Valmir Carneiro Barbosa, Eli Gafni
1987	J	`jnl`	Distributed Sorting Algorithms for Multi-Channel Broadcast Networks. Theor. Comput. Sci. John M. Marberg, Eli Gafni
1987	—	`conf`	Generalized Scheme for Topology-Update in Dynamic Networks. WDAG Eli Gafni
1987	—	`conf`	Local Fail-safe Network Reset Procedure. WDAG Yehuda Afek, Baruch Awerbuch, Eli Gafni
1985	A*	`conf`	Improvements in the Time Complexity of Two Message-Optimal Election Algorithms. PODC Eli Gafni
1985	B	`conf`	Sorting and Selection in Multi-Channel Broadcast Networks. ICPP John M. Marberg, Eli Gafni
1985	A*	`conf`	Time and Message Bounds of Election in Synchronous and Asynchronous Complete Networks. PODC Yehuda Afek, Eli Gafni
1984	A*	`conf`	Election and Traversal in Unidirectional Networks. PODC Eli Gafni, Yehuda Afek
1984	J	`jnl`	Second Derivative Algorithms for Minimum Delay Distributed Routing in Networks. IEEE Trans. Commun. Dimitri P. Bertsekas, Eli Gafni, Robert G. Gallager
1981	J	`jnl`	Distributed Algorithms for Generating Loop-Free Routes in Networks with Frequently Changing Topology. IEEE Trans. Commun. Eli Gafni, Dimitri P. Bertsekas