Search Results - Automatic Programming— program synthesis General Terms Design

PROPR: Property-Based Automatic Program Repair by Gissurarson, Matthias Pall, Applis, Leonhard, Panichella, Annibale, van Deursen, Arie, Sands, David

“…Automatic program repair (APR) regularly faces the challenge of overfitting patches - patches that pass the test suite, but do not actually address the problems when evaluated manually…”
Get full text

Complexity issues in automated synthesis of failsafe fault-tolerance by Kulkarni, S.S., Ebnenasir, A.

“… We present a somewhat unexpected result that, in general, the problem of synthesizing failsafe fault-tolerant distributed programs from their fault-intolerant version is NP-complete in the state space of the program…”
Get full text

The scenario approach to robust control design by Calafiore, G.C., Campi, M.C.

“…This paper proposes a new probabilistic solution framework for robust control analysis and synthesis problems that can be expressed in the form of minimization of a linear objective subject to convex…”
Get full text

Evaluating Large Language Models for Automatic Register Transfer Logic Generation via High-Level Synthesis by Swaroopa, Sneha, Mukherjee, Rijoy, Debnath, Anushka, Chakraborty, Rajat Subhra

“… generation of programs in general-purpose programming languages such as C, C++, Python, etc. With this as the key insight, in this paper we assess the performance of a two-stage software pipeline for automated Verilog RTL generation…”
Get full text

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II by Dillig, Isil, Tasiran, Serdar

“…; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning…”
Get full text

Property-driven benchmark generation: synthesizing programs of realistic structure by Steffen, Bernhard, Isberner, Malte, Naujokat, Stefan, Margaria, Tiziana, Geske, Maren

“…We present a systematic approach to the automatic generation of platform-independent benchmarks of realistic structure and tailored complexity for evaluating verification tools for reactive systems…”
Get full text

Automatic implementation of affine iterative algorithms: Design flow and communication synthesis by Marongiu, Alessandro, Palazzari, Paolo

“…This work addresses the automatic generation of a parallel architecture, described by the skeleton of a VHDL program at the Register Transfer Level, starting from some high level expression specified…”
Get full text

Stockwire.com: Speak with other shareholders about: (OTC: AGWS), (NYSE: SMG), (NYSE: BG), and (NYSE: MON)

“…M2 PRESSWIRE-March 15, 2007-Stockwire.com: Speak with other shareholders about: (OTC: AGWS), (NYSE: SMG), (NYSE: BG), and (NYSE: MON) . (C)1994-2007 M2…”
Get full text

Minimization of the maximum peak-to-peak gain: the general multiblock problem by Diaz-Bobillo, I.J., Dahleh, M.A.

“…A comprehensive study of the general l/sub 1/-optimal multiblock problem and a new linear programming algorithm for computing suboptimal controllers are presented…”
Get full text

Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity by SNYERS, D, THAYSE, A

“… do) and proving theorems can be carried out by using the same approach. It is proved that the same transformations acting on P-functions can be interpreted in terms of binary program synthesis and of theorem proving…”
Get full text