Travelled to:1 × Spain
3 × Canada
3 × USA
Collaborated with:D.Hendler K.Censor R.Friedman G.Ramalingam N.Rinetzky P.Woelfel R.Alur G.Taubenfeld C.Dwork N.A.Lynch L.J.Stockmeyer R.Guerraoui P.Kuznetsov M.M.Michael M.T.Vechev
Talks about:bound (3) time (3) algorithm (2) synchron (2) tight (2) multiprocessor (1) uncertainti (1) consensus (1) asynchron (1) agreement (1)
Person: Hagit Attiya
DBLP: Attiya:Hagit
Contributed to:
20112010
20082007199419921991Wrote 7 papers:
- POPL-2011-AttiyaGHKMV #algorithm #concurrent #order
- Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated (HA, RG, DH, PK, MMM, MTV), pp. 487–498.
- POPL-2010-AttiyaRR #verification
- Sequential verification of serializability (HA, GR, NR), pp. 31–42.
- STOC-2008-AttiyaHW #bound #problem
- Tight rmr lower bounds for mutual exclusion and other problems (HA, DH, PW), pp. 217–226.
- STOC-2007-AttiyaC #bound #random
- Tight bounds for asynchronous randomized consensus (HA, KC), pp. 155–164.
- STOC-1994-AlurAT #adaptation #algorithm
- Time-adaptive algorithms for synchronization (RA, HA, GT), pp. 800–809.
- STOC-1992-AttiyaF #correctness #multi
- A Correctness Condition for High-Performance Multiprocessors (HA, RF), pp. 679–690.
- STOC-1991-AttiyaDLS #bound #nondeterminism
- Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty (HA, CD, NAL, LJS), pp. 359–369.