Programming with neural surrogates of programs

Programming with neural surrogates of programs

Show other versions (1)

Bibliographic Details
Main Authors:	Renda, Alex, Ding, Yi, Carbin, Michael
Other Authors:	Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format:	Article
Language:	English
Published:	Association for Computing Machinery (ACM) 2022
Online Access:	https://hdl.handle.net/1721.1/142897

Similar Items

Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs
by: Renda, Alex, et al.
Published: (2023)

Programming with Neural Surrogates of Programs
by: Renda, Alex
Published: (2024)

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

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

Programming and reasoning with partial observability
by: Atkinson, Eric, et al.
Published: (2022)

Programming and reasoning with partial observability
by: Atkinson, Eric, et al.
Published: (2021)

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

The Indian surrogate.
by: Muhammad Nurluqman Suratman., et al.
Published: (2009)

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

An enhanced fourier neural operator surrogate for radioactive plume transport forecasting
by: Ayoub, Ali, et al.
Published: (2024)

Surrogate Neural Networks for Efficient Simulation-based Trajectory Planning Optimization
by: Ruff, Evelyn
Published: (2023)

NeuralMOVES: Extracting and Learning Surrogates for Diverse Vehicle Emission Models
by: Ramirez Sanchez, Edgar
Published: (2024)

Evolution by adapting surrogates
by: Ong, Yew Soon, et al.
Published: (2014)

Reasoning about Relaxed Programs
by: Carbin, Michael, et al.
Published: (2011)

Verifying Quantitative Reliability of Programs That Execute on Unreliable Hardware
by: Carbin, Michael, et al.
Published: (2013)

Extrapolative Bayesian optimization with Gaussian process and neural network ensemble surrogate models
by: Lim, Yee-Fun, et al.
Published: (2022)

Quantum Control Machine: The Limits of Control Flow in Quantum Programming
by: Yuan, Charles, et al.
Published: (2024)

Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs
by: Yuan, Charles, et al.
Published: (2022)

𝜆ₛ: computable semantics for differentiable programming with higher-order functions and datatypes
by: Sherman, Benjamin, et al.
Published: (2021)

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

Biomimetic synthesis of cyclic peptides using novel thioester surrogates
by: Hemu, Xinya, et al.
Published: (2016)

Surrogate assisted calibration framework for crowd model calibration
by: Yi, Wenchao, et al.
Published: (2019)

Semi-symbolic Inference for Efficient Streaming Probabilistic Programming
by: Atkinson, Eric, et al.
Published: (2022)

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

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

Generalizing surrogate-assisted evolutionary computation
by: Lim, Dudy, et al.
Published: (2021)

Surrogate travel via optical videodisc
by: Clay, Peter E
Published: (2013)

Physics-enhanced deep surrogates for PDEs
by: Pestourie, Raphael, et al.
Published: (2023)

TCAD-Informed Surrogate Models of Semiconductor Devices
by: Chinnery, Samuel B.
Published: (2022)

Chain of Testimony: The Holocaust Researcher as Surrogate Witness
by: Karpf, Anne
Published: (2013)

Surrogate modeling applications in chemical and biomedical processes
by: Kazemzadeh Farizhandi, Amir Abbas
Published: (2017)

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

Evaluating the performance of roadside barrier using surrogate devices
by: Soltani, M., et al.
Published: (2011)

Evaluating smart sampling for constructing multidimensional surrogate models
by: Garud, Sushant S., et al.
Published: (2019)

SURROGATE MOTHER DALAM PERSPEKTIF HUKUM PIDANA INDONESIA
by: Muntaha, muntaha
Published: (2013)

Adaptive Construction of Surrogates for the Bayesian Solution of Inverse Problems
by: Li, Jinglai, et al.
Published: (2014)

Surrogate modeling for large-scale black-box systems
by: Liem, Rhea Patricia
Published: (2008)

Distributed functional programming in Scheme
by: Schwendner, Alex (Alex R.)
Published: (2011)

Towards generalizable neural program understanding and synthesis
by: Li, Zhiming
Published: (2024)

Artificial Neural Networks for Programming Quantum Annealers
by: Bosch, Samuel
Published: (2023)