Attiya Hagit

Research output

Research output per year 2011 2011 2012 2015 2016 2018 2019 2020 2021 2022 2023 2024 2024

• 48 Conference contribution
• 34 Article
• 8 Editorial
• 4 Other contribution
• 8 More
  • 2 Chapter
  • 2 Preprint
  • 1 Other
  • 1 Meeting Abstract
  • 1 Comment/debate
  • 1 Review article

Research output per year

Research output per year

Search results

• 2024

  Bounds on Worst-Case Responsiveness for Agreement Algorithms

  Attiya, H. & Welch, J. L., Jan 2024, 27th International Conference on Principles of Distributed Systems, OPODIS 2023. Bessani, A., Defago, X., Nakamura, J., Wada, K. & Yamauchi, Y. (eds.). 32. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 286).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• History-Independent Concurrent Objects

  Attiya, H., Bender, M. A., Farach-Colton, M., Oshman, R. & Schiller, N., 17 Jun 2024, PODC 2024 - Proceedings of the 2024 ACM Symposium on Principles of Distributed Computing. p. 14-24 11 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

  Technion - Israel Institute of Technology, Tel Aviv University

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

• Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit

  Attiya, H. & Welch, J. L., Jan 2024, 27th International Conference on Principles of Distributed Systems, OPODIS 2023. Bessani, A., Defago, X., Nakamura, J., Wada, K. & Yamauchi, Y. (eds.). 6. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 286).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Flavors 100%
  • Message passing 82%

• Recoverable and Detectable Self-Implementations of Swap

  Lehman, T. L., Attiya, H. & Hendler, D., 1 Jan 2024, 27th International Conference on Principles of Distributed Systems, OPODIS 2023. Bessani, A., Defago, X., Nakamura, J., Wada, K. & Yamauchi, Y. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 24. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 286).

  Ben-Gurion University of the Negev, Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Recovery 100%
  • Data storage equipment 45%

• The Synchronization Power of Auditable Registers

  Attiya, H., Pozzo, A. D., Milani, A., Pavloff, U. & Rapetti, A., Jan 2024, 27th International Conference on Principles of Distributed Systems, OPODIS 2023. Bessani, A., Defago, X., Nakamura, J., Wada, K. & Yamauchi, Y. (eds.). 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 286).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Linearization 100%
  • Access control 95%
  • Synchronization 80%
• 2023

  Asynchronous Fully-Decentralized SGD in the Cluster-Based Model

  Attiya, H. & Schiller, N., 2023, Algorithms and Complexity - 13th International Conference, CIAC 2023, Proceedings. Mavronicolas, M. (ed.). Springer Science and Business Media Deutschland GmbH, p. 52-66 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13898 LNCS).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Stochastic Gradient 100%
  • Decentralized 97%
  • Convergence Rate 31%
  • Model 24%
  • Wait-free 20%

• Brief Announcement: Recoverable and Detectable Self-Implementations of Swap

  Lehman, T. L., Attiya, H. & Hendler, D., 1 Oct 2023, 37th International Symposium on Distributed Computing, DISC 2023. Oshman, R. (ed.). 44. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 281).

  Ben-Gurion University of the Negev, Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Recovery 100%
  • Data storage equipment 45%

• Brief Announcement: Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit

  Attiya, H. & Welch, J. L., Oct 2023, 37th International Symposium on Distributed Computing, DISC 2023. Oshman, R. (ed.). 36. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 281).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Flavors 100%
  • Message passing 82%

• Faithful Simulation of Randomized BFT Protocols on Block DAGs

  Attiya, H., Enea, C. & Nassar, S., Sep 2023, 34th International Conference on Concurrency Theory, CONCUR 2023. Perez, G. A. & Raskin, J-F. (eds.). 27. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 279).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Blockchain 100%
  • Probability distributions 80%

• One Step Forward, One Step Back: FLP-Style Proofs and the Round-Reduction Technique for Colorless Tasks

  Attiya, H., Fraigniaud, P., Paz, A. & Rajsbaum, S., Oct 2023, 37th International Symposium on Distributed Computing, DISC 2023. Oshman, R. (ed.). 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 281).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Coloring 100%
  • Distributed computer systems 88%

