Conference item
Learning a strategy for adapting a program analysis via Bayesian optimisation
- Abstract:
-
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 analyser should be adaptive to a given analysis task, and avoid using techniques that unnecessarily improve precision and increase analysis cost. However, achieving this ideal is highly nontrivial, and it requires a la... Expand abstract
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Preview, Accepted manuscript, pdf, 910.9KB, Terms of use)
-
- Publisher copy:
- 10.1145/2814270.2814309
Authors
Funding
+ Engineering and Physical Sciences Research Council
More from this funder
Funding agency for:
Yang, H
Bibliographic Details
- Publisher:
- Association for Computing Machinery
- Host title:
- Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
- Journal:
- Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications More from this journal
- Pages:
- 572-588
- Publication date:
- 2015-10-23
- Acceptance date:
- 2015-08-03
- DOI:
- ISBN:
- 9781450336895
Item Description
- Pubs id:
-
pubs:581037
- UUID:
-
uuid:f656bcfd-ec1b-477c-9185-ff2c7490a207
- Local pid:
-
pubs:581037
- Source identifiers:
-
581037
- Deposit date:
-
2016-01-03
Terms of use
- Copyright holder:
- Association for Computing Machinery
- Copyright date:
- 2015
- Notes:
- © 2015 ACM. This paper was first presented at the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, October 25-30, 2015. New York, NY, USA. This is the accepted manuscript version of the article. The final version is available online from ACM at: 10.1145/2814270.2814309
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record