Eli Gafni

Publication Activity (10 Years)

Years Active: 1981-2023
Publications (10 Years): 31

Top Venues

CoRR

DISC

ICDCN

Theor. Comput. Sci.

Publications

Giuliano Losa, Eli Gafni
Consensus in the Unknown-Participation Message-Adversary Model. CoRR (2023)
Eli Gafni, Giuliano Losa
Time is not a Healer, but it Sure Makes Hindsight 20: 20. CoRR (2023)
Eli Gafni, Vasileios Zikas
Synchrony/Asynchrony vs. Stationary/Mobile? The Latter is Superior...in Theory. CoRR (2023)
Eli Gafni, Giuliano Losa
Brief Announcement: Byzantine Consensus Under Dynamic Participation with a Well-Behaved Majority. DISC (2023)
Eli Gafni, Giuliano Losa
Invited Paper: Time Is Not a Healer, but It Sure Makes Hindsight 20:20. SSS (2023)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Giuliano Losa
The assignment problem. Theor. Comput. Sci. 886 (2021)
Yehuda Afek, Eli Gafni, Nati Linial
A King in every two consecutive tournaments. CoRR (2019)
Giuliano Losa, Eli Gafni, David Mazières
Stellar Consensus by Instantiation. DISC (2019)
Marta Lokhava, Giuliano Losa, David Mazières, Graydon Hoare, Nicolas Barry, Eli Gafni, Jonathan Jove, Rafal Malinowsky, Jed McCaleb
Fast and secure global payments with Stellar. SOSP (2019)
Eli Daian, Giuliano Losa, Yehuda Afek, Eli Gafni
A Wealth of Sub-Consensus Deterministic Objects. DISC (2018)
Yuan He, Krishnan Gopalakrishnan, Eli Gafni
Group mutual exclusion in linear time and space. Theor. Comput. Sci. 709 (2018)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Giuliano Losa
The Assignment Problem. ICDCN (2018)
Vikram Saraph, Maurice Herlihy, Eli Gafni
An algorithmic approach to the asynchronous computability theorem. J. Appl. Comput. Topol. 1 (3-4) (2018)
Vikram Saraph, Maurice Herlihy, Eli Gafni
An Algorithmic Approach to the Asynchronous Computability Theorem. CoRR (2017)
Yehuda Afek, Eli Daian, Eli Gafni
The Life in 1-Consensus. CoRR (2017)
Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
Brief Announcement: Asynchronous Coordination with Constraints and Preferences. PODC (2016)
Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
Asynchronous Coordination Under Preferences and Constraints. SIROCCO (2016)
Yuan He, Krishnan Gopalakrishnan, Eli Gafni
Group mutual exclusion in linear time and space. ICDCN (2016)
Danny Dolev, Eli Gafni
Synchronous Hybrid Message-Adversary. CoRR (2016)
Eli Gafni, Yuan He, Petr Kuznetsov, Thibault Rieutord
Read-Write Memory and k-Set Consensus as an Affine Task. CoRR (2016)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
Set-Consensus Collections are Decidable. CoRR (2016)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
Set-Consensus Collections are Decidable. OPODIS (2016)
Vikram Saraph, Maurice Herlihy, Eli Gafni
Asynchronous Computability Theorems for t-Resilient Systems. DISC (2016)
Danny Dolev, Eli Gafni
Some Garbage In - Some Garbage Out: Asynchronous t-Byzantine as Asynchronous Benign t-resilient system with fixed t-Trojan-Horse Inputs. CoRR (2016)
Yehuda Afek, Faith Ellen, Eli Gafni
Deterministic Objects: Life Beyond Consensus. PODC (2016)
Danny Dolev, Eli Gafni
Byzantine Processors and Cuckoo Birds: Confining Maliciousness to the Outset. CoRR (2016)
Eli Gafni, Yuan He, Petr Kuznetsov, Thibault Rieutord
Read-Write Memory and k-Set Consensus as an Affine Task. OPODIS (2016)
Eli Gafni, Dahlia Malkhi
Elastic Configuration Maintenance via a Parsimonious Speculating Snapshot Solution. DISC (2015)
Yehuda Afek, Eli Gafni
A simple characterization of asynchronous computations. Theor. Comput. Sci. 561 (2015)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
Wait-freedom with advice. Distributed Comput. 28 (1) (2015)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Sergio Rajsbaum
Linear space bootstrap communication schemes. Theor. Comput. Sci. 561 (2015)
Eli Gafni
Snapshot for Time: The One-Shot Case. CoRR (2014)
Eli Gafni, Petr Kuznetsov, Ciprian Manolescu
A generalized asynchronous computability theorem. PODC (2014)
Zohir Bouzid, Eli Gafni, Petr Kuznetsov
Strong Equivalence Relations for Iterated Models. OPODIS (2014)
Eli Gafni, Maurice Herlihy
Sporadic Solutions to Zero-One Exclusion Tasks. ICALP (1) (2014)
Yehuda Afek, Yakov Babichenko, Uriel Feige, Eli Gafni, Nati Linial, Benny Sudakov
Musical Chairs. SIAM J. Discret. Math. 28 (3) (2014)
Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
Automatically Adjusting Concurrency to the Level of Synchrony. DISC (2014)
Zohir Bouzid, Eli Gafni, Petr Kuznetsov
Live Equals Fast in Iterated Models. CoRR (2014)
Eli Gafni
Set Consensus: Captured by a Set of Runs with Ramifications. CoRR (2014)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Leslie Lamport
Adaptive Register Allocation with a Linear Number of Registers. DISC (2013)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Sergio Rajsbaum
Black Art: Obstruction-Free k-set Agreement with |MWMR registers| < |proccesses|. NETYS (2013)
Eli Gafni, Petr Kuznetsov, Ciprian Manolescu
A generalized asynchronous computability theorem CoRR (2013)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Sergio Rajsbaum
Linear Space Bootstrap Communication Schemes. ICDCN (2013)
Yehuda Afek, Eli Gafni
Asynchrony from Synchrony. ICDCN (2013)
Yehuda Afek, Yakov Babichenko, Uriel Feige, Eli Gafni, Nati Linial, Benny Sudakov
Musical chairs CoRR (2012)
Yehuda Afek, Eli Gafni
Asynchrony from Synchrony CoRR (2012)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
Wait-freedom with advice. PODC (2012)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
Brief Announcement: On the Meaning of Solving a Task with a Failure Detector. DISC (2011)
Yehuda Afek, Yakov Babichenko, Uriel Feige, Eli Gafni, Nati Linial, Benny Sudakov
Oblivious Collaboration. DISC (2011)
Eli Gafni, Petr Kuznetsov
\mathcal{L}-Resilience and Wait-Freedom via Hitting Sets. ICDCN (2011)
Eli Gafni, Rachid Guerraoui
Generalized Universality. CONCUR (2011)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
Impersonal Failure Detection CoRR (2011)
Eli Gafni, Petr Kuznetsov
On set consensus numbers. Distributed Comput. 24 (3-4) (2011)
Yehuda Afek, Yakov Babichenko, Uriel Feige, Eli Gafni, Nati Linial, Benny Sudakov
Oblivious Collaboration CoRR (2011)
Eli Gafni, Rachid Guerraoui, Bastian Pochon
The Complexity of Early Deciding Set Agreement. SIAM J. Comput. 40 (1) (2011)
Eli Gafni, Sergio Rajsbaum
Distributed Programming with Tasks. OPODIS (2010)
Eli Gafni, Sergio Rajsbaum
Recursion in Distributed Computing. SSS (2010)
Eli Gafni, Petr Kuznetsov
Brief announcement: on L-resilience, hitting sets, and colorless tasks. PODC (2010)
Eli Gafni, Petr Kuznetsov
Turning Adversaries into Friends: Simplified, Made Constructive, and Extended. OPODIS (2010)
Eli Gafni, Petr Kuznetsov
L-Resilient Adversaries and Hitting Sets CoRR (2010)
Yehuda Afek, Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers
-simultaneous consensus problem. Distributed Comput. 22 (3) (2010)
Marcos Kawazoe Aguilera, Eli Gafni, Leslie Lamport
The mailbox problem. Distributed Comput. 23 (2) (2010)
Eli Gafni, Petr Kuznetsov
The weakest failure detector for solving k-set agreement. PODC (2009)
Yehuda Afek, Eli Gafni, Opher Lieber
Tight Group Renaming on Groups of Size g Is Equivalent to g-Consensus. DISC (2009)
Eli Gafni, Achour Mostéfaoui, Michel Raynal, Corentin Travers
From adaptive renaming to set agreement. Theor. Comput. Sci. 410 (14) (2009)
Eli Gafni, Petr Kuznetsov
On Set Consensus Numbers. DISC (2009)
Eli Gafni
The extended BG-simulation and the characterization of t-resiliency. STOC (2009)
Eli Gafni
The 0-1-Exclusion Families of Tasks. OPODIS (2008)
Michael Okun, Amnon Barak, Eli Gafni
Renaming in synchronous message passing systems with Byzantine failures. Distributed Comput. 20 (6) (2008)
Marcos Kawazoe Aguilera, Eli Gafni, Leslie Lamport
The Mailbox Problem. DISC (2008)
Eli Gafni, Petr Kuznetsov
N-Consensus is the Second Strongest Object for N+1 Processes. OPODIS (2007)
Eli Gafni, Michel Raynal, Corentin Travers
Test & Set, Adaptive Renaming and Set Agreement: a Guided Visit to Asynchronous Computability. SRDS (2007)
Yehuda Afek, Eli Gafni, Adam Morrison
Common2 extended to stacks and unbounded concurrency. Distributed Comput. 20 (4) (2007)
Eli Gafni, Sergio Rajsbaum, Maurice Herlihy
Subconsensus Tasks: Renaming Is Weaker Than Set Agreement. DISC (2006)
Yehuda Afek, Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers
Simultaneous Consensus Tasks: A Tighter Characterization of Set-Consensus. ICDCN (2006)
Eli Gafni
- 1 Slots. OPODIS (2006)
Amihai Motro, Alessandro D'Atri, Eli Gafni
How Deep Should It Be? On the Optimality of Hierarchical Architectures. NGITS (2006)
Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers
The Committee Decision Problem. LATIN (2006)
Eli Gafni
Read-Write Reductions. ICDCN (2006)
Yehuda Afek, Eli Gafni, Adam Morrison
Common2 extended to stacks and unbounded concurrency. PODC (2006)
Eli Gafni, Rachid Guerraoui, Bastian Pochon
From a static impossibility to an adaptive lower bound: the complexity of early deciding set agreement. STOC (2005)
Eli Gafni, Sergio Rajsbaum
Musical Benches. DISC (2005)
Carlos Brito, Eli Gafni, Shailesh Vaya
An Information Theoretic Lower Bound for Broadcasting in Radio Networks. STACS (2004)
Eli Gafni
Group-Solvability. DISC (2004)
Marcos Kawazoe Aguilera, Burkhard Englert, Eli Gafni
Uniform Solvability with a Finite Number of MWMR Registers. DISC (2003)
Eli Gafni, Leslie Lamport
Disk Paxos. Distributed Comput. 16 (1) (2003)
Marcos Kawazoe Aguilera, Burkhard Englert, Eli Gafni
On using network attached disks as shared memory. PODC (2003)
Burkhard Englert, Eli Gafni
Fast Collect in the absence of contention. ICDCS (2002)
Hagit Attiya, Arie Fouren, Eli Gafni
An adaptive collect algorithm with applications. Distributed Comput. 15 (2) (2002)
Eli Gafni
A Simple Algorithmic Characterization of Uniform Solvability. FOCS (2002)
Elizabeth Borowsky, Eli Gafni, Nancy A. Lynch, Sergio Rajsbaum
The BG distributed simulation algorithm. Distributed Comput. 14 (3) (2001)
Eli Gafni, Michael Mitzenmacher
Analysis of Timing-Based Mutual Exclusion with Random Times. SIAM J. Comput. 31 (3) (2001)
Eli Gafni, Michael Merritt, Gadi Taubenfeld
The concurrency hierarchy, and algorithms for unbounded concurrency. PODC (2001)
Eli Gafni, Leslie Lamport
Disk Paxos. DISC (2000)
Eli Gafni, Michael Mitzenmacher
Analysis of Timing-Based Mutual Exclusion with Random Times. PODC (1999)
Eli Gafni, Jessica Staddon, Yiqun Lisa Yin
Efficient Methods for Integrating Traceability and Broadcast Encryption. CRYPTO (1999)
Eli Gafni, Elias Koutsoupias
Three-Processor Tasks Are Undecidable. SIAM J. Comput. 28 (3) (1999)
Eli Gafni
Round-by-Round Fault Detectors: Unifying Synchrony and Asynchrony (Extended Abstract). PODC (1998)
Jiong Yang, Gil Neiger, Eli Gafni
Structured Derivations of Consensus Algorithms for Failure Detectors. PODC (1998)
Elizabeth Borowsky, Eli Gafni
A Simple Algorithmically Reasoned Characterization of Wait-Free Computations (Extended Abstract). PODC (1997)

Eli Gafni.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Eli Gafni