Adaptive Static Analysis via Learning with Bayesian Optimization

Kihong Heo, Hakjoo Oh, Hongseok Yang, Kwangkeun Yi. Adaptive Static Analysis via Learning with Bayesian Optimization. ACM Transactions on Programming Languages and Systems, 40(4), 2018. [doi]

Abstract

Abstract is missing.