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...
| Հիմնական հեղինակներ: | , , |
|---|---|
| Ձևաչափ: | Conference item |
| Հրապարակվել է: |
Association for Computing Machinery
2015
|