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

Volledige beschrijving

Bibliografische gegevens
Hoofdauteurs:	Oh, H, Yang, H, Yi, K
Formaat:	Conference item
Gepubliceerd in:	Association for Computing Machinery 2015

Gelijkaardige items

Adversarial attacks on graph classification via Bayesian optimisation
door: Wan, X, et al.
Gepubliceerd in: (2021)

Robust reinforcement learning with Bayesian optimisation and quadrature
door: Paul, S, et al.
Gepubliceerd in: (2020)

Bayesian optimisation for automated machine learning
door: Ru, B
Gepubliceerd in: (2022)

Bayesian optimisation of functions on graphs
door: Wan, X, et al.
Gepubliceerd in: (2024)

Reinforcement learning-trained optimisers and Bayesian optimisation for online particle accelerator tuning
door: Jan Kaiser, et al.
Gepubliceerd in: (2024-07-01)

Bayesian optimisation for breeding schemes
door: Julien Diot, et al.
Gepubliceerd in: (2023-01-01)

Single and multi-objective real-time optimisation of an industrial injection moulding process via a Bayesian adaptive design of experiment approach
door: Mandana Kariminejad, et al.
Gepubliceerd in: (2024-11-01)

Interpretable neural architecture search via Bayesian optimisation with Weisfeiler-Lehman kernels
door: Ru, B, et al.
Gepubliceerd in: (2021)

An active machine learning approach for optimal design of magnesium alloys using Bayesian optimisation
door: M. Ghorbani, et al.
Gepubliceerd in: (2024-04-01)

Adaptive learning of polynomial networks : genetic programming, backpropagation and bayesian methods /
door: 401526 Nikolaev, Nikolay Y., et al.
Gepubliceerd in: (2006)

GLASSES: Relieving the myopia of Bayesian optimisation
door: Gonzalez, J, et al.
Gepubliceerd in: (2016)

Practical Bayesian optimisation for hyperparameter tuning
door: Alvi, A
Gepubliceerd in: (2019)

Practical Bayesian optimisation for hyperparameter tuning
door: Alvi, AS
Gepubliceerd in: (2020)

Fast optimisation of the formability of dry fabric preforms: A Bayesian approach
door: Siyuan Chen, et al.
Gepubliceerd in: (2023-06-01)

Sampling for Bayesian program learning
door: Ellis, Kevin M., et al.
Gepubliceerd in: (2017)

Bayesian optimisation of large-scale biophysical networks
door: Hadida, J, et al.
Gepubliceerd in: (2018)

Static posterior inference of Bayesian probabilistic programming via polynomial solving
door: Wang, Peixin, et al.
Gepubliceerd in: (2024)

Optimising General Configuration of Wing-Sailed Autonomous Sailing Monohulls Using Bayesian Optimisation and Knowledge Transfer
door: Yang An, et al.
Gepubliceerd in: (2023-03-01)

Theoretical Analysis of Bayesian Optimisation with Unknown Gaussian Process Hyper−Parameters
door: Wang, Z, et al.
Gepubliceerd in: (2014)

Bayesian Gaussian processes for sequential prediction, optimisation and quadrature
door: Osborne, M, et al.
Gepubliceerd in: (2010)

Bayesian optimisation of Gaussian processes for identifying the deteriorating patient
door: Colopy, G, et al.
Gepubliceerd in: (2017)

Sensitivity Analysis of Grey Linear Programming for Optimisation Problems
door: Davood Darvishi, et al.
Gepubliceerd in: (2021-01-01)

Understanding the adaptive growth strategy of Lactobacillus plantarum by in silico optimisation.
door: Bas Teusink, et al.
Gepubliceerd in: (2009-06-01)

Structure Learning of Bayesian Network Based on Adaptive Thresholding
door: Yang Zhang, et al.
Gepubliceerd in: (2019-07-01)

Particle Swarm Optimisation with Improved Learning Strategy
door: Wei , Hong Lim, et al.
Gepubliceerd in: (2015)

Optimisation of microalgal cultivation via nutrient-enhanced strategies: the biorefinery paradigm
door: Gonzalo M. Figueroa-Torres, et al.
Gepubliceerd in: (2021-03-01)

Bayesian optimisation of personalised models for patient vital-sign monitoring
door: Colopy, GW, et al.
Gepubliceerd in: (2017)

Diagnosing Metabolic Syndrome Using Genetically Optimised Bayesian ARTMAP
door: Kakudi, Habeebah Adamu, et al.
Gepubliceerd in: (2019)

Rapid Bayesian optimisation for synthesis of short polymer fiber materials
door: Cheng Li, et al.
Gepubliceerd in: (2017-07-01)

Fault Diagnosis in Drones via Multiverse Augmented Extreme Recurrent Expansion of Acoustic Emissions with Uncertainty Bayesian Optimisation
door: Tarek Berghout, et al.
Gepubliceerd in: (2024-07-01)

Program Optimisation‚ Naturally
door: Bird, R, et al.
Gepubliceerd in: (2000)

Program Optimisation‚ Naturally
door: Bird, R, et al.
Gepubliceerd in: (2000)

Neuroadaptive Bayesian optimisation to study individual differences in infants’ engagement with social cues
door: A. Gui, et al.
Gepubliceerd in: (2024-08-01)

Adaptive Mission Abort Planning Integrating Bayesian Parameter Learning
door: Yuhan Ma, et al.
Gepubliceerd in: (2024-08-01)

Optimal Cold Atom Thermometry Using Adaptive Bayesian Strategies
door: Jonas Glatthard, et al.
Gepubliceerd in: (2022-12-01)

Bayesian programming /
door: Bessir̈e, Pierre, author, et al.
Gepubliceerd in: (2014)

Parallel evolutionary programming techniques for strategy optimisation in air combat scenarios /
door: Istas F. Nusyirwan
Gepubliceerd in: (2008)

A Trajectory Optimisation-Based Incremental Learning Strategy for Learning from Demonstration
door: Yuqi Wang, et al.
Gepubliceerd in: (2024-06-01)

Optimising testing strategies when conducting MAIA microperimetry: MAIA optimisation and evolution
door: Jolly, J, et al.
Gepubliceerd in: (2018)

Few-Shot Bayesian Imitation Learning with Logical Program Policies
door: Silver, Tom, et al.
Gepubliceerd in: (2021)