Hagit Attiya
Orcid: 0000-0002-8017-6457Affiliations:
- Technion - Israel Institute of Technology, Haifa, Israel
According to our database1,
Hagit Attiya
authored at least 212 papers
between 1984 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2009, "For contributions to distributed and parallel computing.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, 2024
Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, 2024
2023
J. Parallel Distributed Comput., June, 2023
IACR Cryptol. ePrint Arch., 2023
Proceedings of the 37th International Symposium on Distributed Computing, 2023
Brief Announcement: Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit.
Proceedings of the 37th International Symposium on Distributed Computing, 2023
One Step Forward, One Step Back: FLP-Style Proofs and the Round-Reduction Technique for Colorless Tasks.
Proceedings of the 37th International Symposium on Distributed Computing, 2023
Proceedings of the 37th International Symposium on Distributed Computing, 2023
Proceedings of the 27th International Conference on Principles of Distributed Systems, 2023
Proceedings of the 27th International Conference on Principles of Distributed Systems, 2023
Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit.
Proceedings of the 27th International Conference on Principles of Distributed Systems, 2023
Proceedings of the 27th International Conference on Principles of Distributed Systems, 2023
Proceedings of the Algorithms and Complexity - 13th International Conference, 2023
2022
Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492).
Dagstuhl Reports, December, 2022
J. Parallel Distributed Comput., 2022
Store-collect in the presence of continuous churn with application to snapshots and lattice agreement.
Inf. Comput., 2022
NVM-ESR: Using Non-Volatile Memory in Exact State Reconstruction of Preconditioned Conjugate Gradient.
CoRR, 2022
Proceedings of the PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2, 2022
Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations.
Proceedings of the PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25, 2022
Proceedings of the 26th International Conference on Principles of Distributed Systems, 2022
Proceedings of the 12th IEEE/ACM Workshop on Fault Tolerance for HPC at eXtreme Scale, 2022
2021
Theor. Comput. Sci., 2021
Linearizable Implementations Suffice for Termination of Randomized Concurrent Programs.
CoRR, 2021
Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers.
Proceedings of the 35th International Symposium on Distributed Computing, 2021
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2021
Proceedings of the PODC '21: ACM Symposium on Principles of Distributed Computing, 2021
Proceedings of the 25th International Conference on Principles of Distributed Systems, 2021
Assessing the Use Cases of Persistent Memory in High-Performance Scientific Computing.
Proceedings of the 11th IEEE/ACM Workshop on Fault Tolerance for HPC at eXtreme Scale, 2021
2020
Proceedings of the SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020
Brief Announcement: Collect in the Presence of Continuous Churn with Application to Snapshots and Lattice Agreement.
Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020
Proceedings of the 24th International Conference on Principles of Distributed Systems, 2020
Proceedings of the Networked Systems - 8th International Conference, 2020
Efficient Concurrent Execution of Smart Contracts in Blockchains Using Object-Based Transactional Memory.
Proceedings of the Networked Systems - 8th International Conference, 2020
2019
IEEE Trans. Parallel Distributed Syst., 2019
Putting Strong Linearizability in Context: Preserving Hyperproperties in Programs that Use Concurrent Objects.
CoRR, 2019
Proceedings of the 33rd International Symposium on Distributed Computing, 2019
Putting Strong Linearizability in Context: Preserving Hyperproperties in Programsthat Use Concurrent Objects.
Proceedings of the 33rd International Symposium on Distributed Computing, 2019
Proceedings of the Concurrency: the Works of Leslie Lamport, 2019
2018
J. Parallel Distributed Comput., 2018
Characterizing Transactional Memory Consistency Conditions Using Observational Refinement.
J. ACM, 2018
J. ACM, 2018
Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018
Nesting-Safe Recoverable Linearizability: Modular Constructions for Non-Volatile Memory.
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018
2017
IEEE Trans. Parallel Distributed Syst., 2017
J. Parallel Distributed Comput., 2017
Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017
Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017
2016
J. Parallel Distributed Comput., 2016
Proceedings of the Distributed Computing - 30th International Symposium, 2016
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016
2015
J. Comput. Syst. Sci., 2015
Simulating a Shared Register in an Asynchronous System that Never Stops Changing - (Extended Abstract).
Proceedings of the Distributed Computing - 29th International Symposium, 2015
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015
Proceedings of the 19th International Conference on Principles of Distributed Systems, 2015
Proceedings of the Transactional Memory. Foundations, Algorithms, Tools, and Applications, 2015
Proceedings of the Transactional Memory. Foundations, Algorithms, Tools, and Applications, 2015
Proceedings of the Transactional Memory. Foundations, Algorithms, Tools, and Applications, 2015
2014
Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers, ISBN: 978-3-031-02010-0, 2014
Bull. EATCS, 2014
Safety of Live Transactions in Transactional Memory: TMS is Necessary and Sufficient.
Proceedings of the Distributed Computing - 28th International Symposium, 2014
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2014
2013
Theor. Comput. Sci., 2013
IEEE Trans. Computers, 2013
Theory Comput. Syst., 2013
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013
Proceedings of the IEEE 33rd International Conference on Distributed Computing Systems, 2013
2012
J. Parallel Distributed Comput., 2012
Proceedings of the Distributed Computing - 26th International Symposium, 2012
Proceedings of the 24th ACM Symposium on Parallelism in Algorithms and Architectures, 2012
Proceedings of the Structural Information and Communication Complexity, 2012
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012
2011
Inherent Limitations on Disjoint-Access Parallel Implementations of Transactional Memory.
Theory Comput. Syst., 2011
Proceedings of the Distributed Computing - 25th International Symposium, 2011
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011
Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011
Proceedings of the Distributed Computing and Networking - 12th International Conference, 2011
Invited Paper: The Inherent Complexity of Transactional Memory and What to Do about It.
Proceedings of the Distributed Computing and Networking - 12th International Conference, 2011
2010
IEEE Trans. Parallel Distributed Syst., 2010
IEEE Trans. Mob. Comput., 2010
Robust Simulation of Shared Memory: 20 Years After.
Bull. EATCS, 2010
Algorithmica, 2010
Proceedings of the Distributed Computing, 24th International Symposium, 2010
Proceedings of the Distributed Computing, 24th International Symposium, 2010
Proceedings of the Distributed Computing, 24th International Symposium, 2010
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010
Proceedings of the SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2010
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010
Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010
Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010
2009
Proceedings of the Distributed Computing, 23rd International Symposium, 2009
Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009
2008
SIAM J. Comput., 2008
Proceedings of the 40th Annual ACM Symposium on Theory of Computing, 2008
Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008
Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008
Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008
2007
Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007
2006
IEEE Trans. Parallel Distributed Syst., 2006
Parallel Process. Lett., 2006
Proceedings of the Structural Information and Communication Complexity, 2006
Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, 2006
Proceedings of the Distributed Computing and Networking, 8th International Conference, 2006
2005
Proceedings of the Distributed Computing, 19th International Conference, 2005
Proceedings of the Distributed Computing, 19th International Conference, 2005
Proceedings of the Principles of Distributed Systems, 9th International Conference, 2005
2004
J. Parallel Distributed Comput., 2004
Int. J. Commun. Syst., 2004
Proceedings of the Distributed Computing, 18th International Conference, 2004
Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004
Proceedings of the 12th International Workshop on Modeling, 2004
Distributed computing - fundamentals, simulations, and advanced topics (2. ed.).
Wiley series on parallel and distributed computing, Wiley, ISBN: 978-0-471-45324-6, 2004
2003
Information-Flow Models for Shared Memory with an Application to the PowerPC Architecture.
IEEE Trans. Parallel Distributed Syst., 2003
Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003
2002
Inf. Comput., 2002
Proceedings of the Distributed Computing, 16th International Conference, 2002
2001
SIAM J. Comput., 2001
Time Bounds for Decision Problems in the Presence of Timing Uncertainty and Failures.
J. Parallel Distributed Comput., 2001
2000
J. Algorithms, 2000
Proceedings of the Distributed Computing, 14th International Conference, 2000
Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000
1999
Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, 1999
1998
Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies.
SIAM J. Comput., 1998
Adaptive Wait-Free Algorithms for Lattice Agreement and Renaming (Extended Abstract).
Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, 1998
Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, 1998
1997
IDABased Protocols for Reliable Multicast.
Proceedings of the On Principles Of Distributed Systems, 1997
1996
SIAM J. Comput., 1996
Inf. Process. Lett., 1996
Proceedings of the Distributed Algorithms, 10th International Workshop, 1996
Efficient and Robust Sharing of Memory in Message-Passing Systems (Extended Abstract).
Proceedings of the Distributed Algorithms, 10th International Workshop, 1996
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996
1995
Trade-offs between Message Delivery and Quiesce Times in Conection Management Protocols (Preliminary Report).
Proceedings of the Third Israel Symposium on Theory of Computing and Systems, 1995
1994
Inf. Comput., April, 1994
J. ACM, 1994
Proceedings of the Distributed Algorithms, 8th International Workshop, 1994
Proceedings of the 6th Annual ACM Symposium on Parallel Algorithms and Architectures, 1994
1993
Shared Memory Consistency Conditions for Non-Sequential Execution: Definitions and Programming Strategies.
Proceedings of the 5th Annual ACM Symposium on Parallel Algorithms and Architectures, 1993
Proceedings of the Twelth Annual ACM Symposium on Principles of Distributed Computing, 1993
Optimal Clock Synchronization under Different Delay Assumptions (Preliminary Version).
Proceedings of the Twelth Annual ACM Symposium on Principles of Distributed Computing, 1993
1992
Proceedings of the Distributed Algorithms, 6th International Workshop, 1992
Proceedings of the 24th Annual ACM Symposium on Theory of Computing, 1992
1991
Proceedings of the Distributed Algorithms, 5th International Workshop, 1991
Proceedings of the 3rd Annual ACM Symposium on Parallel Algorithms and Architectures, 1991
1990
Proceedings of the 31st Annual Symposium on Foundations of Computer Science, 1990
1989
Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, 1989
1988
1987
סינכרוניות כנגד אסינכרוניות במערכות מבוזרות (Synchronism vs. asynchronism in distributed systems.).
PhD thesis, 1987
Proceedings of the Distributed Algorithms, 1987
Proceedings of the 28th Annual Symposium on Foundations of Computer Science, 1987
1984
Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984
Proceedings of the First International Conference on Data Engineering, 1984