| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | James Aspnes, Hagit Attiya, Keren Censor-Hillel |
Polylogarithmic concurrent data structures from monotone circuits.  |
J. ACM  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya |
Announcement: best reviewer award 2011. |
Distributed Computing |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Eshcar Hillel |
Highly concurrent multi-word synchronization. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Faith Ellen, Panagiota Fatourou |
The complexity of updating snapshot objects. |
J. Parallel Distrib. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Eshcar Hillel, Alessia Milani |
Inherent Limitations on Disjoint-Access Parallel Implementations of Transactional Memory. |
Theory Comput. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya |
Sharing memories, robustly. |
SIGACT News |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya |
Invited Paper: The Inherent Complexity of Transactional Memory and What to Do about It. |
ICDCN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Eshcar Hillel |
Single-Version STMs Can Be Multi-version Permissive (Extended Abstract). |
ICDCN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov, Maged M. Michael, Martin T. Vechev |
Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Fatemeh Borran, Martin Hutle, Zarko Milosevic, André Schiper |
Structured Derivation of Semi-Synchronous Algorithms. |
DISC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil |
Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Armando Castañeda |
A Non-topological Proof for the Impossibility of k-Set Agreement. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Leah Epstein, Hadas Shachnai, Tami Tamir |
Transactional Contention Management as a Non-Clairvoyant Scheduling Problem. |
Algorithmica |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Danny Hendler |
Time and Space Lower Bounds for Implementations Using k-CAS. |
IEEE Trans. Parallel Distrib. Syst. |
2010 |
DBLP DOI BibTeX RDF |
Compare&swap (CAS), k-compare&swap (k-CAS), conditional synchronization primitives, queue, collect, stack, counter, round complexity |
| 1 | Hagit Attiya, David Hay, Isaac Keslassy |
Packet-Mode Emulation of Output-Queued Switches. |
IEEE Trans. Computers |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | James Aspnes, Hagit Attiya, Keren Censor |
Combining shared-coin algorithms. |
J. Parallel Distrib. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Alex Kogan, Jennifer L. Welch |
Efficient and Robust Local Mutual Exclusion in Mobile Ad Hoc Networks. |
IEEE Trans. Mob. Comput. |
2010 |
DBLP DOI BibTeX RDF |
failure locality, Mobile ad hoc networks, dining philosophers |
| 1 | Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Gradinariu, Sébastien Tixeuil |
Practically Stabilizing Atomic Memory |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hagit Attiya |
Robust Simulation of Shared Memory: 20 Years After. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hagit Attiya, Keren Censor-Hillel |
Lower Bounds for Randomized Consensus under a Weak Adversary. |
SIAM J. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, G. Ramalingam, Noam Rinetzky |
Sequential verification of serializability. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
verification, concurrency, reduction, serializability |
| 1 | Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Gradinariu, Sébastien Tixeuil |
Brief Announcement: Sharing Memory in a Self-stabilizing Manner. |
DISC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Alistarh, Hagit Attiya, Seth Gilbert, Andrei Giurgiu, Rachid Guerraoui |
Fast Randomized Test-and-Set and Renaming. |
DISC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Eshcar Hillel |
The Cost of Privatization. |
DISC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Vincent Gramoli, Alessia Milani |
Brief announcement: combine -- an improved directory-based consistency protocol. |
SPAA |
2010 |
DBLP DOI BibTeX RDF |
overlay tree, combining, stretch |
| 1 | Hagit Attiya, Eshcar Hillel |
Brief announcement: single-version permissive STM. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
transactional memory, permissiveness |
| 1 | Hagit Attiya |
The inherent complexity of transactional memory and what to do about it. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
mini-transactions, lower bounds, transactional memory |
| 1 | Hagit Attiya, Vincent Gramoli, Alessia Milani |
A Provably Starvation-Free Distributed Directory Protocol. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov |
The complexity of obstruction-free implementations. |
J. ACM |
2009 |
DBLP DOI BibTeX RDF |
perturbable objects, solo-fast implementations, step contention, lower bounds, Shared memory, memory contention |
| 1 | Hagit Attiya |
Editorial: It's all about change. |
Distributed Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Alessia Milani |
Transactional Scheduling for Read-Dominated Workloads. |
OPODIS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Alessia Milani |
Brief Announcement: Transactional Scheduling for Read-Dominated Workloads. |
DISC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Eshcar Hillel, Alessia Milani |
Inherent limitations on disjoint-access parallel implementations of transactional memory. |
SPAA |
2009 |
DBLP DOI BibTeX RDF |
disjoint-access parallelism, partial snapshots, lower bound, transactional memory, impossibility result |
| 1 | James Aspnes, Hagit Attiya, Keren Censor |
Max registers, counters, and monotone circuits. |
PODC |
2009 |
DBLP DOI BibTeX RDF |
max registers, distributed computing, shared memory, counters, monotone circuits |
| 1 | Hagit Attiya, Keren Censor |
Tight bounds for asynchronous randomized consensus. |
J. ACM |
2008 |
DBLP DOI BibTeX RDF |
Distributed computing, lower bound, randomized algorithms, shared-memory, isoperimetric inequality |
| 1 | Hagit Attiya |
Needed: foundations for transactional memory. |
SIGACT News |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, David Hay |
Randomization Does Not Reduce the Average Delay in Parallel Packet Switches. |
SIAM J. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Eshcar Hillel |
Highly-Concurrent Multi-word Synchronization. |
ICDCN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Rachid Guerraoui, Eric Ruppert |
Partial snapshot objects. |
SPAA |
2008 |
DBLP DOI BibTeX RDF |
active set, shared-memory, asynchronous, wait-free, snapshot |
| 1 | Hagit Attiya, Jennifer L. Welch |
A world of (Im) possibilities. |
PODC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Danny Hendler, Philipp Woelfel |
Tight RMR lower bounds for mutual exclusion and other problems. |
PODC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | James Aspnes, Hagit Attiya, Keren Censor |
Randomized consensus in expected O(n log n) individual work. |
PODC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Keren Censor |
Lower bounds for randomized consensus under a weak adversary. |
PODC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Alex Kogan, Jennifer L. Welch |
Efficient and Robust Local Mutual Exclusion in Mobile Ad Hoc Networks. |
ICDCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Danny Hendler, Philipp Woelfel |
Tight rmr lower bounds for mutual exclusion and other problems. |
STOC |
2008 |
DBLP DOI BibTeX RDF |
bounded counter, lower-bound techniques, store/collect object, information theory, shared-memory, mutual exclusion |
| 1 | Hagit Attiya |
Concurrency and the Principle of Data Locality. |
IEEE Distributed Systems Online |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Faith Ellen, Panagiota Fatourou |
The complexity of updating multi-writer snapshot objects. |
PODC |
2007 |
DBLP DOI BibTeX RDF |
distributed computing, lower bound, shared memory, update, snapshot |
| 1 | Hagit Attiya, Eshcar Hillel |
The power of DCAS: highly-concurrent software transactional memory. |
PODC |
2007 |
DBLP DOI BibTeX RDF |
nonblocking implementations, synchronization, locality, transactional memory, contention management |
| 1 | Hagit Attiya, Keren Censor |
Tight bounds for asynchronous randomized consensus. |
STOC |
2007 |
DBLP DOI BibTeX RDF |
distributed computing, lower bound, randomized algorithms, shared-memory, isoperimetric inequality |
| 1 | Hagit Attiya, David Hay |
The Inherent Queuing Delay of Parallel Packet Switches. |
IEEE Trans. Parallel Distrib. Syst. |
2006 |
DBLP DOI BibTeX RDF |
ATM, Internetworking, packet-switching networks |
| 1 | Hagit Attiya, Amir Bar-Or |
Sharing Memory with Semi-byzantine Clients and Faulty Storage Servers. |
Parallel Processing Letters |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Fabian Kuhn, C. Greg Plaxton, Mirjam Wattenhofer, Roger Wattenhofer |
Efficient adaptive collect using randomization. |
Distributed Computing |
2006 |
DBLP DOI BibTeX RDF |
Total contention, Randomization, Adaptive algorithms |
| 1 | Hagit Attiya, Faith Ellen, Panagiota Fatourou |
The Complexity of Updating Multi-writer Snapshot Objects. |
ICDCN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya |
Adapting to Point Contention with Long-Lived Safe Agreement . |
SIROCCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Eshcar Hillel |
Built-In Coloring for Highly-Concurrent Doubly-Linked Lists. |
DISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, David Hay, Isaac Keslassy |
Packet-mode emulation of output-queued switches. |
SPAA |
2006 |
DBLP DOI BibTeX RDF |
CIOQ switch, output-queued, packet-mode scheduling, switch emulation, packet switching, queuing delay |
| 1 | Hagit Attiya, Leah Epstein, Hadas Shachnai, Tami Tamir |
Transactional contention management as a non-clairvoyant scheduling problem. |
PODC |
2006 |
DBLP DOI BibTeX RDF |
scheduling, concurrency control, transactions, contention management, software transactional memory |
| 1 | Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kouznetsov |
Synchronizing without locks is inherently expensive. |
PODC |
2006 |
DBLP DOI BibTeX RDF |
lock-free implementations, perturbable objects, step contention, lower bound, memory contention, obstruction-freedom |
| 1 | Hagit Attiya, David Hay, Jennifer L. Welch |
Optimal Clock Synchronization Under Energy Constraints in Wireless Ad-Hoc Networks. |
OPODIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Rachid Guerraoui, Petr Kouznetsov |
Computing with Reads and Writes in the Absence of Step Contention. |
DISC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Danny Hendler |
Time and Space Lower Bounds for Implementations Using k-CAS. |
DISC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, David Hay |
Randomization does not reduce the average delay in parallel packet switches. |
SPAA |
2005 |
DBLP DOI BibTeX RDF |
oblivious adversary, load balancing, packet switching, randomization, clos networks, queuing delay, inverse multiplexing, adaptive adversary |
| 1 | Hagit Attiya, Hadas Shachnai |
Tight bounds for FEC-based reliable multicast. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan Agbaria, Hagit Attiya, Roy Friedman, Roman Vitenberg |
Quantifying rollback propagation in distributed checkpointing. |
J. Parallel Distrib. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronit Nossenson, Hagit Attiya |
The distribution of file transmission duration in the web. |
Int. J. Communication Systems |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronit Nossenson, Hagit Attiya |
The N-Burst/G/1 Model with Heavy-Tailed Service-Times Distribution. |
MASCOTS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, David Hay |
The Inherent Queuing Delay of Parallel Packet Switches. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Hagit Attiya, Fabian Kuhn, Mirjam Wattenhofer, Roger Wattenhofer |
Efficient Adaptive Collect Using Randomization. |
DISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, David Hay |
The inherent queuing delay of parallel packet switches. |
SPAA |
2004 |
DBLP DOI BibTeX RDF |
leaky-bucket traffic, load balancing, packet switching, clos networks, queuing delay, delay jitter, inverse multiplexing |
| 1 | Hagit Attiya, Faith Ellen Fich, Yaniv Kaplan |
Lower bounds for adaptive collect and related objects. |
PODC |
2004 |
DBLP DOI BibTeX RDF |
exclusive-write registers, sensitive objects, solo termination, weak test&set, adaptivity, contention, collect |
| 1 | Allon Adir, Hagit Attiya, Gil Shurek |
Information-Flow Models for Shared Memory with an Application to the PowerPC Architecture. |
IEEE Trans. Parallel Distrib. Syst. |
2003 |
DBLP DOI BibTeX RDF |
PowerPC architecture, synchronization instructions, models, specification, consistency, Shared memory, multiprocessor systems, out-of-order execution |
| 1 | Hagit Attiya, Arie Fouren |
Algorithms adapting to point contention. |
J. ACM |
2003 |
DBLP DOI BibTeX RDF |
Contention-sensitive complexity, read/write registers, collect, renaming, wait-free algorithms, asynchronous shared-memory systems |
| 1 | Hagit Attiya, Sergio Rajsbaum |
Introduction. |
Distributed Computing |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Amir Bar-Or |
Sharing Memory with Semi-Byzantine Clients and Faulty Storage Servers. |
SRDS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronit Nossenson, Hagit Attiya |
Understanding the Distribution of File Transmission Duration in the Web. |
WWW (Posters) |
2003 |
DBLP BibTeX RDF |
|
| 1 | Hagit Attiya, Alla Gorbach, Shlomo Moran |
Computing in Totally Anonymous Asynchronous Shared Memory Systems. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Arie Fouren, Eli Gafni |
An adaptive collect algorithm with applications. |
Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
Contention-sensitive complexity, Read/write registers, Atomic snapshots, Immediate snapshots, Renaming, Wait-free algorithms, Asynchronous shared-memory systems |
| 1 | Hagit Attiya, Vita Bortnikov |
Adaptive and efficient mutual exclusion. |
Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
Remote step complexity, Point contention, Read/write operations, Adaptive algorithms, System response time |
| 1 | Hagit Attiya, Sergio Rajsbaum |
The Combinatorial Structure of Wait-Free Solvable Tasks. |
SIAM J. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Zvi Avidor |
Wait-Free n-Set Consensus When Inputs Are Restricted. |
DISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Taly Djerassi-Shintel |
Time Bounds for Decision Problems in the Presence of Timing Uncertainty and Failures. |
J. Parallel Distrib. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Eyal Dagan |
Improved implementations of binary universal operations. |
J. ACM |
2001 |
DBLP DOI BibTeX RDF |
contention-sensitive algorithms, deterministic coin tossing, load-linked/store-conditional operations, universal operations, wait-free algorithms, Asynchronous shared-memory systems |
| 1 | Hagit Attiya, Arie Fouren |
Adaptive and Efficient Algorithms for Lattice Agreement and Renaming. |
SIAM J. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan Agbaria, Hagit Attiya, Roy Friedman, Roman Vitenberg |
Quantifying Rollback Propagation in Distributed Checkpointing. (PDF / PS) |
SRDS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya |
Efficient and Robust Sharing of Memory in Message-Passing Systems. |
J. Algorithms |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Arie Fouren |
Polynominal and Adaptive Long-Lived (2k-1)-Renaming. |
DISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Vita Bortnikov |
Adaptive and efficient mutual exclusion (extended abstract). |
PODC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Hadas Shachnai, Tami Tamir |
Local Labeling and Resource Allocation Using Preprocessing. |
SIAM J. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Yehuda Afek, Hagit Attiya, Arie Fouren, Gideon Stupp, Dan Touitou |
Long-Lived Renaming Made Adaptive. |
PODC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Roy Friedman |
A Correctness Condition for High-Performance Multiprocessors. |
SIAM J. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Soma Chaudhuri, Roy Friedman, Jennifer L. Welch |
Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies. |
SIAM J. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Ophir Rachman |
Atomic Snapshots in O(n log n) Operations. |
SIAM J. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Alla Gorbach, Shlomo Moran |
Computing in Totally Anonymous Asynchronous Shared Memory Systems. |
DISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Arie Fouren |
Adaptive Wait-Free Algorithms for Lattice Agreement and Renaming (Extended Abstract). |
PODC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya |
A Direct Lower Bound for k-Set Consensus. |
PODC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Rinat Rappoport |
The Level of Handshake Required for Managing a Connection. |
Distributed Computing |
1997 |
DBLP DOI BibTeX RDF |
Conncection management, TCP-Memory requirements, Incarnations, Transport layer, Handshake |
| 1 | Rajeev Alur, Hagit Attiya, Gadi Taubenfeld |
Time-Adaptive Algorithms for Synchronization. |
SIAM J. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Hadas Shachnai |
IDABased Protocols for Reliable Multicast. |
OPODIS |
1997 |
DBLP BibTeX RDF |
|
| 1 | James E. Burns, Hagit Attiya (eds.) |
Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, Santa Barbara, California, USA, August 21-24, 1997 |
PODC |
1997 |
DBLP BibTeX RDF |
|
| 1 | Hagit Attiya, Roy Friedman |
Limitations of Fast Consistency Conditions for Distributed Shared Memories. |
Inf. Process. Lett. |
1996 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")