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

Celý popis

Podrobná bibliografie
Hlavní autoři: Oh, H, Yang, H, Yi, K
Médium: Conference item
Vydáno: Association for Computing Machinery 2015