Search Results - Automatic Programming— Program synthesis

Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs by Ishebabi, Harold, Mahr, Philipp, Bobda, Christophe, Gebser, Martin, Schaub, Torsten

“…An automated design approach for multiprocessor systems on FPGAs is presented which customizes architectures for parallel programs by simultaneously solving the problems of task mapping, resource…”
Get full text

Automatic synthesis of action programs for intelligent robots by Osipov, V. Yu

“…The problem of automatic synthesis of action programs for intelligent robots in a permanently changing environment is considered…”
Get full text

An algebraic foundation for automatic feature-based program synthesis by Apel, Sven, Lengauer, Christian, Möller, Bernhard, Kästner, Christian

“… Furthermore, our algebraic framework is meant to serve as a basis for the development of the technology of automatic feature-based program synthesis and architectural metaprogramming…”
Get full text

Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs by Ishebabi, Harold, Mahr, Philipp, Bobda, Christophe, Gebser, Martin, Schaub, Torsten

“…An automated design approach for multiprocessor systems on FPGAs is presented which customizes architectures for parallel programs by simultaneously solving the problems of task mapping, resource…”
Get full text

Model-based Simulation of a Hydraulic Closed-loop Rotary Transmission with Automatic Control by Grossschmidt, Gunnar, Harf, Mait

“… Object-oriented multi-pole models, visual programming environment, automatic program synthesis and distributed computing are as original approach in simulation of fluid power systems…”
Get full text

Exploiting Approximate Feature Extraction via Genetic Programming for Hardware Acceleration in a Heterogeneous Microprocessor by Jia, Hongyang, Verma, Naveen

“… To overcome this, a programmable feature-extraction accelerator (FEA) is presented that exploits genetic programming for automatic program synthesis…”
Get full text

Machine-Made Synthesis of Stabilization System by Modified Cartesian Genetic Programming by Diveev, Askhat I., Shmalko, Elizaveta Y.

“…A numerical solution of the problem of the general synthesis of a stabilization system by a symbolic regression method is considered…”
Get full text

Reward-Guided Synthesis of Intelligent Agents with Control Structures by Cui, Guofeng, Wang, Yuning, Qiu, Wenjie, Zhu, He

“… tasks with sparse reward signals. Existing program synthesis algorithms for RL problems inherit the same limitation, as they either adapt conventional RL algorithms…”
Get full text

Model-based simulation of hydraulic hoses in an intelligent environment by Grossschmidt, Gunnar, Harf, Mait

“… The CoCoViLa environment is a visual programming tool, which supports declarative programming in a high-level language and automatic program synthesis…”
Get full text

Architecture-Independent Programming for Wireless Sensor Networks by Bakshi, Amol B, Prasanna, Viktor K

“… This new approach is based on the Abstract Task Graph (ATaG), a data-driven programming model and an innovative methodology forarchitecture-independent programming and automatic software synthesis for sensor networks…”
Get full text

Neural Program Synthesis for Automatic Image Enhancement by P, Vasuki, N, Sripriya, S, Jacindha, G, Abishek, A, Supriya Abirami

“…Program synthesis is the art of synthesizing programs from the user's specifications…”
Get full text

Bayesian synthesis of probabilistic programs for automatic data modeling by Saad, Feras A., Cusumano-Towner, Marco F., Schaechtle, Ulrich, Rinard, Martin C., Mansinghka, Vikash K.

“… probabilistic programs in these modeling languages given observed data. We provide a precise formulation of Bayesian synthesis for automatic data modeling that identifies sufficient conditions for the resulting synthesis procedure to be sound…”
Get full text

Alleviating patch overfitting with automatic test generation: a study of feasibility and effectiveness for the Nopol repair system by Yu, Zhongxing, Martinez, Matias, Danglot, Benjamin, Durieux, Thomas, Monperrus, Martin

“…Among the many different kinds of program repair techniques, one widely studied family of techniques is called test suite based repair…”
Get full text

Combining model finder and genetic programming into a general purpose automatic program synthesizer by Correia, Alexandre, Iyoda, Juliano, Mota, Alexandre

“…•PSMF2 is a new general purpose automatic program synthesizer that combines model checking and genetic programming…”
Get full text

mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR Using Program Synthesis by Brauckmann, Alexander, Polgreen, Elizabeth, Grosser, Tobias, O'Boyle, Michael F. P.

“…MLIR is an emerging compiler infrastructure for modern hardware, but existing programs cannot take advantage of MLIR's high-performance compilation if they are described in lower-level general purpose languages…”
Get full text

Top-Down Synthesis for Library Learning by Bowers, Matthew, Olausson, Theo X., Wong, Lionel, Grand, Gabriel, Tenenbaum, Joshua B., Ellis, Kevin, Solar-Lezama, Armando

“…This paper introduces corpus-guided top-down synthesis as a mechanism for synthesizing library functions that capture common functionality from a corpus of programs in a domain specific language (DSL…”
Get full text

Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks by Beal, Jacob, Lu, Ting, Weiss, Ron

“… Recent advances in DNA synthesis and automated DNA assembly technologies suggest that it is now possible to construct synthetic systems of significant complexity…”
Get full text

Recursive Program Synthesis using Paramorphisms by Hong, Qiantan, Aiken, Alex

“… Our method synthesizes paramorphisms, a class of programs that includes the most common recursive programming patterns on algebraic data types…”
Get full text

Fitness Landscape Optimization Makes Stochastic Symbolic Search By Genetic Programming Easier by Huang, Zhixing, Mei, Yi, Zhang, Fangfang, Zhang, Mengjie, Banzhaf, Wolfgang

“…Searching for symbolic models plays an important role in a wide range of domains such as neural architecture search and automatic program synthesis…”
Get full text

Active Learning for Neurosymbolic Program Synthesis by Barnaby, Celeste, Chen, Qiaochu, Ramalingam, Ramya, Bastani, Osbert, Dillig, Işıl

“…The goal of active learning for program synthesis is to synthesize the desired program by asking targeted questions that minimize user interaction…”
Get full text