Learning a strategy for adapting a program analysis via Bayesian optimisation

<br xmlns:etd="http://www.ouls.ox.ac.uk/ora/modsextensions">Building a cost-effective static analyser for real-world programs is still regarded an art. One key contributor to this grim reputation is the difficulty in balancing the cost and the precision of an analyser. An ideal analy...

詳細記述

書誌詳細
主要な著者: Oh, H, Yang, H, Yi, K
フォーマット: Conference item
出版事項: Association for Computing Machinery 2015