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...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính: Oh, H, Yang, H, Yi, K
Định dạng: Conference item
Được phát hành: Association for Computing Machinery 2015