Hagit Attiya

2024

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

2023

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

2022

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

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

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

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

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

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

Nontrivial and universal helping for wait-free queues and stacks

Attiya, H., Castaneda, A. & Hendler, D., 1 Nov 2018, In: Journal of Parallel and Distributed Computing. 121, p. 1-14 14 p.

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

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

Open Access

Safe Privatization in Transactional Memory

Khyzha, A., Attiya, H., Gotsman, A. & Rinetzky, N., Jan 2018, In: ACM SIGPLAN Notices. 53, 1, p. 233-245 13 p.

Technion - Israel Institute of Technology, Tel Aviv University

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

2017

Limitations of Highly-Available Eventually-Consistent Data Stores

Attiya, H., Ellen, F. & Morrison, A., 1 Jan 2017, In: IEEE Transactions on Parallel and Distributed Systems. 28, 1, p. 141-155 15 p., 7457259.

Technion - Israel Institute of Technology

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

Poly-logarithmic adaptive algorithms require revealing primitives

Attiya, H. & Fouren, A., Nov 2017, In: Journal of Parallel and Distributed Computing. 109, p. 102-116 15 p.

Technion - Israel Institute of Technology

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

2016

Counting-based impossibility proofs for set agreement and renaming

Attiya, H. & Paz, A., 1 Jan 2016, In: Journal of Parallel and Distributed Computing. 87, p. 1-12 12 p.

Technion - Israel Institute of Technology

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

Lower bounds for restricted-use objects

Aspnes, J., Censor-Hillel, K., Attiya, H. & Hendler, D., 1 Jan 2016, In: SIAM Journal on Computing. 45, 3, p. 734-762 29 p.

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

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

Special issue in memory of Berthold Vocking

Attiya, H., 1 Apr 2016, In: Distributed Computing. 29, 2, p. 75-75 1 p.

Technion - Israel Institute of Technology

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

"לעבוד עם האנשים הכי מבריקים": [ריאיון]

עטיה, ח., 2016, In: הטכניון. p. 16-17 2 p.

Technion - Israel Institute of Technology

Research output: Contribution to journal › Article

Open Access

2015

Directory protocols for distributed transactional memory

Attiya, H., Gramoli, V. & Milani, A., 2015, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8913, p. 367-391 25 p.

Technion - Israel Institute of Technology

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

Disjoint-access parallelism in software transactional memory

Attiya, H. & Fatourou, P., 2015, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8913, p. 72-97 26 p.

Technion - Israel Institute of Technology

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

Limited-Use Atomic Snapshots with Polylogarithmic Step Complexity

Aspnes, J., Attiya, H., Censor-Hillel, K. & Ellen, F., 1 Feb 2015, In: Journal of the ACM. 62, 1, p. 3 1 p.

Technion - Israel Institute of Technology

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

Practically stabilizing SWMR atomic memory in message-passing systems

Alon, N., Attiya, H., Dolev, S., Dubois, S., Potop-Butucaru, M. & Tixeuil, S., 1 Jun 2015, In: Journal of Computer and System Sciences. 81, 4, p. 692-701 10 p.

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

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

Open Access