Hagit Attiya

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

Lower Bounds on the Amortized Time Complexity of Shared Objects

Attiya, H., Fouren, A. & Ko, J., 2024, (Accepted/In press) In: Theory of Computing Systems.

Technion - Israel Institute of Technology

Research output: Contribution to journal › Article › peer-review

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

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

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

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

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

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

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

Locally solvable tasks and the limitations of valency arguments

Attiya, H., Castañeda, A. & Rajsbaum, S., Jun 2023, In: Journal of Parallel and Distributed Computing. 176, p. 28-40 13 p.

Research output: Contribution to journal › Article › peer-review

Open Access

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

Special issue on DISC 2019

Attiya, H., Mar 2023, In: Distributed Computing. 36, 1, p. 1 1 p.

Technion - Israel Institute of Technology

Research output: Contribution to journal › Editorial

Open Access

Special issue on PODC 2021 and DISC 2021

Attiya, H., 2023, (Accepted/In press) In: Distributed Computing.

Technion - Israel Institute of Technology

Research output: Contribution to journal › Editorial

Open Access

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

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

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

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

NVM-ESR: Using Non-Volatile Memory in Exact State Reconstruction of Preconditioned Conjugate Gradient

Fridman, Y., Snir, Y., Levin, H., Hendler, D., Attiya, H. & Oren, G., 9 Aug 2022.

Ben-Gurion University of the Negev

Research output: Working paper › Preprint

Open Access

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

Separating lock-freedom from wait-freedom at every level of the consensus hierarchy

Attiya, H., Castañeda, A., Hendler, D. & Perrin, M., 1 May 2022, In: Journal of Parallel and Distributed Computing. 163, p. 181-197 17 p.

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

Research output: Contribution to journal › Article › peer-review

Special issue on DISC 2020

Attiya, H., Dec 2022, In: Distributed Computing. 35, 6, p. 475 1 p.

Technion - Israel Institute of Technology

Research output: Contribution to journal › Editorial

Open Access

Special issue on PODC 2020

Attiya, H., Aug 2022, In: Distributed Computing. 35, 4, p. 303 1 p.

Technion - Israel Institute of Technology

Research output: Contribution to journal › Editorial

Open Access

Store-collect in the presence of continuous churn with application to snapshots and lattice agreement

Attiya, H., Kumari, S., Somani, A. & Welch, J. L., May 2022, In: Information and Computation. 285, 104869.

Technion - Israel Institute of Technology

Research output: Contribution to journal › Article › peer-review

Open Access

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

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

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

Linearizable Implementations Suffice for Termination of Randomized Concurrent Programs

Attiya, H., Enea, C. & Welch, J. L., 2021

Technion - Israel Institute of Technology

Research output: Other contribution

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

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

Specification and space complexity of collaborative text editing

Attiya, H., Burckhardt, S., Gotsman, A., Morrison, A., Yang, H. & Zawirski, M., 6 Feb 2021, In: Theoretical Computer Science. 855, p. 141-160 20 p.

Technion - Israel Institute of Technology, Tel Aviv University

Research output: Contribution to journal › Article › peer-review

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

2020

34th International Symposium on Distributed Computing, DISC 2020, October 12-16, 2020, Virtual Conference

Attiya, H. (ed.), 2020.

Technion - Israel Institute of Technology

Research output: Contribution to conference › Other › peer-review

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

Editorial: Special issue of PODC 2017 and DISC 2017: Special issue of PODC 2017 and DISC 2017

Attiya, H., 1 Jun 2020, In: Distributed Computing. 33, 3-4, p. 207-207 1 p.

Technion - Israel Institute of Technology

Research output: Contribution to journal › Editorial

Indistinguishability

Attiya, H. & Rajsbaum, S., May 2020, In: Communications of the ACM. 63, 5, p. 90-99 10 p.

Technion - Israel Institute of Technology

Research output: Contribution to journal › Review article › peer-review

Preface

Attiya, H., 1 Oct 2020, In: Leibniz International Proceedings in Informatics, LIPIcs. 179

Technion - Israel Institute of Technology

Research output: Contribution to journal › Editorial

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

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

2019

BOUNDS ON THE STEP AND NAMESPACE COMPLEXITY OF RENAMING

Attiya, H., Castaneda, A., Herlihy, M. & Paz, A., 2019, In: SIAM Journal on Computing. 48, 1, p. 1-32 32 p.

Technion - Israel Institute of Technology

Research output: Contribution to journal › Article › peer-review

Emulating a Shared Register in a System That Never Stops Changing

Attiya, H., Chung, H. C., Ellen, F., Kumar, S. & Welch, J. L., 1 Mar 2019, In: IEEE Transactions on Parallel and Distributed Systems. 30, 3, p. 544-559 16 p., 8449124.

Technion - Israel Institute of Technology

Research output: Contribution to journal › Article › peer-review

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

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

Shared Memory and the Bakery Algorithm

Attiya, H. & Welch, J. L., 2019, Concurrency: The Works of Leslie Lamport. New York, NY, USA, p. 27–46

Technion - Israel Institute of Technology

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

Special issue on PODC 2015 and PODC 2016

Attiya, H., 1 Dec 2019, In: Distributed Computing. 32, 6, p. 459-459 1 p.

Technion - Israel Institute of Technology

Research output: Contribution to journal › Editorial

Tracking in Order to Recover: Recoverable Lock-Free Data Structures

Attiya, H., Ben-Baruch, O., Fatourou, P., Hendler, D. & Kosmas, E., 2019.

Ben-Gurion University of the Negev

Research output: Working paper › Preprint

2018

Characterizing Transactional Memory Consistency Conditions Using Observational Refinement

Attiya, H., Gotsman, A., Hans, S. & Rinetzky, N., Jan 2018, In: Journal of the ACM. 65, 1, Y.

Technion - Israel Institute of Technology, Tel Aviv University

Research output: Contribution to journal › Article › peer-review

Erratum: Limited-use atomic snapshots with polylogarithmic step complexity (Journal of the ACM (2015) 62:1 (301-322))

Aspnes, J., Attiya, H., Censor-Hillel, K. & Ellen, F., Nov 2018, In: Journal of the ACM. 65, 6, 38.

Technion - Israel Institute of Technology

Research output: Contribution to journal › Comment/debate

Limited-Use Atomic Snapshots with Polylogarithmic Step Complexity (vol 3, pg 1, 2015)

Aspnes, J., Attiya, H., Censor-Hillel, K. & Ellen, F., Nov 2018, In: Journal of the ACM. 65, 6

Technion - Israel Institute of Technology

Research output: Contribution to journal › Article › peer-review

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

Attiya Hagit

Research output

Search results