Programming with neural surrogates of programs

Programming with neural surrogates of programs

Bibliographic Details
Main Authors:	Renda, Alex (Author), Ding, Yi (Author), Carbin, Michael (Author)
Format:	Article
Language:	English
Published:	Association for Computing Machinery (ACM), 2022-06-07T13:31:30Z.
Subjects:	Article
Online Access:	Get fulltext

Similar Items

DiffTune: Optimizing CPU Simulator Parameters with Learned Differentiable Surrogates
by: Renda, Alex, et al.
Published: (2022)

Automatically identifying critical behaviors in programs
by: Carbin, Michael (Michael James)
Published: (2010)

Convergent surrogate-constraint dynamic programming.
Published: (2006)

Surrogate dual search in nonlinear integer programming.
Published: (2009)

Surrogate constraint duality and extensions in integer programming
by: Karwan, Mark H.
Published: (2008)

Reactive probabilistic programming
by: Atkinson, Eric Hamilton, et al.
Published: (2021)

IThemal: Accurate, Portable and Fast Basic Block Throughput Estimation using Deep Neural Networks
by: Mendis, C, et al.
Published: (2021)

A Strategy To Exploit Surrogate Sire Technology in Livestock Breeding Programs
by: Paolo Gottardo, et al.
Published: (2019-01-01)

Geometric Generalisation of Surrogate Model-Based Optimisation to Combinatorial and Program Spaces
by: Yong-Hyuk Kim, et al.
Published: (2014-01-01)

Adaptive Test Selection for Factorization-based Surrogate Fitness in Genetic Programming
by: Krawiec Krzysztof, et al.
Published: (2017-12-01)

The P-norm surrogate-constraint algorithm for polynomial zero-one programming.
Published: (1999)

Verifying quantitative reliability for programs that execute on unreliable hardware
by: Misailovic, Sasa, et al.
Published: (2015)

Evolutionary algorithm using surrogate models for solving bilevel multiobjective programming problems.
by: Yuhui Liu, et al.
Published: (2020-01-01)

Verified integrity properties for safe approximate program transformations
by: Kim, Deokhwan, et al.
Published: (2014)

Proving acceptability properties of relaxed nondeterministic approximate programs
by: Carbin, Michael James, et al.
Published: (2012)

Surrogate endpoints for overall survival in anti-programmed death-1 and anti-programmed death ligand 1 trials of advanced melanoma
by: Run-Cong Nie, et al.
Published: (2020-06-01)

Constraining neural microcircuits with surrogate physiological data and genetic algorithms
by: Eager Michael A, et al.
Published: (2007-07-01)

The lottery ticket hypothesis: Finding sparse, trainable neural networks
by: Frankle, Jonathan, et al.
Published: (2021)

Need-based Reproductive Health Care Program in Iranian Surrogate Mothers; A Qualitative Study
by: Marjan Goli, et al.
Published: (2021-02-01)

Feasibility of Deep Neural Network Surrogate Models in Fluid Dynamics
by: Niels C. Bender, et al.
Published: (2019-04-01)

Surrogate
by: G'Fellers, Jeanne
Published: (2017)

Reproductive and sexual Health of surrogate mothers, developing a care program: a protocol for mixed methods study
by: Marjan Goli, et al.
Published: (2019-02-01)

Neural Oscillators Programming Simplified
by: Patrick McDowell, et al.
Published: (2012-01-01)

Neural Networks as Surrogates for Computational Fluid Dynamics Predictions of Hypersonic Flows
by: Minsavage, Kaitlyn Emily
Published: (2020)

Optimization on the Crosswind Stability of Trains Using Neural Network Surrogate Model
by: Le Zhang, et al.
Published: (2021-09-01)

Surrogate Modeling of Electrical Machine Torque Using Artificial Neural Networks
by: Mikko Tahkola, et al.
Published: (2020-01-01)

Identification and control of neural circuit dynamics for natural and surrogate inputs in-vivo
by: Millard, Daniel C.
Published: (2015)

The three pillars of machine programming
by: Gottschlich, Justin, et al.
Published: (2021)

Improving Neural Network Training Program and Programming of Auto-Training Feedforward Neural Network of Thermodynamic Model
by: Chan-Chi Chang, et al.
Published: (2008)

Surrogate reviewers
by: Nitesh Tewari, et al.
Published: (2021-01-01)

A neural network construction method for surrogate modeling of physics-based analysis
by: Sung, Woong Je
Published: (2012)

The Surrogate’s Womb
by: Arlie Russell Hochschild
Published: (2015-12-01)

Surrogate motherhood
by: Arteta-Acosta Cindy
Published: (2011-06-01)

The Linear Programming Algorithm for Neural Networks
by: Shawe-Taylor, J., et al.
Published: (1990)

Development of Competency-Based Education Standards for Homeland Security Academic Programs
by: Ramsay, J.D, et al.
Published: (2018)

The ethical analysis of surrogate mother : a study on enforceability of surrogate contract
by: Shu-ling Lee, et al.
Published: (2006)

Multiobjective optimization of the dynamic aperture using surrogate models based on artificial neural networks
by: M. Kranjčević, et al.
Published: (2021-01-01)

A Surrogate Model Based on Artificial Neural Networks for Wave Propagation in Uncertain Media
by: Xi Cheng, et al.
Published: (2020-01-01)

The Remarkable Robustness of Surrogate Gradient Learning for Instilling Complex Function in Spiking Neural Networks
by: Vogels, T.P, et al.
Published: (2021)

Augmented Neural Network Surrogate Models for Polynomial Chaos Expansions and Reduced Order Modeling
by: Cooper, Rachel Gray
Published: (2021)