• The Step Complexity of Multidimensional Approximate Agreement

  Attiya, H. & Ellen, F., 1 Feb 2023, 26th International Conference on Principles of Distributed Systems, OPODIS 2022. Hillel, E., Palmieri, R. & Riviere, E. (eds.). 6. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 253).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Data storage equipment 100%

• Topological Characterization of Task Solvability in General Models of Computation

  Attiya, H., Castañeda, A. & Nowak, T., Oct 2023, 37th International Symposium on Distributed Computing, DISC 2023. Oshman, R. (ed.). 5. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 281).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Topology 100%
  • Data storage equipment 44%
• 2022

  Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations

  Attiya, H., Enea, C. & Welch, J., 20 Jul 2022, PODC 2022 - Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing. p. 209-219 11 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Message passing 100%
  • Specifications 60%

• Detectable Recovery of Lock-Free Data Structures

  Attiya, H., Ben-Baruch, O., Fatourou, P., Hendler, D. & Kosmas, E., 2 Apr 2022, PPoPP 2022 - Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. p. 262-277 16 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

  Ben-Gurion University of the Negev

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Data structures 100%
  • Recovery 81%
  • Data storage equipment 49%
  • Costs 46%

• Recovery of Distributed Iterative Solvers for Linear Systems Using Non-Volatile RAM

  Fridman, Y., Snir, Y., Levin, H., Hendler, D., Attiya, H. & Oren, G., 1 Jan 2022, Proceedings of FTXS 2022: Workshop on Fault Tolerance for HPC at eXtreme Scale, Held in conjunction with SC 2022: The International Conference for High Performance Computing, Networking, Storage and Analysis. p. 11-23 13 p. (Proceedings of FTXS 2022: Workshop on Fault Tolerance for HPC at eXtreme Scale, Held in conjunction with SC 2022: The International Conference for High Performance Computing, Networking, Storage and Analysis).

  Ben-Gurion University of the Negev, Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Iterative Solvers 100%
  • Random access storage 82%
  • Recovery 73%
  • Linear systems 68%
  • Nonlinear Systems 59%
• 2021

  Assessing the Use Cases of Persistent Memory in High-Performance Scientific Computing

  Fridman, Y., Snir, Y., Rusanovsky, M., Zvi, K., Levin, H., Hendler, D., Attiya, H. & Oren, G., 28 Dec 2021, Proceedings of FTXS 2021: Workshop on Fault Tolerance for HPC at eXtreme Scale, Held in conjunction with SC 2021: The International Conference for High Performance Computing, Networking, Storage and Analysis. p. 11-20 10 p. (Proceedings of FTXS 2021: Workshop on Fault Tolerance for HPC at eXtreme Scale, Held in conjunction with SC 2021: The International Conference for High Performance Computing, Networking, Storage and Analysis).

  Ben-Gurion University of the Negev, Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Natural sciences computing 100%
  • Data storage equipment 47%
  • Dynamic random access storage 32%
  • Hard disk storage 16%
  • Nonvolatile storage 11%

• Efficient Concurrent Execution of Smart Contracts in Blockchains Using Object-Based Transactional Memory

  Anjana, P. S., Attiya, H., Kumari, S., Peri, S. & Somani, A., 2021, Networked Systems - 8th International Conference, NETYS 2020, Proceedings. Georgiou, C. & Majumdar, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 77-93 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12129 LNCS).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Transactional Memory 100%
  • Transactions 63%
  • Blockchain 59%
  • Concurrent 56%
  • Miners 42%

• Flat-Combining-Based Persistent Data Structures for Non-volatile Memory

  Rusanovsky, M., Attiya, H., Ben-Baruch, O., Gerby, T., Hendler, D. & Ramalhete, P., 1 Jan 2021, Stabilization, Safety, and Security of Distributed Systems - 23rd International Symposium, SSS 2021, Proceedings. Johnen, C., Schiller, E. M. & Schmid, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 505-509 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13046 LNCS).

  Ben-Gurion University of the Negev, Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Data Structures 100%
  • Data structures 80%
  • Synchronization 78%
  • Queue 64%
  • Data storage equipment 59%

