Occualizer: Optimistic Concurrent Search Trees From Sequential Code.

Tomer Shanny Adam Morrison

Published in: OSDI (2022)

Keyphrases

search tree
search algorithm
concurrent programs
search space
branch and bound algorithm
b tree
branching factor
symmetry breaking
sat solvers
binary search trees
tree search
source code
root node
neural network
branch and bound
data analysis
sat solving
optimal solution