CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors.

Martin T. Vechev Eran Yahav David F. Bacon Noam Rinetzky

Published in: PLDI (2007)

Keyphrases

semi automated
search procedure
provably correct
fully automated
tabu search
search space
simulated annealing
search algorithm
formal methods
path relinking
situation calculus
hill climbing
search procedures
hyper heuristics
interval arithmetic
variable neighborhood search
scheduling problem
lower bound