Login / Signup
Tomer Shanny
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Branching Factor
Branch And Bound
Sat Solving
Search Tree
Top Venues
OSDI
</>
Publications
</>
Tomer Shanny
,
Adam Morrison
Occualizer: Optimistic Concurrent Search Trees From Sequential Code.
OSDI
(2022)