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)