Hagit Attiya
Affiliations: Technion  Israel Institute of Technology, Haifa, Israel
According to our database^{1},
Hagit Attiya
authored at least 206 papers
between 1984 and 2023.
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
2023
J. Parallel Distributed Comput., June, 2023
Distributed Comput., March, 2023
IACR Cryptol. ePrint Arch., 2023
CoRR, 2023
MultiValued Connected Consensus: A New Perspective on Crusader Agreement and AdoptCommit.
CoRR, 2023
One Step Forward, One Step Back: FLPStyle Proofs and the RoundReduction Technique for Colorless Tasks.
CoRR, 2023
CoRR, 2023
Topological Characterization of Task Solvability in General Models of Computation.
CoRR, 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
Separating lockfreedom from waitfreedom at every level of the consensus hierarchy.
J. Parallel Distributed Comput., 2022
Storecollect in the presence of continuous churn with application to snapshots and lattice agreement.
Inf. Comput., 2022
Distributed Comput., 2022
Distributed Comput., 2022
NVMESR: Using NonVolatile 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
Recovery of Distributed Iterative Solvers for Linear Systems Using NonVolatile RAM.
Proceedings of the 12th IEEE/ACM Workshop on Fault Tolerance for HPC at eXtreme Scale, 2022
2021
Theor. Comput. Sci., 2021
Distributed Comput., 2021
Distributed Comput., 2021
Linearizable Implementations Suffice for Termination of Randomized Concurrent Programs.
CoRR, 2021
Impossibility of StronglyLinearizable MessagePassing Objects via Simulation by SingleWriter 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 HighPerformance Scientific Computing.
Proceedings of the 11th IEEE/ACM Workshop on Fault Tolerance for HPC at eXtreme Scale, 2021
2020
Distributed Comput., 2020
Commun. ACM, 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 ObjectBased Transactional Memory.
Proceedings of the Networked Systems  8th International Conference, 2020
2019
IEEE Trans. Parallel Distributed Syst., 2019
SIAM J. Comput., 2019
Distributed Comput., 2019
CoRR, 2019
CoRR, 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
NestingSafe Recoverable Linearizability: Modular Constructions for NonVolatile 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
Distributed Comput., 2017
CoRR, 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
SIAM J. Comput., 2016
J. Parallel Distributed Comput., 2016
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
J. ACM, 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, 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
Theory Comput. Syst., 2012
J. Parallel Distributed Comput., 2012
J. ACM, 2012
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
Theor. Comput. Sci., 2011
SIGACT News, 2011
Inherent Limitations on DisjointAccess Parallel Implementations of Transactional Memory.
Theory Comput. Syst., 2011
J. Parallel Distributed Comput., 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 SIGPLANSIGACT 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
IEEE Trans. Computers, 2010
SIAM J. Comput., 2010
J. Parallel Distributed Comput., 2010
Robust Simulation of Shared Memory: 20 Years After.
Bull. EATCS, 2010
CoRR, 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 SIGPLANSIGACT 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
J. ACM, 2009
Distributed Comput., 2009
Proceedings of the Distributed Computing, 23rd International Symposium, 2009
Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009
2008
SIGACT News, 2008
SIAM J. Comput., 2008
J. ACM, 2008
Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008
Proceedings of the TwentySeventh Annual ACM Symposium on Principles of Distributed Computing, 2008
Proceedings of the TwentySeventh Annual ACM Symposium on Principles of Distributed Computing, 2008
Proceedings of the TwentySeventh Annual ACM Symposium on Principles of Distributed Computing, 2008
2007
IEEE Distributed Syst. Online, 2007
Proceedings of the TwentySixth Annual ACM Symposium on Principles of Distributed Computing, 2007
2006
IEEE Trans. Parallel Distributed Syst., 2006
Parallel Process. Lett., 2006
Distributed Comput., 2006
Proceedings of the Structural Information and Communication Complexity, 2006
Proceedings of the TwentyFifth 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
Optimal Clock Synchronization Under Energy Constraints in Wireless AdHoc Networks.
Proceedings of the Principles of Distributed Systems, 9th International Conference, 2005
2004
J. Parallel Distributed Comput., 2004
Int. J. Commun. Syst., 2004
Inf. Comput., 2004
Proceedings of the Distributed Computing, 18th International Conference, 2004
Proceedings of the TwentyThird 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: 9780471453246, 2004
2003
InformationFlow Models for Shared Memory with an Application to the PowerPC Architecture.
IEEE Trans. Parallel Distributed Syst., 2003
J. ACM, 2003
Distributed Comput., 2003
Proceedings of the Twelfth International World Wide Web Conference  Posters, 2003
2002
SIAM J. Comput., 2002
Inf. Comput., 2002
Distributed Comput., 2002
Distributed 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
J. ACM, 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
SIAM J. Comput., 1999
Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, 1999
1998
SIAM J. Comput., 1998
SIAM J. Comput., 1998
Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies.
SIAM J. Comput., 1998
Adaptive WaitFree 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
SIAM J. Comput., 1997
Distributed Comput., 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 MessagePassing 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
J. ACM, 1995
Inf. Comput., 1995
Distributed Comput., 1995
Distributed Comput., 1995
Tradeoffs 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
ACM Trans. Comput. Syst., 1994
Math. Syst. Theory, 1994
J. ACM, 1994
J. ACM, 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
J. ACM, 1993
Shared Memory Consistency Conditions for NonSequential 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
Distributed Comput., 1992
Proceedings of the Distributed Algorithms, 6th International Workshop, 1992
Proceedings of the 24th Annual ACM Symposium on Theory of Computing, 1992
1991
J. Algorithms, 1991
Proceedings of the Distributed Algorithms, 5th International Workshop, 1991
Proceedings of the 3rd Annual ACM Symposium on Parallel Algorithms and Architectures, 1991
1990
J. ACM, July, 1990
Proceedings of the 31st Annual Symposium on Foundations of Computer Science, 1990
1989
Algorithmica, 1989
Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, 1989
1988
J. ACM, 1988
1987
סינכרוניות כנגד אסינכרוניות במערכות מבוזרות (Synchronism vs. asynchronism in distributed systems.).
PhD thesis, 1987
Theor. Comput. Sci., 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