Matches in SemOpenAlex for { <https://semopenalex.org/work/W2134734244> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2134734244 abstract "We present a novel approach to automatic synthesis of loop-free programs. The approach is based on a combination of oracle-guided learning from examples, and constraint-based synthesis from components using satisfiability modulo theories (SMT) solvers. Our approach is suitable for many applications, including as an aid to program understanding tasks such as deobfuscating malware. We demonstrate the efficiency and effectiveness of our approach by synthesizing bit-manipulating programs and by deobfuscating programs." @default.
- W2134734244 created "2016-06-24" @default.
- W2134734244 creator A5011543162 @default.
- W2134734244 creator A5035902535 @default.
- W2134734244 creator A5064230639 @default.
- W2134734244 creator A5086308451 @default.
- W2134734244 date "2010-05-01" @default.
- W2134734244 modified "2023-10-16" @default.
- W2134734244 title "Oracle-guided component-based program synthesis" @default.
- W2134734244 cites W1974411071 @default.
- W2134734244 cites W2012436850 @default.
- W2134734244 cites W2020764470 @default.
- W2134734244 cites W2076242896 @default.
- W2134734244 cites W2139709458 @default.
- W2134734244 cites W2149236697 @default.
- W2134734244 cites W2150871888 @default.
- W2134734244 cites W2160145830 @default.
- W2134734244 cites W4232188856 @default.
- W2134734244 cites W4243693775 @default.
- W2134734244 cites W4301666354 @default.
- W2134734244 cites W3006444925 @default.
- W2134734244 doi "https://doi.org/10.1145/1806799.1806833" @default.
- W2134734244 hasPublicationYear "2010" @default.
- W2134734244 type Work @default.
- W2134734244 sameAs 2134734244 @default.
- W2134734244 citedByCount "393" @default.
- W2134734244 countsByYear W21347342442012 @default.
- W2134734244 countsByYear W21347342442013 @default.
- W2134734244 countsByYear W21347342442014 @default.
- W2134734244 countsByYear W21347342442015 @default.
- W2134734244 countsByYear W21347342442016 @default.
- W2134734244 countsByYear W21347342442017 @default.
- W2134734244 countsByYear W21347342442018 @default.
- W2134734244 countsByYear W21347342442019 @default.
- W2134734244 countsByYear W21347342442020 @default.
- W2134734244 countsByYear W21347342442021 @default.
- W2134734244 countsByYear W21347342442022 @default.
- W2134734244 countsByYear W21347342442023 @default.
- W2134734244 crossrefType "proceedings-article" @default.
- W2134734244 hasAuthorship W2134734244A5011543162 @default.
- W2134734244 hasAuthorship W2134734244A5035902535 @default.
- W2134734244 hasAuthorship W2134734244A5064230639 @default.
- W2134734244 hasAuthorship W2134734244A5086308451 @default.
- W2134734244 hasConcept C111919701 @default.
- W2134734244 hasConcept C114614502 @default.
- W2134734244 hasConcept C121332964 @default.
- W2134734244 hasConcept C127413603 @default.
- W2134734244 hasConcept C164155591 @default.
- W2134734244 hasConcept C168167062 @default.
- W2134734244 hasConcept C168773769 @default.
- W2134734244 hasConcept C199360897 @default.
- W2134734244 hasConcept C2776036281 @default.
- W2134734244 hasConcept C2776937632 @default.
- W2134734244 hasConcept C33923547 @default.
- W2134734244 hasConcept C41008148 @default.
- W2134734244 hasConcept C42935608 @default.
- W2134734244 hasConcept C54732982 @default.
- W2134734244 hasConcept C55166926 @default.
- W2134734244 hasConcept C58013763 @default.
- W2134734244 hasConcept C78519656 @default.
- W2134734244 hasConcept C80444323 @default.
- W2134734244 hasConcept C97355855 @default.
- W2134734244 hasConceptScore W2134734244C111919701 @default.
- W2134734244 hasConceptScore W2134734244C114614502 @default.
- W2134734244 hasConceptScore W2134734244C121332964 @default.
- W2134734244 hasConceptScore W2134734244C127413603 @default.
- W2134734244 hasConceptScore W2134734244C164155591 @default.
- W2134734244 hasConceptScore W2134734244C168167062 @default.
- W2134734244 hasConceptScore W2134734244C168773769 @default.
- W2134734244 hasConceptScore W2134734244C199360897 @default.
- W2134734244 hasConceptScore W2134734244C2776036281 @default.
- W2134734244 hasConceptScore W2134734244C2776937632 @default.
- W2134734244 hasConceptScore W2134734244C33923547 @default.
- W2134734244 hasConceptScore W2134734244C41008148 @default.
- W2134734244 hasConceptScore W2134734244C42935608 @default.
- W2134734244 hasConceptScore W2134734244C54732982 @default.
- W2134734244 hasConceptScore W2134734244C55166926 @default.
- W2134734244 hasConceptScore W2134734244C58013763 @default.
- W2134734244 hasConceptScore W2134734244C78519656 @default.
- W2134734244 hasConceptScore W2134734244C80444323 @default.
- W2134734244 hasConceptScore W2134734244C97355855 @default.
- W2134734244 hasFunder F4320306076 @default.
- W2134734244 hasFunder F4320337388 @default.
- W2134734244 hasLocation W21347342441 @default.
- W2134734244 hasOpenAccess W2134734244 @default.
- W2134734244 hasPrimaryLocation W21347342441 @default.
- W2134734244 hasRelatedWork W1530824419 @default.
- W2134734244 hasRelatedWork W1868334863 @default.
- W2134734244 hasRelatedWork W2048903787 @default.
- W2134734244 hasRelatedWork W2238963713 @default.
- W2134734244 hasRelatedWork W2396384868 @default.
- W2134734244 hasRelatedWork W2433033450 @default.
- W2134734244 hasRelatedWork W2953973768 @default.
- W2134734244 hasRelatedWork W3185435488 @default.
- W2134734244 hasRelatedWork W4206458917 @default.
- W2134734244 hasRelatedWork W4287065083 @default.
- W2134734244 isParatext "false" @default.
- W2134734244 isRetracted "false" @default.
- W2134734244 magId "2134734244" @default.
- W2134734244 workType "article" @default.