FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4312934272> ?p ?o ?g. }

• W4312934272 endingPage "298" @default.
• W4312934272 startingPage "272" @default.
• W4312934272 abstract "Constraint-based program synthesis techniques have been widely used in numerous settings. However, synthesizing programs that use libraries remains a major challenge. To handle complex or black-box libraries, the state of the art is to provide carefully crafted mocks or models to the synthesizer, requiring extra manual work. We address this challenge by proposing Toshokan, a new synthesis framework as an alternative approach in which library-using programs can be generated without any user-provided artifacts at the cost of moderate performance overhead. The framework extends the classic counterexample-guided synthesis framework with a bootstrapping, log-based library model. The model collects input-output samples from running failed candidate programs on witness inputs. We prove that the framework is sound when a sound, bounded verifier is available, and also complete if the underlying synthesizer and verifier promise to produce minimal outputs. We implement and incorporate the framework to JSketch, a Java sketching tool. Experiments show that Toshokan can successfully synthesize programs that use a variety of libraries, ranging from mathematical functions to data structures. Comparing to state-of-the-art synthesis algorithms which use mocks or models, Toshokan reduces up to 159 lines of code of required manual inputs, at the cost of less than 40 s of performance overheads." @default.
• W4312934272 created "2023-01-05" @default.
• W4312934272 creator A5041437659 @default.
• W4312934272 creator A5041566154 @default.
• W4312934272 date "2022-01-01" @default.
• W4312934272 modified "2023-09-28" @default.
• W4312934272 title "Bootstrapping Library-Based Synthesis" @default.
• W4312934272 cites W1448217631 @default.
• W4312934272 cites W1545506277 @default.
• W4312934272 cites W1964748769 @default.
• W4312934272 cites W1976978933 @default.
• W4312934272 cites W1986544324 @default.
• W4312934272 cites W2012312630 @default.
• W4312934272 cites W2040518484 @default.
• W4312934272 cites W2057156093 @default.
• W4312934272 cites W2059312600 @default.
• W4312934272 cites W2107709519 @default.
• W4312934272 cites W2110908283 @default.
• W4312934272 cites W2115733813 @default.
• W4312934272 cites W2130371489 @default.
• W4312934272 cites W2132481916 @default.
• W4312934272 cites W2134734244 @default.
• W4312934272 cites W2149236697 @default.
• W4312934272 cites W2238673293 @default.
• W4312934272 cites W2292996153 @default.
• W4312934272 cites W2295399529 @default.
• W4312934272 cites W2385332115 @default.
• W4312934272 cites W2541748444 @default.
• W4312934272 cites W2561055248 @default.
• W4312934272 cites W2735416437 @default.
• W4312934272 cites W2767301967 @default.
• W4312934272 cites W2803369237 @default.
• W4312934272 cites W2805457749 @default.
• W4312934272 cites W2898543817 @default.
• W4312934272 cites W2910204069 @default.
• W4312934272 cites W2955030688 @default.
• W4312934272 cites W2963298680 @default.
• W4312934272 cites W2978852699 @default.
• W4312934272 cites W2980266434 @default.
• W4312934272 cites W3123182306 @default.
• W4312934272 cites W3177832995 @default.
• W4312934272 cites W4206458917 @default.
• W4312934272 cites W4232188856 @default.
• W4312934272 cites W4243125208 @default.
• W4312934272 doi "https://doi.org/10.1007/978-3-031-22308-2_13" @default.
• W4312934272 hasPublicationYear "2022" @default.
• W4312934272 type Work @default.
• W4312934272 citedByCount "0" @default.
• W4312934272 crossrefType "book-chapter" @default.
• W4312934272 hasAuthorship W4312934272A5041437659 @default.
• W4312934272 hasAuthorship W4312934272A5041566154 @default.
• W4312934272 hasConcept C106159729 @default.
• W4312934272 hasConcept C111919701 @default.
• W4312934272 hasConcept C118615104 @default.
• W4312934272 hasConcept C162324750 @default.
• W4312934272 hasConcept C162838799 @default.
• W4312934272 hasConcept C168065819 @default.
• W4312934272 hasConcept C199360897 @default.
• W4312934272 hasConcept C207609745 @default.
• W4312934272 hasConcept C2776937632 @default.
• W4312934272 hasConcept C2779960059 @default.
• W4312934272 hasConcept C33923547 @default.
• W4312934272 hasConcept C41008148 @default.
• W4312934272 hasConcept C42935608 @default.
• W4312934272 hasConcept C48103436 @default.
• W4312934272 hasConcept C548217200 @default.
• W4312934272 hasConcept C58013763 @default.
• W4312934272 hasConcept C80444323 @default.
• W4312934272 hasConceptScore W4312934272C106159729 @default.
• W4312934272 hasConceptScore W4312934272C111919701 @default.
• W4312934272 hasConceptScore W4312934272C118615104 @default.
• W4312934272 hasConceptScore W4312934272C162324750 @default.
• W4312934272 hasConceptScore W4312934272C162838799 @default.
• W4312934272 hasConceptScore W4312934272C168065819 @default.
• W4312934272 hasConceptScore W4312934272C199360897 @default.
• W4312934272 hasConceptScore W4312934272C207609745 @default.
• W4312934272 hasConceptScore W4312934272C2776937632 @default.
• W4312934272 hasConceptScore W4312934272C2779960059 @default.
• W4312934272 hasConceptScore W4312934272C33923547 @default.
• W4312934272 hasConceptScore W4312934272C41008148 @default.
• W4312934272 hasConceptScore W4312934272C42935608 @default.
• W4312934272 hasConceptScore W4312934272C48103436 @default.
• W4312934272 hasConceptScore W4312934272C548217200 @default.
• W4312934272 hasConceptScore W4312934272C58013763 @default.
• W4312934272 hasConceptScore W4312934272C80444323 @default.
• W4312934272 hasLocation W43129342721 @default.
• W4312934272 hasOpenAccess W4312934272 @default.
• W4312934272 hasPrimaryLocation W43129342721 @default.
• W4312934272 hasRelatedWork W1498982577 @default.
• W4312934272 hasRelatedWork W1587224678 @default.
• W4312934272 hasRelatedWork W1601811574 @default.
• W4312934272 hasRelatedWork W1687655899 @default.
• W4312934272 hasRelatedWork W2003229342 @default.
• W4312934272 hasRelatedWork W2056749200 @default.
• W4312934272 hasRelatedWork W2766076007 @default.
• W4312934272 hasRelatedWork W4237130512 @default.
• W4312934272 hasRelatedWork W4246793718 @default.
• W4312934272 hasRelatedWork W2528467228 @default.

• next