Learning a strategy for adapting a program analysis via Bayesian optimisation

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

類似資料

Adversarial attacks on graph classification via Bayesian optimisation
著者:: Wan, X, 等
出版事項: (2021)

Robust reinforcement learning with Bayesian optimisation and quadrature
著者:: Paul, S, 等
出版事項: (2020)

Bayesian optimisation for automated machine learning
著者:: Ru, B
出版事項: (2022)

Bayesian optimisation of functions on graphs
著者:: Wan, X, 等
出版事項: (2024)

Reinforcement learning-trained optimisers and Bayesian optimisation for online particle accelerator tuning
著者:: Jan Kaiser, 等
出版事項: (2024-07-01)

Bayesian optimisation for breeding schemes
著者:: Julien Diot, 等
出版事項: (2023-01-01)

Single and multi-objective real-time optimisation of an industrial injection moulding process via a Bayesian adaptive design of experiment approach
著者:: Mandana Kariminejad, 等
出版事項: (2024-11-01)

Interpretable neural architecture search via Bayesian optimisation with Weisfeiler-Lehman kernels
著者:: Ru, B, 等
出版事項: (2021)

An active machine learning approach for optimal design of magnesium alloys using Bayesian optimisation
著者:: M. Ghorbani, 等
出版事項: (2024-04-01)

Adaptive learning of polynomial networks : genetic programming, backpropagation and bayesian methods /
著者:: 401526 Nikolaev, Nikolay Y., 等
出版事項: (2006)

GLASSES: Relieving the myopia of Bayesian optimisation
著者:: Gonzalez, J, 等
出版事項: (2016)

Practical Bayesian optimisation for hyperparameter tuning
著者:: Alvi, A
出版事項: (2019)

Practical Bayesian optimisation for hyperparameter tuning
著者:: Alvi, AS
出版事項: (2020)

Fast optimisation of the formability of dry fabric preforms: A Bayesian approach
著者:: Siyuan Chen, 等
出版事項: (2023-06-01)

Sampling for Bayesian program learning
著者:: Ellis, Kevin M., 等
出版事項: (2017)

Static posterior inference of Bayesian probabilistic programming via polynomial solving
著者:: Wang, Peixin, 等
出版事項: (2024)

Bayesian optimisation of large-scale biophysical networks
著者:: Hadida, J, 等
出版事項: (2018)

Optimising General Configuration of Wing-Sailed Autonomous Sailing Monohulls Using Bayesian Optimisation and Knowledge Transfer
著者:: Yang An, 等
出版事項: (2023-03-01)

Theoretical Analysis of Bayesian Optimisation with Unknown Gaussian Process Hyper−Parameters
著者:: Wang, Z, 等
出版事項: (2014)

Bayesian Gaussian processes for sequential prediction, optimisation and quadrature
著者:: Osborne, M, 等
出版事項: (2010)

Bayesian optimisation of Gaussian processes for identifying the deteriorating patient
著者:: Colopy, G, 等
出版事項: (2017)

Sensitivity Analysis of Grey Linear Programming for Optimisation Problems
著者:: Davood Darvishi, 等
出版事項: (2021-01-01)

Understanding the adaptive growth strategy of Lactobacillus plantarum by in silico optimisation.
著者:: Bas Teusink, 等
出版事項: (2009-06-01)

Structure Learning of Bayesian Network Based on Adaptive Thresholding
著者:: Yang Zhang, 等
出版事項: (2019-07-01)

Particle Swarm Optimisation with Improved Learning Strategy
著者:: Wei , Hong Lim, 等
出版事項: (2015)

Optimisation of microalgal cultivation via nutrient-enhanced strategies: the biorefinery paradigm
著者:: Gonzalo M. Figueroa-Torres, 等
出版事項: (2021-03-01)

Bayesian optimisation of personalised models for patient vital-sign monitoring
著者:: Colopy, GW, 等
出版事項: (2017)

Diagnosing Metabolic Syndrome Using Genetically Optimised Bayesian ARTMAP
著者:: Kakudi, Habeebah Adamu, 等
出版事項: (2019)

Fault Diagnosis in Drones via Multiverse Augmented Extreme Recurrent Expansion of Acoustic Emissions with Uncertainty Bayesian Optimisation
著者:: Tarek Berghout, 等
出版事項: (2024-07-01)

Program Optimisation‚ Naturally
著者:: Bird, R, 等
出版事項: (2000)

Program Optimisation‚ Naturally
著者:: Bird, R, 等
出版事項: (2000)

Neuroadaptive Bayesian optimisation to study individual differences in infants’ engagement with social cues
著者:: A. Gui, 等
出版事項: (2024-08-01)

Adaptive Mission Abort Planning Integrating Bayesian Parameter Learning
著者:: Yuhan Ma, 等
出版事項: (2024-08-01)

Optimal Cold Atom Thermometry Using Adaptive Bayesian Strategies
著者:: Jonas Glatthard, 等
出版事項: (2022-12-01)

Bayesian programming /
著者:: Bessir̈e, Pierre, author, 等
出版事項: (2014)

Parallel evolutionary programming techniques for strategy optimisation in air combat scenarios /
著者:: Istas F. Nusyirwan
出版事項: (2008)

A Trajectory Optimisation-Based Incremental Learning Strategy for Learning from Demonstration
著者:: Yuqi Wang, 等
出版事項: (2024-06-01)

Optimising testing strategies when conducting MAIA microperimetry: MAIA optimisation and evolution
著者:: Jolly, J, 等
出版事項: (2018)

Few-Shot Bayesian Imitation Learning with Logical Program Policies
著者:: Silver, Tom, 等
出版事項: (2021)

Fast bayesian inference with batch bayesian quadrature via kernel recombination
著者:: Adachi, M, 等
出版事項: (2022)