Hagit Attiya - RankMe

281 papers A* 52A 30B 36C 6Misc 4Journal 129Unranked 17

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Arbitration-Free Consistency Is Available (and Vice Versa). Proc. ACM Program. Lang. Hagit Attiya, Constantin Enea, Enrique Román-Calvo
2025	J	`jnl`	Arbitration-Free Consistency is Available (and Vice Versa). CoRR Hagit Attiya, Constantin Enea, Enrique Román-Calvo
2025	J	`jnl`	Asynchronous fully-decentralized SGD in the cluster-based model. Theor. Comput. Sci. Hagit Attiya, Noa Schiller
2025	A	`conf`	Auditable Shared Objects: From Registers to Synchronization Primitives. DISC Hagit Attiya, Antonio Fernández Anta, Alessia Milani, Alexandre Rapetti, Corentin Travers
2025	J	`jnl`	Auditable Shared Objects: From Registers to Synchronization Primitives. CoRR Hagit Attiya, Antonio Fernández Anta, Alessia Milani, Alexandre Rapetti, Corentin Travers
2025	A*	`conf`	Auditing without Leaks Despite Curiosity. PODC Hagit Attiya, Antonio Fernández Anta, Alessia Milani, Alexandre Rapetti, Corentin Travers
2025	J	`jnl`	Auditing without Leaks Despite Curiosity. CoRR Hagit Attiya, Antonio Fernández Anta, Alessia Milani, Alexandre Rapetti, Corentin Travers
2025	J	`jnl`	Beyond Canonical Rounds: Communication Abstractions for Optimal Byzantine Resilience. CoRR Hagit Attiya, Itay Flam, Jennifer L. Welch
2025	A	`conf`	Brief Announcement: Communication Patterns for Optimal Resilience. DISC Hagit Attiya, Itay Flam, Jennifer L. Welch
2025	J	`jnl`	Equivalence and Separation between Heard-Of and Asynchronous Message-Passing Models. CoRR Hagit Attiya, Armando Castañeda, Dhrubajyoti Ghosh, Thomas Nowak
2025	A*	`conf`	History-Independent Concurrent Hash Tables. STOC Hagit Attiya, Michael A. Bender, Martín Farach-Colton, Rotem Oshman, Noa Schiller
2025	J	`jnl`	History-Independent Concurrent Hash Tables. CoRR Hagit Attiya, Michael A. Bender, Martín Farach-Colton, Rotem Oshman, Noa Schiller
2025	B	`conf`	On the Existence of Extension-Based Proofs of Impossibility for Set-Agreement. SIROCCO Hagit Attiya, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum
2025	J	`jnl`	Preserving hyperproperties of programs using primitives with consensus number 2. Acta Informatica Hagit Attiya, Armando Castañeda, Constantin Enea
2025	B	`conf`	Recoverable Lock-Free Locks. OPODIS Hagit Attiya, Panagiota Fatourou, Eleftherios Kosmas, Yuanhao Wei
2025	J	`jnl`	Recoverable Lock-Free Locks. CoRR Hagit Attiya, Panagiota Fatourou, Eleftherios Kosmas, Yuanhao Wei
2025	A*	`conf`	Solvability Characterization for General Three-Process Tasks. PODC Hagit Attiya, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum
2025	J	`jnl`	The Power of Strong Linearizability: the Difficulty of Consistent Refereeing. CoRR Hagit Attiya, Armando Castañeda, Constantin Enea
2024	A	`conf`	Brief Announcement: Solvability of Three-Process General Tasks. DISC Hagit Attiya, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum
2024	A*	`conf`	History-Independent Concurrent Objects. PODC Hagit Attiya, Michael A. Bender, Martín Farach-Colton, Rotem Oshman, Noa Schiller
2024	J	`jnl`	History-Independent Concurrent Objects. CoRR Hagit Attiya, Michael A. Bender, Martin Farach-Colton, Rotem Oshman, Noa Schiller
2024	J	`jnl`	Lower Bounds on the Amortized Time Complexity of Shared Objects. Theory Comput. Syst. Hagit Attiya, Arie Fouren, Jeremy Ko
2024	J	`jnl`	Special issue on PODC 2021 and DISC 2021. Distributed Comput. Hagit Attiya
2024	A*	`conf`	Strong Linearizability using Primitives with Consensus Number 2. PODC Hagit Attiya, Armando Castañeda, Constantin Enea
2024	J	`jnl`	Strong Linearizability using Primitives with Consensus Number 2. CoRR Hagit Attiya, Armando Castañeda, Constantin Enea
2023	C	`conf`	Asynchronous Fully-Decentralized SGD in the Cluster-Based Model. CIAC Hagit Attiya, Noa Schiller
2023	B	`conf`	Bounds on Worst-Case Responsiveness for Agreement Algorithms. OPODIS Hagit Attiya, Jennifer L. Welch
2023	A	`conf`	Brief Announcement: Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit. DISC Hagit Attiya, Jennifer L. Welch
2023	A	`conf`	Brief Announcement: Recoverable and Detectable Self-Implementations of Swap. DISC Tomer Lev Lehman, Hagit Attiya, Danny Hendler
2023	B	`conf`	Faithful Simulation of Randomized BFT Protocols on Block DAGs. CONCUR Hagit Attiya, Constantin Enea, Shafik Nassar
2023	J	`jnl`	Faithful Simulation of Randomized BFT Protocols on Block DAGs. IACR Cryptol. ePrint Arch. Hagit Attiya, Constantin Enea, Shafik Nassar
2023	J	`jnl`	Locally solvable tasks and the limitations of valency arguments. J. Parallel Distributed Comput. Hagit Attiya, Armando Castañeda, Sergio Rajsbaum
2023	B	`conf`	Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit. OPODIS Hagit Attiya, Jennifer L. Welch
2023	J	`jnl`	Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit. CoRR Hagit Attiya, Jennifer L. Welch
2023	A	`conf`	One Step Forward, One Step Back: FLP-Style Proofs and the Round-Reduction Technique for Colorless Tasks. DISC Hagit Attiya, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum
2023	J	`jnl`	One Step Forward, One Step Back: FLP-Style Proofs and the Round-Reduction Technique for Colorless Tasks. CoRR Hagit Attiya, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum
2023	B	`conf`	Recoverable and Detectable Self-Implementations of Swap. OPODIS Tomer Lev Lehman, Hagit Attiya, Danny Hendler
2023	J	`jnl`	Recoverable and Detectable Self-Implementations of Swap. CoRR Tomer Lev Lehman, Hagit Attiya, Danny Hendler
2023	J	`jnl`	Special issue on DISC 2019. Distributed Comput. Hagit Attiya
2023	B	`conf`	The Synchronization Power of Auditable Registers. OPODIS Hagit Attiya, Antonella Del Pozzo, Alessia Milani, Ulysse Pavloff, Alexandre Rapetti
2023	J	`jnl`	The Synchronization Power of Auditable Registers. CoRR Hagit Attiya, Antonella Del Pozzo, Alessia Milani, Ulysse Pavloff, Alexandre Rapetti
2023	A	`conf`	Topological Characterization of Task Solvability in General Models of Computation. DISC Hagit Attiya, Armando Castañeda, Thomas Nowak
2023	J	`jnl`	Topological Characterization of Task Solvability in General Models of Computation. CoRR Hagit Attiya, Armando Castañeda, Thomas Nowak
2022	J	`jnl`	Asynchronous Fully-Decentralized SGD in the Cluster-Based Model. CoRR Hagit Attiya, Noa Schiller
2022	A*	`conf`	Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations. PODC Hagit Attiya, Constantin Enea, Jennifer L. Welch
2022	B	`conf`	Detectable recovery of lock-free data structures. PPoPP Hagit Attiya, Ohad Ben-Baruch, Panagiota Fatourou, Danny Hendler, Eleftherios Kosmas
2022	J	`jnl`	Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492). Dagstuhl Reports Hagit Attiya, Constantin Enea, Sergio Rajsbaum, Ana Sokolova
2022	J	`jnl`	NVM-ESR: Using Non-Volatile Memory in Exact State Reconstruction of Preconditioned Conjugate Gradient. CoRR Yehonatan Fridman, Yaniv Snir, Harel Levin, Danny Hendler, Hagit Attiya, Gal Oren
2022	—	`conf`	Recovery of Distributed Iterative Solvers for Linear Systems Using Non-Volatile RAM. FTXS@SC Yehonatan Fridman, Yaniv Snir, Harel Levin, Danny Hendler, Hagit Attiya, Gal Oren
2022	J	`jnl`	Separating lock-freedom from wait-freedom at every level of the consensus hierarchy. J. Parallel Distributed Comput. Hagit Attiya, Armando Castañeda, Danny Hendler, Matthieu Perrin
2022	J	`jnl`	Special issue on DISC 2020. Distributed Comput. Hagit Attiya
2022	J	`jnl`	Special issue on PODC 2020. Distributed Comput. Hagit Attiya
2022	J	`jnl`	Store-collect in the presence of continuous churn with application to snapshots and lattice agreement. Inf. Comput. Hagit Attiya, Sweta Kumari, Archit Somani, Jennifer L. Welch
2022	B	`conf`	The Step Complexity of Multidimensional Approximate Agreement. OPODIS Hagit Attiya, Faith Ellen
2021	A*	`conf`	2021 Principles of Distributed Computing Doctoral Dissertation Award. PODC Marcos K. Aguilera, Hagit Attiya, Christian Cachin, Alessandro Panconesi
2021	—	`conf`	Assessing the Use Cases of Persistent Memory in High-Performance Scientific Computing. FTXS@SC Yehonatan Fridman, Yaniv Snir, Matan Rusanovsky, Kfir Zvi, Harel Levin, Danny Hendler, Hagit Attiya, Gal Oren
2021	J	`jnl`	Assessing the Use Cases of Persistent Memory in High-Performance Scientific Computing. CoRR Yehonatan Fridman, Yaniv Snir, Matan Rusanovsky, Kfir Zvi, Harel Levin, Danny Hendler, Hagit Attiya, Gal Oren
2021	C	`conf`	Flat-Combining-Based Persistent Data Structures for Non-volatile Memory. SSS Matan Rusanovsky, Hagit Attiya, Ohad Ben-Baruch, Tom Gerby, Danny Hendler, Pedro Ramalhete
2021	A	`conf`	Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers. DISC Hagit Attiya, Constantin Enea, Jennifer L. Welch
2021	J	`jnl`	Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers. CoRR Hagit Attiya, Constantin Enea, Jennifer L. Welch
2021	J	`jnl`	Linearizable Implementations Suffice for Termination of Randomized Concurrent Programs. CoRR Hagit Attiya, Constantin Enea, Jennifer L. Welch
2021	B	`conf`	Recoverable and Detectable Fetch&Add. OPODIS Liad Nahum, Hagit Attiya, Ohad Ben-Baruch, Danny Hendler
2021	J	`jnl`	Special issue on PODC 2018 and DISC 2018. Distributed Comput. Hagit Attiya
2021	J	`jnl`	Special issue on PODC 2019. Distributed Comput. Hagit Attiya
2021	J	`jnl`	Specification and space complexity of collaborative text editing. Theor. Comput. Sci. Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
2020	A	`ed.`	34th International Symposium on Distributed Computing, DISC 2020, Virtual Conference, October 12-16, 2020 DISC Hagit Attiya
2020	A*	`conf`	Brief Announcement: Collect in the Presence of Continuous Churn with Application to Snapshots and Lattice Agreement. PODC Hagit Attiya, Sweta Kumari, Archit Somani, Jennifer L. Welch
2020	J	`jnl`	Editorial: Special issue of PODC 2017 and DISC 2017. Distributed Comput. Hagit Attiya
2020	—	`conf`	Efficient Concurrent Execution of Smart Contracts in Blockchains Using Object-Based Transactional Memory. NETYS Parwat Singh Anjana, Hagit Attiya, Sweta Kumari, Sathya Peri, Archit Somani
2020	J	`jnl`	Indistinguishability. Commun. ACM Hagit Attiya, Sergio Rajsbaum
2020	B	`conf`	Locally Solvable Tasks and the Limitations of Valency Arguments. OPODIS Hagit Attiya, Armando Castañeda, Sergio Rajsbaum
2020	J	`jnl`	Locally Solvable Tasks and the Limitations of Valency Arguments. CoRR Hagit Attiya, Armando Castañeda, Sergio Rajsbaum
2020	B	`conf`	Optimal Resilience in Systems That Mix Shared Memory and Message Passing. OPODIS Hagit Attiya, Sweta Kumari, Noa Schiller
2020	J	`jnl`	Optimal Resilience in Systems that Mix Shared Memory and Message Passing. CoRR Hagit Attiya, Sweta Kumari, Noa Schiller
2020	—	`conf`	Staleness and Local Progress in Transactional Memory. NETYS Hagit Attiya, Panagiota Fatourou, Sandeep Hans, Eleni Kanellou
2020	C	`conf`	Store-Collect in the Presence of Continuous Churn with Application to Snapshots and Lattice Agreement. SSS Hagit Attiya, Sweta Kumari, Archit Somani, Jennifer L. Welch
2020	J	`jnl`	Store-Collect in the Presence of Continuous Churn with Application to Snapshots and Lattice Agreement. CoRR Hagit Attiya, Sweta Kumari, Archit Somani, Jennifer L. Welch
2020	B	`conf`	Tracking in Order to Recover - Detectable Recovery of Lock-Free Data Structures. SPAA Hagit Attiya, Ohad Ben-Baruch, Panagiota Fatourou, Danny Hendler, Eleftherios Kosmas
2019	J	`jnl`	Bounds on the Step and Namespace Complexity of Renaming. SIAM J. Comput. Hagit Attiya, Armando Castañeda, Maurice Herlihy, Ami Paz
2019	J	`jnl`	Emulating a Shared Register in a System That Never Stops Changing. IEEE Trans. Parallel Distributed Syst. Hagit Attiya, Hyun Chul Chung, Faith Ellen, Saptaparni Kumar, Jennifer L. Welch
2019	J	`jnl`	Privatization-Safe Transactional Memories (Extended Version). CoRR Artem Khyzha, Hagit Attiya, Alexey Gotsman
2019	A	`conf`	Privatization-Safe Transactional Memories. DISC Artem Khyzha, Hagit Attiya, Alexey Gotsman
2019	J	`jnl`	Putting Strong Linearizability in Context: Preserving Hyperproperties in Programs that Use Concurrent Objects. CoRR Hagit Attiya, Constantin Enea
2019	A	`conf`	Putting Strong Linearizability in Context: Preserving Hyperproperties in Programsthat Use Concurrent Objects. DISC Hagit Attiya, Constantin Enea
2019	—	`ch.`	Shared memory and the Bakery algorithm. Concurrency: the Works of Leslie Lamport Hagit Attiya, Jennifer L. Welch
2019	J	`jnl`	Special issue on PODC 2015 and PODC 2016. Distributed Comput. Hagit Attiya
2019	J	`jnl`	Tracking in Order to Recover: Recoverable Lock-Free Data Structures. CoRR Hagit Attiya, Ohad Ben-Baruch, Panagiota Fatourou, Danny Hendler, Eleftherios Kosmas
2018	J	`jnl`	Characterizing Transactional Memory Consistency Conditions Using Observational Refinement. J. ACM Hagit Attiya, Alexey Gotsman, Sandeep Hans, Noam Rinetzky
2018	J	`jnl`	Erratum: Limited-Use Atomic Snapshots with Polylogarithmic Step Complexity. J. ACM James Aspnes, Hagit Attiya, Keren Censor-Hillel, Faith Ellen
2018	A*	`conf`	Nesting-Safe Recoverable Linearizability: Modular Constructions for Non-Volatile Memory. PODC Hagit Attiya, Ohad Ben-Baruch, Danny Hendler
2018	J	`jnl`	Nontrivial and universal helping for wait-free queues and stacks. J. Parallel Distributed Comput. Hagit Attiya, Armando Castañeda, Danny Hendler
2018	J	`jnl`	Safe Privatization in Transactional Memory. CoRR Artem Khyzha, Hagit Attiya, Alexey Gotsman, Noam Rinetzky
2018	B	`conf`	Safe privatization in transactional memory. PPoPP Artem Khyzha, Hagit Attiya, Alexey Gotsman, Noam Rinetzky
2018	A*	`conf`	Separating Lock-Freedom from Wait-Freedom. PODC Hagit Attiya, Armando Castañeda, Danny Hendler, Matthieu Perrin
2017	J	`jnl`	Limitations of Highly-Available Eventually-Consistent Data Stores. IEEE Trans. Parallel Distributed Syst. Hagit Attiya, Faith Ellen, Adam Morrison
2017	B	`conf`	Lower Bounds on the Amortized Time Complexity of Shared Objects. OPODIS Hagit Attiya, Arie Fouren
2017	J	`jnl`	Poly-logarithmic adaptive algorithms require revealing primitives. J. Parallel Distributed Comput. Hagit Attiya, Arie Fouren
2017	B	`conf`	Remote Memory References at Block Granularity. OPODIS Hagit Attiya, Gili Yavneh
2017	J	`jnl`	Simulating a Shared Register in a System that Never Stops Changing. CoRR Hagit Attiya, Hyun Chul Chung, Faith Ellen, Saptaparni Kumar, Jennifer L. Welch
2017	J	`jnl`	Special issue on DISC 2013, 2014 and PODC 2014. Distributed Comput. Hagit Attiya
2016	J	`jnl`	Counting-based impossibility proofs for set agreement and renaming. J. Parallel Distributed Comput. Hagit Attiya, Ami Paz
2016	A	`conf`	Lower Bound on the Step Complexity of Anonymous Binary Consensus. DISC Hagit Attiya, Ohad Ben-Baruch, Danny Hendler
2016	J	`jnl`	Lower Bounds for Restricted-Use Objects. SIAM J. Comput. James Aspnes, Keren Censor-Hillel, Hagit Attiya, Danny Hendler
2016	J	`jnl`	Special issue in memory of Berthold Vöcking. Distributed Comput. Hagit Attiya
2016	A*	`conf`	Specification and Complexity of Collaborative Text Editing. PODC Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
2015	—	`ch.`	Directory Protocols for Distributed Transactional Memory. Transactional Memory Hagit Attiya, Vincent Gramoli, Alessia Milani
2015	—	`ch.`	Disjoint-Access Parallelism in Software Transactional Memory. Transactional Memory Hagit Attiya, Panagiota Fatourou
2015	A*	`conf`	Limitations of Highly-Available Eventually-Consistent Data Stores. PODC Hagit Attiya, Faith Ellen, Adam Morrison
2015	J	`jnl`	Limited-Use Atomic Snapshots with Polylogarithmic Step Complexity. J. ACM James Aspnes, Hagit Attiya, Keren Censor-Hillel, Faith Ellen
2015	B	`conf`	Nontrivial and Universal Helping for Wait-Free Queues and Stacks. OPODIS Hagit Attiya, Armando Castañeda, Danny Hendler
2015	B	`conf`	Poly-Logarithmic Adaptive Algorithms Require Unconditional Primitives. OPODIS Hagit Attiya, Arie Fouren
2015	J	`jnl`	Practically stabilizing SWMR atomic memory in message-passing systems. J. Comput. Syst. Sci. Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil
2015	—	`ch.`	Safety and Deferred Update in Transactional Memory. Transactional Memory Hagit Attiya, Sandeep Hans, Petr Kuznetsov, Srivatsan Ravi
2015	A	`conf`	Simulating a Shared Register in an Asynchronous System that Never Stops Changing - (Extended Abstract). DISC Hagit Attiya, Hyun Chul Chung, Faith Ellen, Saptaparni Kumar, Jennifer L. Welch
2015	A*	`conf`	Trading Fences with RMRs and Separating Memory Models. PODC Hagit Attiya, Danny Hendler, Philipp Woelfel
2014	A*	`conf`	Concurrent updates with RCU: search tree as an example. PODC Maya Arbel, Hagit Attiya
2014	—	`book`	Impossibility Results for Distributed Computing Hagit Attiya, Faith Ellen
2014	J	`jnl`	Lower Bounds and Impossibility Results for Transactional Memory Computing. Bull. EATCS Hagit Attiya
2014	A	`conf`	Safety of Live Transactions in Transactional Memory: TMS is Necessary and Sufficient. DISC Hagit Attiya, Alexey Gotsman, Sandeep Hans, Noam Rinetzky
2013	J	`jnl`	A non-topological proof for the impossibility of k-set agreement. Theor. Comput. Sci. Hagit Attiya, Armando Castañeda
2013	A*	`conf`	A programming language perspective on transactional memory consistency. PODC Hagit Attiya, Alexey Gotsman, Sandeep Hans, Noam Rinetzky
2013	A*	`conf`	An O(1)-barriers optimal RMRs mutual exclusion algorithm: extended abstract. PODC Hagit Attiya, Danny Hendler, Smadar Levy
2013	J	`jnl`	Built-in Coloring for Highly-Concurrent Doubly-Linked Lists. Theory Comput. Syst. Hagit Attiya, Eshcar Hillel
2013	J	`jnl`	Safety of Deferred Update in Transactional Memory CoRR Hagit Attiya, Sandeep Hans, Petr Kuznetsov, Srivatsan Ravi
2013	A	`conf`	Safety of Deferred Update in Transactional Memory. ICDCS Hagit Attiya, Sandeep Hans, Petr Kuznetsov, Srivatsan Ravi
2013	J	`jnl`	The Cost of Privatization in Software Transactional Memory. IEEE Trans. Computers Hagit Attiya, Eshcar Hillel
2013	A*	`conf`	Upper bound on the complexity of solving hard renaming. PODC Hagit Attiya, Armando Castañeda, Maurice Herlihy, Ami Paz
2012	J	`jnl`	A Single-Version STM that Is Multi-Versioned Permissive. Theory Comput. Syst. Hagit Attiya, Eshcar Hillel
2012	J	`jnl`	Announcement: best reviewer award 2011. Distributed Comput. Hagit Attiya
2012	A	`conf`	Counting-Based Impossibility Proofs for Renaming and Set Agreement. DISC Hagit Attiya, Ami Paz
2012	B	`conf`	Early Deciding Synchronous Renaming in O( logf ) Rounds or Less. SIROCCO Dan Alistarh, Hagit Attiya, Rachid Guerraoui, Corentin Travers
2012	A*	`conf`	Faster than optimal snapshots (for a while): preliminary version. PODC James Aspnes, Hagit Attiya, Keren Censor-Hillel, Faith Ellen
2012	B	`conf`	Lower bounds for restricted-use objects: extended abstract. SPAA James Aspnes, Hagit Attiya, Keren Censor-Hillel, Danny Hendler
2012	J	`jnl`	Polylogarithmic concurrent data structures from monotone circuits. J. ACM James Aspnes, Hagit Attiya, Keren Censor-Hillel
2012	J	`jnl`	Transactional scheduling for read-dominated workloads. J. Parallel Distributed Comput. Hagit Attiya, Alessia Milani
2011	C	`conf`	A Non-topological Proof for the Impossibility of k-Set Agreement. SSS Hagit Attiya, Armando Castañeda
2011	J	`jnl`	Highly concurrent multi-word synchronization. Theor. Comput. Sci. Hagit Attiya, Eshcar Hillel
2011	J	`jnl`	Inherent Limitations on Disjoint-Access Parallel Implementations of Transactional Memory. Theory Comput. Syst. Hagit Attiya, Eshcar Hillel, Alessia Milani
2011	Misc	`conf`	Invited Paper: The Inherent Complexity of Transactional Memory and What to Do about It. ICDCN Hagit Attiya
2011	A*	`conf`	Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated. POPL Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov, Maged M. Michael, Martin T. Vechev
2011	C	`conf`	Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems. SSS Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil
2011	J	`jnl`	Sharing memories, robustly. SIGACT News Hagit Attiya
2011	Misc	`conf`	Single-Version STMs Can Be Multi-version Permissive (Extended Abstract). ICDCN Hagit Attiya, Eshcar Hillel
2011	A	`conf`	Structured Derivation of Semi-Synchronous Algorithms. DISC Hagit Attiya, Fatemeh Borran, Martin Hutle, Zarko Milosevic, André Schiper
2011	J	`jnl`	The complexity of updating snapshot objects. J. Parallel Distributed Comput. Hagit Attiya, Faith Ellen, Panagiota Fatourou
2010	C	`conf`	A Provably Starvation-Free Distributed Directory Protocol. SSS Hagit Attiya, Vincent Gramoli, Alessia Milani
2010	A	`conf`	Brief Announcement: Sharing Memory in a Self-stabilizing Manner. DISC Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Gradinariu, Sébastien Tixeuil
2010	B	`conf`	Brief announcement: combine -- an improved directory-based consistency protocol. SPAA Hagit Attiya, Vincent Gramoli, Alessia Milani
2010	A*	`conf`	Brief announcement: single-version permissive STM. PODC Hagit Attiya, Eshcar Hillel
2010	J	`jnl`	Combining shared-coin algorithms. J. Parallel Distributed Comput. James Aspnes, Hagit Attiya, Keren Censor
2010	J	`jnl`	Efficient and Robust Local Mutual Exclusion in Mobile Ad Hoc Networks. IEEE Trans. Mob. Comput. Hagit Attiya, Alex Kogan, Jennifer L. Welch
2010	A	`conf`	Fast Randomized Test-and-Set and Renaming. DISC Dan Alistarh, Hagit Attiya, Seth Gilbert, Andrei Giurgiu, Rachid Guerraoui
2010	J	`jnl`	Lower Bounds for Randomized Consensus under a Weak Adversary. SIAM J. Comput. Hagit Attiya, Keren Censor-Hillel
2010	J	`jnl`	Packet-Mode Emulation of Output-Queued Switches. IEEE Trans. Computers Hagit Attiya, David Hay, Isaac Keslassy
2010	J	`jnl`	Practically Stabilizing Atomic Memory CoRR Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Gradinariu, Sébastien Tixeuil
2010	J	`jnl`	Robust Simulation of Shared Memory: 20 Years After. Bull. EATCS Hagit Attiya
2010	A*	`conf`	Sequential verification of serializability. POPL Hagit Attiya, G. Ramalingam, Noam Rinetzky
2010	A	`conf`	The Cost of Privatization. DISC Hagit Attiya, Eshcar Hillel
2010	A*	`conf`	The inherent complexity of transactional memory and what to do about it. PODC Hagit Attiya
2010	J	`jnl`	Time and Space Lower Bounds for Implementations Using k-CAS. IEEE Trans. Parallel Distributed Syst. Hagit Attiya, Danny Hendler
2010	J	`jnl`	Transactional Contention Management as a Non-Clairvoyant Scheduling Problem. Algorithmica Hagit Attiya, Leah Epstein, Hadas Shachnai, Tami Tamir
2009	A	`conf`	Brief Announcement: Transactional Scheduling for Read-Dominated Workloads. DISC Hagit Attiya, Alessia Milani
2009	J	`jnl`	Editorial: It's all about change. Distributed Comput. Hagit Attiya
2009	B	`conf`	Inherent limitations on disjoint-access parallel implementations of transactional memory. SPAA Hagit Attiya, Eshcar Hillel, Alessia Milani
2009	A*	`conf`	Max registers, counters, and monotone circuits. PODC James Aspnes, Hagit Attiya, Keren Censor
2009	J	`jnl`	The complexity of obstruction-free implementations. J. ACM Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov
2009	B	`conf`	Transactional Scheduling for Read-Dominated Workloads. OPODIS Hagit Attiya, Alessia Milani
2008	A*	`conf`	A world of (Im) possibilities. PODC Hagit Attiya, Jennifer L. Welch
2008	A	`conf`	Efficient and Robust Local Mutual Exclusion in Mobile Ad Hoc Networks. ICDCS Hagit Attiya, Alex Kogan, Jennifer L. Welch
2008	Misc	`conf`	Highly-Concurrent Multi-word Synchronization. ICDCN Hagit Attiya, Eshcar Hillel
2008	A*	`conf`	Lower bounds for randomized consensus under a weak adversary. PODC Hagit Attiya, Keren Censor
2008	J	`jnl`	Needed: foundations for transactional memory. SIGACT News Hagit Attiya
2008	B	`conf`	Partial snapshot objects. SPAA Hagit Attiya, Rachid Guerraoui, Eric Ruppert
2008	J	`jnl`	Randomization Does Not Reduce the Average Delay in Parallel Packet Switches. SIAM J. Comput. Hagit Attiya, David Hay
2008	A*	`conf`	Randomized consensus in expected O(n log n) individual work. PODC James Aspnes, Hagit Attiya, Keren Censor
2008	A*	`conf`	Tight RMR lower bounds for mutual exclusion and other problems. PODC Hagit Attiya, Danny Hendler, Philipp Woelfel
2008	J	`jnl`	Tight bounds for asynchronous randomized consensus. J. ACM Hagit Attiya, Keren Censor
2008	A*	`conf`	Tight rmr lower bounds for mutual exclusion and other problems. STOC Hagit Attiya, Danny Hendler, Philipp Woelfel
2007	J	`jnl`	Concurrency and the Principle of Data Locality. IEEE Distributed Syst. Online Hagit Attiya
2007	A*	`conf`	The complexity of updating multi-writer snapshot objects. PODC Hagit Attiya, Faith Ellen, Panagiota Fatourou
2007	A*	`conf`	The power of DCAS: highly-concurrent software transactional memory. PODC Hagit Attiya, Eshcar Hillel
2007	A*	`conf`	Tight bounds for asynchronous randomized consensus. STOC Hagit Attiya, Keren Censor
2006	B	`conf`	Adapting to Point Contention with Long-Lived Safe Agreement . SIROCCO Hagit Attiya
2006	A	`conf`	Built-In Coloring for Highly-Concurrent Doubly-Linked Lists. DISC Hagit Attiya, Eshcar Hillel
2006	J	`jnl`	Efficient adaptive collect using randomization. Distributed Comput. Hagit Attiya, Fabian Kuhn, C. Greg Plaxton, Mirjam Wattenhofer, Roger Wattenhofer
2006	B	`conf`	Packet-mode emulation of output-queued switches. SPAA Hagit Attiya, David Hay, Isaac Keslassy
2006	J	`jnl`	Sharing Memory with Semi-byzantine Clients and Faulty Storage Servers. Parallel Process. Lett. Hagit Attiya, Amir Bar-Or
2006	A*	`conf`	Synchronizing without locks is inherently expensive. PODC Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kouznetsov
2006	Misc	`conf`	The Complexity of Updating Multi-writer Snapshot Objects. ICDCN Hagit Attiya, Faith Ellen, Panagiota Fatourou
2006	J	`jnl`	The Inherent Queuing Delay of Parallel Packet Switches. IEEE Trans. Parallel Distributed Syst. Hagit Attiya, David Hay
2006	A*	`conf`	Transactional contention management as a non-clairvoyant scheduling problem. PODC Hagit Attiya, Leah Epstein, Hadas Shachnai, Tami Tamir
2005	A	`conf`	Computing with Reads and Writes in the Absence of Step Contention. DISC Hagit Attiya, Rachid Guerraoui, Petr Kouznetsov
2005	B	`conf`	Optimal Clock Synchronization Under Energy Constraints in Wireless Ad-Hoc Networks. OPODIS Hagit Attiya, David Hay, Jennifer L. Welch
2005	B	`conf`	Randomization does not reduce the average delay in parallel packet switches. SPAA Hagit Attiya, David Hay
2005	A	`conf`	Time and Space Lower Bounds for Implementations Using DISC Hagit Attiya, Danny Hendler
2004	—	`book`	Distributed computing - fundamentals, simulations, and advanced topics (2. ed.). Hagit Attiya, Jennifer L. Welch
2004	A	`conf`	Efficient Adaptive Collect Using Randomization. DISC Hagit Attiya, Fabian Kuhn, Mirjam Wattenhofer, Roger Wattenhofer
2004	A*	`conf`	Lower bounds for adaptive collect and related objects. PODC Hagit Attiya, Faith Ellen Fich, Yaniv Kaplan
2004	J	`jnl`	Quantifying rollback propagation in distributed checkpointing. J. Parallel Distributed Comput. Adnan Agbaria, Hagit Attiya, Roy Friedman, Roman Vitenberg
2004	—	`conf`	The Inherent Queuing Delay of Parallel Packet Switches. IFIP TCS Hagit Attiya, David Hay
2004	B	`conf`	The N-Burst/G/1 Model with Heavy-Tailed Service-Times Distribution. MASCOTS Ronit Nossenson, Hagit Attiya
2004	J	`jnl`	The distribution of file transmission duration in the web. Int. J. Commun. Syst. Ronit Nossenson, Hagit Attiya
2004	B	`conf`	The inherent queuing delay of parallel packet switches. SPAA Hagit Attiya, David Hay
2004	J	`jnl`	Tight bounds for FEC-based reliable multicast. Inf. Comput. Hagit Attiya, Hadas Shachnai
2003	J	`jnl`	Algorithms adapting to point contention. J. ACM Hagit Attiya, Arie Fouren
2003	J	`jnl`	Information-Flow Models for Shared Memory with an Application to the PowerPC Architecture. IEEE Trans. Parallel Distributed Syst. Allon Adir, Hagit Attiya, Gil Shurek
2003	J	`jnl`	Introduction. Distributed Comput. Hagit Attiya, Sergio Rajsbaum
2003	B	`conf`	Sharing Memory with Semi-Byzantine Clients and Faulty Storage Servers. SRDS Hagit Attiya, Amir Bar-Or
2003	—	`conf`	Understanding the Distribution of File Transmission Duration in the Web. WWW (Posters) Ronit Nossenson, Hagit Attiya
2002	J	`jnl`	Adaptive and efficient mutual exclusion. Distributed Comput. Hagit Attiya, Vita Bortnikov
2002	J	`jnl`	An adaptive collect algorithm with applications. Distributed Comput. Hagit Attiya, Arie Fouren, Eli Gafni
2002	J	`jnl`	Computing in Totally Anonymous Asynchronous Shared Memory Systems. Inf. Comput. Hagit Attiya, Alla Gorbach, Shlomo Moran
2002	J	`jnl`	The Combinatorial Structure of Wait-Free Solvable Tasks. SIAM J. Comput. Hagit Attiya, Sergio Rajsbaum
2002	A	`conf`	Wait-Free n-Set Consensus When Inputs Are Restricted. DISC Hagit Attiya, Zvi Avidor
2001	J	`jnl`	Adaptive and Efficient Algorithms for Lattice Agreement and Renaming. SIAM J. Comput. Hagit Attiya, Arie Fouren
2001	J	`jnl`	Improved implementations of binary universal operations. J. ACM Hagit Attiya, Eyal Dagan
2001	B	`conf`	Quantifying Rollback Propagation in Distributed Checkpointing. SRDS Adnan Agbaria, Hagit Attiya, Roy Friedman, Roman Vitenberg
2001	J	`jnl`	Time Bounds for Decision Problems in the Presence of Timing Uncertainty and Failures. J. Parallel Distributed Comput. Hagit Attiya, Taly Djerassi-Shintel
2000	A*	`conf`	Adaptive and efficient mutual exclusion (extended abstract). PODC Hagit Attiya, Vita Bortnikov
2000	J	`jnl`	Efficient and Robust Sharing of Memory in Message-Passing Systems. J. Algorithms Hagit Attiya
2000	A	`conf`	Polynominal and Adaptive Long-Lived (2 DISC Hagit Attiya, Arie Fouren
1999	J	`jnl`	Local Labeling and Resource Allocation Using Preprocessing. SIAM J. Comput. Hagit Attiya, Hadas Shachnai, Tami Tamir
1999	A*	`conf`	Long-Lived Renaming Made Adaptive. PODC Yehuda Afek, Hagit Attiya, Arie Fouren, Gideon Stupp, Dan Touitou
1998	J	`jnl`	A Correctness Condition for High-Performance Multiprocessors. SIAM J. Comput. Hagit Attiya, Roy Friedman
1998	A*	`conf`	A Direct Lower Bound for PODC Hagit Attiya
1998	A*	`conf`	Adaptive Wait-Free Algorithms for Lattice Agreement and Renaming (Extended Abstract). PODC Hagit Attiya, Arie Fouren
1998	J	`jnl`	Atomic Snapshots in O(n log n) Operations. SIAM J. Comput. Hagit Attiya, Ophir Rachman
1998	A	`conf`	Computing in Totally Anonymous Asynchronous Shared Memory Systems. DISC Hagit Attiya, Alla Gorbach, Shlomo Moran
1998	J	`jnl`	Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies. SIAM J. Comput. Hagit Attiya, Soma Chaudhuri, Roy Friedman, Jennifer L. Welch
1997	B	`conf`	IDABased Protocols for Reliable Multicast. OPODIS Hagit Attiya, Hadas Shachnai
1997	A*	`ed.`	Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, Santa Barbara, California, USA, August 21-24, 1997 PODC James E. Burns, Hagit Attiya
1997	J	`jnl`	The Level of Handshake Required for Managing a Connection. Distributed Comput. Hagit Attiya, Rinat Rappoport
1997	J	`jnl`	Time-Adaptive Algorithms for Synchronization. SIAM J. Comput. Rajeev Alur, Hagit Attiya, Gadi Taubenfeld
1996	—	`conf`	Efficient and Robust Sharing of Memory in Message-Passing Systems (Extended Abstract). WDAG Hagit Attiya
1996	J	`jnl`	Limitations of Fast Consistency Conditions for Distributed Shared Memories. Inf. Process. Lett. Hagit Attiya, Roy Friedman
1996	J	`jnl`	Optimal Clock Synchronization under Different Delay Assumptions. SIAM J. Comput. Hagit Attiya, Amir Herzberg, Sergio Rajsbaum
1996	—	`conf`	The Combinatorial Structure of Wait-free Solvable Tasks (Extended Abstract). WDAG Hagit Attiya, Sergio Rajsbaum
1996	A*	`conf`	Universal Operations: Unary versus Binary (Extended Abstract). PODC Hagit Attiya, Eyal Dagan
1995	J	`jnl`	Atomic Snapshots Using Lattice Agreement. Distributed Comput. Hagit Attiya, Maurice Herlihy, Ophir Rachman
1995	J	`jnl`	Connection Management Without Retaining Information. Inf. Comput. Hagit Attiya, Shlomi Dolev, Jennifer L. Welch
1995	—	`conf`	Connection management without retaining information. HICSS (2) Hagit Attiya, Shlomi Dolev, Jennifer L. Welch
1995	J	`jnl`	Counting Networks with Arbitrary Fan-Out. Distributed Comput. Eran Aharonson, Hagit Attiya
1995	J	`jnl`	Sharing Memory Robustly in Message-Passing Systems. J. ACM Hagit Attiya, Amotz Bar-Noy, Danny Dolev
1995	—	`conf`	Trade-offs between Message Delivery and Quiesce Times in Conection Management Protocols (Preliminary Report). ISTCS Jon M. Kleinberg, Hagit Attiya, Nancy A. Lynch
1994	J	`jnl`	Are Wait-Free Algorithms Fast? J. ACM Hagit Attiya, Nancy A. Lynch, Nir Shavit
1994	J	`jnl`	Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty. J. ACM Hagit Attiya, Cynthia Dwork, Nancy A. Lynch, Larry J. Stockmeyer
1994	J	`jnl`	Efficiency of Semisynchronous Versus. Math. Syst. Theory Hagit Attiya, Marios Mavronicolas
1994	—	`conf`	Local Labeling and Resource Allocation Using Preprocessing. WDAG Hagit Attiya, Hadas Shachnai, Tami Tamir
1994	B	`conf`	Programming DEC-Alpha Based Multiprocessors the Easy Way (Extended Abstract). SPAA Hagit Attiya, Roy Friedman
1994	J	`jnl`	Reliable Communication Over Unreliable Channels. J. ACM Yehuda Afek, Hagit Attiya, Alan D. Fekete, Michael J. Fischer, Nancy A. Lynch, Yishay Mansour, Da-Wei Wang, Lenore D. Zuck
1994	J	`jnl`	Sequential Consistency versus Linearizability. ACM Trans. Comput. Syst. Hagit Attiya, Jennifer L. Welch
1994	—	`conf`	The Level of Handshake Required for Establishing a Connection. WDAG Hagit Attiya, Rinat Rappoport
1994	J	`jnl`	Time Bounds for Real-Time Process Control in the Presence of Timing Uncertainty Inf. Comput. Hagit Attiya, Nancy A. Lynch
1994	A*	`conf`	Time-adaptive algorithms for synchronization. STOC Rajeev Alur, Hagit Attiya, Gadi Taubenfeld
1993	A*	`conf`	Atomic Snapshots in O(n log n) Operations (Preliminary Version). PODC Hagit Attiya, Ophir Rachman
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`	Optimal Clock Synchronization under Different Delay Assumptions (Preliminary Version). PODC Hagit Attiya, Amir Herzberg, Sergio Rajsbaum
1993	B	`conf`	Shared Memory Consistency Conditions for Non-Sequential Execution: Definitions and Programming Strategies. SPAA Hagit Attiya, Soma Chaudhuri, Roy Friedman, Jennifer L. Welch
1993	—	`conf`	Time Bounds for Decision Problems in the Presence of Timing Uncertainty and Failures. WDAG Hagit Attiya, Taly Djerassi-Shintel
1992	A*	`conf`	A Correctness Condition for High-Performance Multiprocessors (Extended Abstract) STOC Hagit Attiya, Roy Friedman
1992	A*	`conf`	Counting Networks with Arbitrary Fan-Out. SODA Eran Aharonson, Hagit Attiya
1992	—	`conf`	Efficient Atomic Snapshots Using Lattice Agreement (Extended Abstract). WDAG Hagit Attiya, Maurice Herlihy, Ophir Rachman
1992	J	`jnl`	Using Mappings to Prove Timing Properties. Distributed Comput. Nancy A. Lynch, Hagit Attiya
1991	J	`jnl`	Better Computing on the Anonymous Ring. J. Algorithms Hagit Attiya, Marc Snir
1991	A*	`conf`	Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty STOC Hagit Attiya, Cynthia Dwork, Nancy A. Lynch, Larry J. Stockmeyer
1991	—	`conf`	Implementing FIFO Queus and Stacks (Extended Abstract). WDAG Hagit Attiya
1991	B	`conf`	Sequential Consistency Versus Linearizability (Extended Abstract). SPAA Hagit Attiya, Jennifer L. Welch
1990	A*	`conf`	Are Wait-Free Algorithms Fast? (Extended Abstract) FOCS Hagit Attiya, Nancy A. Lynch, Nir Shavit
1990	A*	`conf`	Atomic Snapshots of Shared Memory. PODC Yehuda Afek, Danny Dolev, Hagit Attiya, Eli Gafni, Michael Merritt, Nir Shavit
1990	J	`jnl`	Renaming in an Asynchronous Environment J. ACM Hagit Attiya, Amotz Bar-Noy, Danny Dolev, David Peleg, Rüdiger Reischuk
1990	A*	`conf`	Sharing Memory Robustly in Message-Passing Systems. PODC Hagit Attiya, Amotz Bar-Noy, Danny Dolev
1990	A*	`conf`	Using Mappings to Prove Timing Properties. PODC Nancy A. Lynch, Hagit Attiya
1989	A*	`conf`	Bounded Polynomial Randomized Consensus. PODC Hagit Attiya, Danny Dolev, Nir Shavit
1989	J	`jnl`	Efficient Elections in Chordal Ring Networks. Algorithmica Hagit Attiya, Jan van Leeuwen, Nicola Santoro, Shmuel Zaks
1989	A	`conf`	Time Bounds for Real-Time Process Control in the Presence of Timing Uncertainty. RTSS Hagit Attiya, Nancy A. Lynch
1988	—	`conf`	Better Computing on the Anonymous Ring. AWOC Hagit Attiya, Marc Snir
1988	J	`jnl`	Computing on an anonymous ring. J. ACM Hagit Attiya, Marc Snir, Manfred K. Warmuth
1987	A*	`conf`	Achievable Cases in an Asynchronous Environment (Extended Abstract) FOCS Hagit Attiya, Amotz Bar-Noy, Danny Dolev, Daphne Koller, David Peleg, Rüdiger Reischuk
1987	—	`conf`	Constructing Efficient Election Algorithms from Efficient Traversal Algorithms. WDAG Hagit Attiya
1987	J	`jnl`	Language Complexity on the Synchronous Anonymous Ring. Theor. Comput. Sci. Hagit Attiya, Yishay Mansour
1987	—	`—`	סינכרוניות כנגד אסינכרוניות במערכות מבוזרות (Synchronism vs. asynchronism in distributed systems.). Hagit Attiya