• Locally Solvable Tasks and the Limitations of Valency Arguments

  Attiya, H., Castañeda, A. & Rajsbaum, S., Jan 2021, 24th International Conference on Principles of Distributed Systems, OPODIS 2020. Bramas, Q., Oshman, R. & Romano, P. (eds.). (Leibniz International Proceedings in Informatics, LIPIcs; vol. 184).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Distributed computer systems 100%
  • Specifications 61%

• Optimal Resilience in Systems That Mix Shared Memory and Message Passing

  Attiya, H., Kumari, S. & Schiller, N., Jan 2021, 24th International Conference on Principles of Distributed Systems, OPODIS 2020. Bramas, Q., Oshman, R. & Romano, P. (eds.). (Leibniz International Proceedings in Informatics, LIPIcs; vol. 184).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Message passing 100%
  • Computer systems 82%
  • Data storage equipment 56%

• Staleness and Local Progress in Transactional Memory

  Attiya, H., Fatourou, P., Hans, S. & Kanellou, E., 2021, Networked Systems - 8th International Conference, NETYS 2020, Proceedings. Georgiou, C. & Majumdar, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 227-243 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12129 LNCS).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Transactional Memory 100%
  • Data storage equipment 30%
  • Transactions 27%
  • Liveness 19%
  • Snapshot 10%
• 2020

  Brief Announcement: Collect in the Presence of Continuous Churn with Application to Snapshots and Lattice Agreement

  Attiya, H., Kumari, S., Somani, A. & Welch, J. L., 31 Jul 2020, PODC 2020 - Proceedings of the 39th Symposium on Principles of Distributed Computing. p. 51-53 3 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Distributed computer systems 100%
  • Computer networks 97%
  • Farms 92%
  • Sensor networks 82%
  • Wireless networks 74%

• Store-Collect in the Presence of Continuous Churn with Application to Snapshots and Lattice Agreement

  Attiya, H., Kumari, S., Somani, A. & Welch, J. L., 2020, Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Proceedings. Devismes, S. & Mittal, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 1-15 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12514 LNCS).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Snapshot 100%
  • Object 48%
  • Message passing 38%
  • Shielding 37%
  • Crash 34%

• Tracking in Order to Recover - Detectable Recovery of Lock-Free Data Structures

  Attiya, H., Ben-Baruch, O., Fatourou, P., Hendler, D. & Kosmas, E., 6 Jul 2020, SPAA 2020 - Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures. p. 503-505 3 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

  Technion - Israel Institute of Technology, Ben-Gurion University of the Negev

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Crash 100%
  • Data Structures 71%
  • Recovery 68%
  • Data structures 57%
  • Concurrent 38%
• 2019

  Privatization-safe transactional memories

  Khyzha, A., Attiya, H. & Gotsman, A., Oct 2019, 33rd International Symposium on Distributed Computing, DISC 2019. Suomela, J. (ed.). 24. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 146).

  Tel Aviv University, Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Privatization 100%
  • Data storage equipment 42%
  • Opacity 38%
  • Semantics 34%
  • Block codes 11%

• Putting strong linearizability in context: Preserving hyperproperties in programs that use concurrent objects

  Attiya, H. & Enea, C., Oct 2019, 33rd International Symposium on Distributed Computing, DISC 2019. Suomela, J. (ed.). 2. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 146).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Concretes 100%
  • Probability distributions 93%
  • Casting 42%
• 2018

  Lower bounds on the amortized time complexity of shared objects

  Attiya, H. & Fouren, A., 1 Mar 2018, 21st International Conference on Principles of Distributed Systems, OPODIS 2017. Aspnes, J., Leitao, J., Bessani, A. & Felber, P. (eds.). 16. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 95).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Data structures 100%
  • Binary trees 74%

• Remote memory references at block granularity

  Attiya, H. & Yavneh, G., 1 Mar 2018, 21st International Conference on Principles of Distributed Systems, OPODIS 2017. Aspnes, J., Leitao, J., Bessani, A. & Felber, P. (eds.). 18. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 95).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Data storage equipment 100%
  • NP-hard 28%
  • Flavors 12%
  • Memory architecture 11%
  • Costs 3%

