Matches in SemOpenAlex for { <https://semopenalex.org/work/W993487908> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W993487908 endingPage "394" @default.
- W993487908 startingPage "377" @default.
- W993487908 abstract "Program synthesis tools work by searching for an implementation that satisfies a given specification. Two popular search strategies are symbolic search, which reduces synthesis to a formula passed to a SAT solver, and explicit search, which uses brute force or random search to find a solution. In this paper, we propose adaptive concretization, a novel synthesis algorithm that combines the best of symbolic and explicit search. Our algorithm works by partially concretizing a randomly chosen, but likely highly influential, subset of the unknowns to be synthesized. Adaptive concretization uses an online search process to find the optimal size of the concretized subset using a combination of exponential hill climbing and binary search, employing a statistical test to determine when one degree of concretization is sufficiently better than another. Moreover, our algorithm lends itself to a highly parallel implementation, further speeding up search. We implemented adaptive concretization for Sketch and evaluated it on a range of benchmarks. We found adaptive concretization is very effective, outperforming Sketch in many cases, sometimes significantly, and has good parallel scalability." @default.
- W993487908 created "2016-06-24" @default.
- W993487908 creator A5010786661 @default.
- W993487908 creator A5018672826 @default.
- W993487908 creator A5038702707 @default.
- W993487908 creator A5041566154 @default.
- W993487908 date "2015-01-01" @default.
- W993487908 modified "2023-10-18" @default.
- W993487908 title "Adaptive Concretization for Parallel Program Synthesis" @default.
- W993487908 cites W1586300459 @default.
- W993487908 cites W1974514467 @default.
- W993487908 cites W2092775861 @default.
- W993487908 cites W2142126234 @default.
- W993487908 cites W2247845964 @default.
- W993487908 cites W3192343331 @default.
- W993487908 cites W4252684946 @default.
- W993487908 doi "https://doi.org/10.1007/978-3-319-21668-3_22" @default.
- W993487908 hasPublicationYear "2015" @default.
- W993487908 type Work @default.
- W993487908 sameAs 993487908 @default.
- W993487908 citedByCount "19" @default.
- W993487908 countsByYear W9934879082015 @default.
- W993487908 countsByYear W9934879082016 @default.
- W993487908 countsByYear W9934879082017 @default.
- W993487908 countsByYear W9934879082019 @default.
- W993487908 countsByYear W9934879082020 @default.
- W993487908 countsByYear W9934879082021 @default.
- W993487908 countsByYear W9934879082022 @default.
- W993487908 crossrefType "book-chapter" @default.
- W993487908 hasAuthorship W993487908A5010786661 @default.
- W993487908 hasAuthorship W993487908A5018672826 @default.
- W993487908 hasAuthorship W993487908A5038702707 @default.
- W993487908 hasAuthorship W993487908A5041566154 @default.
- W993487908 hasBestOaLocation W9934879082 @default.
- W993487908 hasConcept C11413529 @default.
- W993487908 hasConcept C125583679 @default.
- W993487908 hasConcept C135450995 @default.
- W993487908 hasConcept C199360897 @default.
- W993487908 hasConcept C2776937632 @default.
- W993487908 hasConcept C2778770139 @default.
- W993487908 hasConcept C2779231336 @default.
- W993487908 hasConcept C41008148 @default.
- W993487908 hasConcept C48044578 @default.
- W993487908 hasConcept C77088390 @default.
- W993487908 hasConcept C80444323 @default.
- W993487908 hasConceptScore W993487908C11413529 @default.
- W993487908 hasConceptScore W993487908C125583679 @default.
- W993487908 hasConceptScore W993487908C135450995 @default.
- W993487908 hasConceptScore W993487908C199360897 @default.
- W993487908 hasConceptScore W993487908C2776937632 @default.
- W993487908 hasConceptScore W993487908C2778770139 @default.
- W993487908 hasConceptScore W993487908C2779231336 @default.
- W993487908 hasConceptScore W993487908C41008148 @default.
- W993487908 hasConceptScore W993487908C48044578 @default.
- W993487908 hasConceptScore W993487908C77088390 @default.
- W993487908 hasConceptScore W993487908C80444323 @default.
- W993487908 hasLocation W9934879081 @default.
- W993487908 hasLocation W9934879082 @default.
- W993487908 hasOpenAccess W993487908 @default.
- W993487908 hasPrimaryLocation W9934879081 @default.
- W993487908 hasRelatedWork W1525643724 @default.
- W993487908 hasRelatedWork W2042385911 @default.
- W993487908 hasRelatedWork W2067938758 @default.
- W993487908 hasRelatedWork W2302028273 @default.
- W993487908 hasRelatedWork W2333420780 @default.
- W993487908 hasRelatedWork W2364921833 @default.
- W993487908 hasRelatedWork W2382623646 @default.
- W993487908 hasRelatedWork W2549909126 @default.
- W993487908 hasRelatedWork W2901827551 @default.
- W993487908 hasRelatedWork W3087771547 @default.
- W993487908 isParatext "false" @default.
- W993487908 isRetracted "false" @default.
- W993487908 magId "993487908" @default.
- W993487908 workType "book-chapter" @default.