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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Oh, H, Yang, H, Yi, K
Định dạng:	Conference item
Được phát hành:	Association for Computing Machinery 2015

Những quyển sách tương tự

Adversarial attacks on graph classification via Bayesian optimisation
Bằng: Wan, X, et al.
Được phát hành: (2021)

Robust reinforcement learning with Bayesian optimisation and quadrature
Bằng: Paul, S, et al.
Được phát hành: (2020)

Bayesian optimisation for automated machine learning
Bằng: Ru, B
Được phát hành: (2022)

Bayesian optimisation of functions on graphs
Bằng: Wan, X, et al.
Được phát hành: (2024)

Reinforcement learning-trained optimisers and Bayesian optimisation for online particle accelerator tuning
Bằng: Jan Kaiser, et al.
Được phát hành: (2024-07-01)

Bayesian optimisation for breeding schemes
Bằng: Julien Diot, et al.
Được phát hành: (2023-01-01)

Single and multi-objective real-time optimisation of an industrial injection moulding process via a Bayesian adaptive design of experiment approach
Bằng: Mandana Kariminejad, et al.
Được phát hành: (2024-11-01)

Interpretable neural architecture search via Bayesian optimisation with Weisfeiler-Lehman kernels
Bằng: Ru, B, et al.
Được phát hành: (2021)

An active machine learning approach for optimal design of magnesium alloys using Bayesian optimisation
Bằng: M. Ghorbani, et al.
Được phát hành: (2024-04-01)

Adaptive learning of polynomial networks : genetic programming, backpropagation and bayesian methods /
Bằng: 401526 Nikolaev, Nikolay Y., et al.
Được phát hành: (2006)

GLASSES: Relieving the myopia of Bayesian optimisation
Bằng: Gonzalez, J, et al.
Được phát hành: (2016)

Practical Bayesian optimisation for hyperparameter tuning
Bằng: Alvi, A
Được phát hành: (2019)

Practical Bayesian optimisation for hyperparameter tuning
Bằng: Alvi, AS
Được phát hành: (2020)

Fast optimisation of the formability of dry fabric preforms: A Bayesian approach
Bằng: Siyuan Chen, et al.
Được phát hành: (2023-06-01)

Sampling for Bayesian program learning
Bằng: Ellis, Kevin M., et al.
Được phát hành: (2017)

Static posterior inference of Bayesian probabilistic programming via polynomial solving
Bằng: Wang, Peixin, et al.
Được phát hành: (2024)

Bayesian optimisation of large-scale biophysical networks
Bằng: Hadida, J, et al.
Được phát hành: (2018)

Optimising General Configuration of Wing-Sailed Autonomous Sailing Monohulls Using Bayesian Optimisation and Knowledge Transfer
Bằng: Yang An, et al.
Được phát hành: (2023-03-01)

Theoretical Analysis of Bayesian Optimisation with Unknown Gaussian Process Hyper−Parameters
Bằng: Wang, Z, et al.
Được phát hành: (2014)

Bayesian Gaussian processes for sequential prediction, optimisation and quadrature
Bằng: Osborne, M, et al.
Được phát hành: (2010)

Bayesian optimisation of Gaussian processes for identifying the deteriorating patient
Bằng: Colopy, G, et al.
Được phát hành: (2017)

Sensitivity Analysis of Grey Linear Programming for Optimisation Problems
Bằng: Davood Darvishi, et al.
Được phát hành: (2021-01-01)

Understanding the adaptive growth strategy of Lactobacillus plantarum by in silico optimisation.
Bằng: Bas Teusink, et al.
Được phát hành: (2009-06-01)

Structure Learning of Bayesian Network Based on Adaptive Thresholding
Bằng: Yang Zhang, et al.
Được phát hành: (2019-07-01)

Particle Swarm Optimisation with Improved Learning Strategy
Bằng: Wei , Hong Lim, et al.
Được phát hành: (2015)

Optimisation of microalgal cultivation via nutrient-enhanced strategies: the biorefinery paradigm
Bằng: Gonzalo M. Figueroa-Torres, et al.
Được phát hành: (2021-03-01)

Bayesian optimisation of personalised models for patient vital-sign monitoring
Bằng: Colopy, GW, et al.
Được phát hành: (2017)

Diagnosing Metabolic Syndrome Using Genetically Optimised Bayesian ARTMAP
Bằng: Kakudi, Habeebah Adamu, et al.
Được phát hành: (2019)

Fault Diagnosis in Drones via Multiverse Augmented Extreme Recurrent Expansion of Acoustic Emissions with Uncertainty Bayesian Optimisation
Bằng: Tarek Berghout, et al.
Được phát hành: (2024-07-01)

Program Optimisation‚ Naturally
Bằng: Bird, R, et al.
Được phát hành: (2000)

Program Optimisation‚ Naturally
Bằng: Bird, R, et al.
Được phát hành: (2000)

Neuroadaptive Bayesian optimisation to study individual differences in infants’ engagement with social cues
Bằng: A. Gui, et al.
Được phát hành: (2024-08-01)

Adaptive Mission Abort Planning Integrating Bayesian Parameter Learning
Bằng: Yuhan Ma, et al.
Được phát hành: (2024-08-01)

Optimal Cold Atom Thermometry Using Adaptive Bayesian Strategies
Bằng: Jonas Glatthard, et al.
Được phát hành: (2022-12-01)

Bayesian programming /
Bằng: Bessir̈e, Pierre, author, et al.
Được phát hành: (2014)

Parallel evolutionary programming techniques for strategy optimisation in air combat scenarios /
Bằng: Istas F. Nusyirwan
Được phát hành: (2008)

A Trajectory Optimisation-Based Incremental Learning Strategy for Learning from Demonstration
Bằng: Yuqi Wang, et al.
Được phát hành: (2024-06-01)

Optimising testing strategies when conducting MAIA microperimetry: MAIA optimisation and evolution
Bằng: Jolly, J, et al.
Được phát hành: (2018)

Few-Shot Bayesian Imitation Learning with Logical Program Policies
Bằng: Silver, Tom, et al.
Được phát hành: (2021)

Fast bayesian inference with batch bayesian quadrature via kernel recombination
Bằng: Adachi, M, et al.
Được phát hành: (2022)