• Safe privatization in transactional memory

  Khyzha, A., Attiya, H., Gotsman, A. & Rinetzky, N., 10 Feb 2018, PPoPP 2018 - Proceedings of the 23rd Principles and Practice of Parallel Programming. p. 233-245 13 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

  Tel Aviv University, Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Privatization 100%
  • Data storage equipment 42%
  • Fences 30%
  • Opacity 29%
  • Block codes 13%

• Separating lock-freedom from wait-freedom

  Attiya, H., Hendler, D., Castañeda, A. & Perrin, M., 23 Jul 2018, PODC 2018 - Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing. p. 41-50 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

  Technion - Israel Institute of Technology, Ben-Gurion University of the Negev

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
• 2016

  Lower bound on the step complexity of anonymous binary consensus

  Attiya, H., Ben-Baruch, O. & Hendler, D., 1 Jan 2016, Distributed Computing - 30th International Symposium, DISC 2016, Proceedings. Gavoille, C. & Ilcinkas, D. (eds.). p. 257-268 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9888 LNCS).

  Ben-Gurion University of the Negev

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Terminate 100%
  • Binary 87%
  • Coating techniques 80%
  • Lower bound 77%
  • Obstruction 58%

• Nontrivial and universal helping for wait-free queues and stacks

  Attiya, H., Castañeda, A. & Hendler, D., 1 Sep 2016, 19th International Conference on Principles of Distributed Systems, OPODIS 2015. Anceaume, E., Cachin, C. & Potop-Butucaru, M. (eds.). p. 31.1-31.16 (Leibniz International Proceedings in Informatics, LIPIcs; vol. 46).

  Technion - Israel Institute of Technology, Ben-Gurion University of the Negev

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Linearization 100%

• Poly-logarithmic adaptive algorithms require unconditional primitives

  Attiya, H. & Fouren, A., 1 Sep 2016, 19th International Conference on Principles of Distributed Systems, OPODIS 2015. Anceaume, E., Cachin, C. & Potop-Butucaru, M. (eds.). p. 36.1-36.16 (Leibniz International Proceedings in Informatics, LIPIcs; vol. 46).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Adaptive algorithms 100%
• 2015

  Limitations of highly-available eventually-consistent data stores

  Attiya, H., Ellen, F. & Morrison, A., 21 Jul 2015, PODC 2015 - Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing. p. 385-394 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; vol. 2015-July).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Availability 100%
  • Specifications 91%

• Towards a data model for artificial intelligence applications

  Nirenburg, S. & Attiya, C., 14 Sep 2015, IEEE International Conference on Data Engineering, COMPDEC 1986. p. 446-453 8 p. 7271305. (Proceedings - International Conference on Data Engineering; vol. 2015-September).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Artificial intelligence 100%
  • Data structures 94%
  • Semantics 9%

• Trading fences with RMRs and separating memory models

  Attiya, H., Hendler, D. & Woelfel, P., 21 Jul 2015, PODC 2015 - Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing. Vol. 2015-July. p. 173-182 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; vol. 2015-July).

  Technion - Israel Institute of Technology, Ben-Gurion University of the Negev

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Fences 100%
  • Data storage equipment 45%
  • Bakeries 27%
  • Particle swarm optimization (PSO) 13%
  • Information use 9%
• 2014

  Concurrent updates with RCU: Search tree as an example

  Arbel, M. & Attiya, H., 2014, PODC 2014 - Proceedings of the 2014 ACM Symposium on Principles of Distributed Computing. p. 196-205 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Synchronization 100%
  • Data structures 41%
  • Glossaries 24%

• Safety of live transactions in transactional memory: TMS is necessary and sufficient

  Attiya, H., Gotsman, A., Hans, S. & Rinetzky, N., 2014, Distributed Computing - 28th International Symposium, DISC 2014, Proceedings. Kuhn, F. (ed.). p. 376-390 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8784).

  Technion - Israel Institute of Technology, Tel Aviv University

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Transactional Memory 100%
  • Transactions 63%
  • Safety 57%
  • Specification 45%
  • Sufficient 37%
