Travelled to:1 × USA
Collaborated with:M.T.Vechev E.Yahav
Talks about:practic (1) concurr (1) search (1) binari (1) order (1) logic (1) tree (1)
Person: Dana Drachsler
DBLP: Drachsler:Dana
Contributed to:
Wrote 1 papers:
- PPoPP-2014-DrachslerVY #concurrent #logic
- Practical concurrent binary search trees via logical ordering (DD, MTV, EY), pp. 343–356.












