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.