• 2013

  An O(1)-Barriers optimal RMRs mutual exclusion algorithm

  Attiya, H., Hendler, D. & Levy, S., 11 Sep 2013, PODC 2013 - Proceedings of the 2013 ACM Symposium on Principles of Distributed Computing. p. 220-229 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

  Technion - Israel Institute of Technology, Ben-Gurion University of the Negev

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Data storage equipment 100%

• A programming language perspective on transactional memory consistency

  Attiya, H., Gotsman, A., Hans, S. & Rinetzky, N., 2013, PODC 2013 - Proceedings of the 2013 ACM Symposium on Principles of Distributed Computing. p. 309-318 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

  Technion - Israel Institute of Technology, Tel Aviv University

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Computer programming languages 100%
  • Data storage equipment 66%
  • Interfaces (computer) 23%
  • Semantics 16%
  • Concretes 16%
• 2012

  Counting-based impossibility proofs for renaming and set agreement

  Attiya, H. & Paz, A., 2012, Distributed Computing - 26th International Symposium, DISC 2012, Proceedings. p. 356-370 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7611 LNCS).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Counting 100%
  • Wait-free 37%
  • Verify 18%
  • Requirements 18%
  • Distinct 16%

• Early deciding synchronous renaming in O(log f) rounds or less

  Alistarh, D., Attiya, H., Guerraoui, R. & Travers, C., 2012, Structural Information and Communication Complexity - 19th International Colloquium, SIROCCO 2012, Proceedings. p. 195-206 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7355 LNCS).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Distributed computer systems 100%
  • Wait-free 76%
  • Distributed Computing 66%
  • Upper bound 62%
  • Time Constant 54%

• Faster than optimal snapshots (for a while): Preliminary version

  Aspnes, J., Attiya, H., Censor-Hillel, K. & Ellen, F., 2012, PODC'12 - Proceedings of the 2012 ACM Symposium on Principles of Distributed Computing. p. 375-383 9 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Adaptive algorithms 100%

• Lower bounds for restricted-use objects: Extended abstract

  Aspnes, J., Attiya, H., Censor-Hillel, K. & Hendler, D., 27 Jul 2012, SPAA'12 - Proceedings of the 24th ACM Symposium on Parallelism in Algorithms and Architectures. p. 172-181 10 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

  Ben-Gurion University of the Negev, Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Object 100%
  • Lower bound 97%
  • Data storage equipment 90%
  • Space Complexity 37%
  • Restriction 19%
• 2011

  Invited paper: The inherent complexity of transactional memory and what to do about it

  Attiya, H., 2011, Distributed Computing and Networking - 12th International Conference, ICDCN 2011, Proceedings. p. 1-11 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6522 LNCS).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Transactional Memory 100%
  • Concurrent Programming 76%
  • Scalability 40%
  • Software Transactional Memory 34%
  • Data storage equipment 30%

• Pragmatic self-stabilization of atomic memory in message-passing systems

  Alon, N., Attiya, H., Dolev, S., Dubois, S., Potop-Butucaru, M. & Tixeuil, S., 21 Oct 2011, Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Proceedings. p. 19-31 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6976 LNCS).

  Tel Aviv University, Ben-Gurion University of the Negev, Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Self-stabilization 100%
  • Message Passing 81%
  • Message passing 63%
  • Labeling 58%
  • Computer systems 52%

• Single-version STMs can be multi-version permissive (Extended Abstract)

  Attiya, H. & Hillel, E., 2011, Distributed Computing and Networking - 12th International Conference, ICDCN 2011, Proceedings. p. 83-94 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6522 LNCS).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Transactions 100%
  • Data storage equipment 48%
  • Contention 39%
  • Disjoint 21%
  • Strictly 20%

• Structured derivation of semi-synchronous algorithms

  Attiya, H., Borran, F., Hutle, M., Milosevic, Z. & Schiper, A., 2011, Distributed Computing - 25th International Symposium, DISC 2011, Proceedings. p. 374-388 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6950 LNCS).

  Technion - Israel Institute of Technology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Broadcast 100%
  • Crash 55%
  • Distributed Computing 53%
  • Set theory 49%
  • Timing 45%