Matches in SemOpenAlex for { <https://semopenalex.org/work/W2124875144> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2124875144 abstract "We define component-based synthesis to be the problem of synthesis of (straight-line) programs from appropriate composition of base components from a specified library of software components. The functional specification of the desired program and the library components is provided in the form of logical formulas that relate the respective input and output variables. This has applications in design of intricate circuits or algorithms, superoptimization, and API mining. Furthermore, automated synthesis provides the promise of correctness by construction, generation of efficient systems, and improvement in developer’s productivity. We solve the component-based synthesis problem using a constraint-based approach that involves first generating a synthesis constraint, and then solving the constraint. The synthesis constraint is a first-order logic formula whose size is quadratic in the number of components, but has quantifier alternation. We present a novel algorithm for solving such constraints. Our algorithm is based on counterexample guided iterative synthesis paradigm and uses off-the-shelf SMT solvers. We present experimental results on synthesizing a variety of bitvector algorithms that involve unintuitive composition of standard bitvector operations and are difficult to synthesize manually. We also compare our technique with existing synthesis approaches based on sketching and superoptimization. Our tool Brahma can efficiently synthesize highly nontrivial 10-20 line loop-free programs. These programs represent a state space of approximately 20 programs, and are beyond the reach of the other tools." @default.
- W2124875144 created "2016-06-24" @default.
- W2124875144 creator A5011543162 @default.
- W2124875144 creator A5031175477 @default.
- W2124875144 creator A5035902535 @default.
- W2124875144 creator A5086308451 @default.
- W2124875144 date "2010-01-01" @default.
- W2124875144 modified "2023-09-22" @default.
- W2124875144 title "Component-based Synthesis Applied to Bitvector Programs" @default.
- W2124875144 cites W1514468887 @default.
- W2124875144 cites W1530458829 @default.
- W2124875144 cites W1581174623 @default.
- W2124875144 cites W1596680954 @default.
- W2124875144 cites W1603641306 @default.
- W2124875144 cites W1744150050 @default.
- W2124875144 cites W1969005071 @default.
- W2124875144 cites W1974411071 @default.
- W2124875144 cites W1974514467 @default.
- W2124875144 cites W1997199152 @default.
- W2124875144 cites W2012436850 @default.
- W2124875144 cites W2076090418 @default.
- W2124875144 cites W2114012357 @default.
- W2124875144 cites W2133925698 @default.
- W2124875144 cites W2134734244 @default.
- W2124875144 cites W2142920127 @default.
- W2124875144 cites W2149236697 @default.
- W2124875144 cites W2150871888 @default.
- W2124875144 cites W2153943889 @default.
- W2124875144 cites W2160145830 @default.
- W2124875144 cites W2293033107 @default.
- W2124875144 cites W2752853835 @default.
- W2124875144 hasPublicationYear "2010" @default.
- W2124875144 type Work @default.
- W2124875144 sameAs 2124875144 @default.
- W2124875144 citedByCount "2" @default.
- W2124875144 countsByYear W21248751442015 @default.
- W2124875144 crossrefType "journal-article" @default.
- W2124875144 hasAuthorship W2124875144A5011543162 @default.
- W2124875144 hasAuthorship W2124875144A5031175477 @default.
- W2124875144 hasAuthorship W2124875144A5035902535 @default.
- W2124875144 hasAuthorship W2124875144A5086308451 @default.
- W2124875144 hasConcept C11413529 @default.
- W2124875144 hasConcept C118615104 @default.
- W2124875144 hasConcept C121332964 @default.
- W2124875144 hasConcept C162838799 @default.
- W2124875144 hasConcept C168167062 @default.
- W2124875144 hasConcept C199360897 @default.
- W2124875144 hasConcept C2524010 @default.
- W2124875144 hasConcept C2776036281 @default.
- W2124875144 hasConcept C2776937632 @default.
- W2124875144 hasConcept C33923547 @default.
- W2124875144 hasConcept C41008148 @default.
- W2124875144 hasConcept C55439883 @default.
- W2124875144 hasConcept C80444323 @default.
- W2124875144 hasConcept C97355855 @default.
- W2124875144 hasConceptScore W2124875144C11413529 @default.
- W2124875144 hasConceptScore W2124875144C118615104 @default.
- W2124875144 hasConceptScore W2124875144C121332964 @default.
- W2124875144 hasConceptScore W2124875144C162838799 @default.
- W2124875144 hasConceptScore W2124875144C168167062 @default.
- W2124875144 hasConceptScore W2124875144C199360897 @default.
- W2124875144 hasConceptScore W2124875144C2524010 @default.
- W2124875144 hasConceptScore W2124875144C2776036281 @default.
- W2124875144 hasConceptScore W2124875144C2776937632 @default.
- W2124875144 hasConceptScore W2124875144C33923547 @default.
- W2124875144 hasConceptScore W2124875144C41008148 @default.
- W2124875144 hasConceptScore W2124875144C55439883 @default.
- W2124875144 hasConceptScore W2124875144C80444323 @default.
- W2124875144 hasConceptScore W2124875144C97355855 @default.
- W2124875144 hasLocation W21248751441 @default.
- W2124875144 hasOpenAccess W2124875144 @default.
- W2124875144 hasPrimaryLocation W21248751441 @default.
- W2124875144 hasRelatedWork W149731632 @default.
- W2124875144 hasRelatedWork W2009673834 @default.
- W2124875144 hasRelatedWork W2012351729 @default.
- W2124875144 hasRelatedWork W2052190470 @default.
- W2124875144 hasRelatedWork W2058224907 @default.
- W2124875144 hasRelatedWork W2088840065 @default.
- W2124875144 hasRelatedWork W2099615139 @default.
- W2124875144 hasRelatedWork W2162960800 @default.
- W2124875144 hasRelatedWork W2183656320 @default.
- W2124875144 hasRelatedWork W2468310880 @default.
- W2124875144 hasRelatedWork W2490972876 @default.
- W2124875144 hasRelatedWork W2501678966 @default.
- W2124875144 hasRelatedWork W2519784372 @default.
- W2124875144 hasRelatedWork W2530335466 @default.
- W2124875144 hasRelatedWork W2550471858 @default.
- W2124875144 hasRelatedWork W2949895386 @default.
- W2124875144 hasRelatedWork W2954487282 @default.
- W2124875144 hasRelatedWork W3138008504 @default.
- W2124875144 hasRelatedWork W3138262554 @default.
- W2124875144 hasRelatedWork W3184451432 @default.
- W2124875144 isParatext "false" @default.
- W2124875144 isRetracted "false" @default.
- W2124875144 magId "2124875144" @default.
- W2124875144 workType "article" @default.