FRINK Linked Data Fragments server

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

• W2131146089 endingPage "503" @default.
• W2131146089 startingPage "492" @default.
• W2131146089 abstract "In this paper, we investigate the problem of semi-automated inversion of imperative programs, which has the potential to make it much easier and less error prone to write programs that naturally pair as inverses, such as insert/delete operations, compressors/decompressors, and so on. Viewing inversion as a subproblem of program synthesis, we propose a novel synthesis technique called Path-based inductive synthesis (PINS) and apply it to inversion. PINS starts from a program P and a template T for its inverse. PINS then iteratively refines the space of template instantiations by exploring paths in the composition of P and T with symbolic execution. PINS uses an SMT solver to intelligently guide the refinement process, based on the paths explored so far. The key idea motivating this approach is the small path-bound hypothesis : that the behavior of a program can be summarized with a small, carefully chosen set of its program paths. We evaluated PINS by using it to invert 14 programs such as compressors (e.g., Lempel-Ziv-Welch), encoders (e.g., UUEncode), and arithmetic operations (e.g., vector rotation). Most of these examples are difficult or impossible to invert using prior techniques, but PINS was able to invert all of them. We also found that a semi-automated technique we developed to mine a template from the program to be inverted worked well. In our experiments, PINS takes between one second to thirty minutes to synthesize inverses. We believe this proof-of-concept implementation demonstrates the viability of the PINS approach to program synthesis." @default.
• W2131146089 created "2016-06-24" @default.
• W2131146089 creator A5011543162 @default.
• W2131146089 creator A5012884248 @default.
• W2131146089 creator A5038702707 @default.
• W2131146089 creator A5057341982 @default.
• W2131146089 date "2011-06-04" @default.
• W2131146089 modified "2023-10-17" @default.
• W2131146089 title "Path-based inductive synthesis for program inversion" @default.
• W2131146089 cites W1495884375 @default.
• W2131146089 cites W1523211942 @default.
• W2131146089 cites W1543916877 @default.
• W2131146089 cites W1591118557 @default.
• W2131146089 cites W1925379677 @default.
• W2131146089 cites W1973831620 @default.
• W2131146089 cites W1974514467 @default.
• W2131146089 cites W1975113399 @default.
• W2131146089 cites W1990653637 @default.
• W2131146089 cites W2012436850 @default.
• W2131146089 cites W2037237472 @default.
• W2131146089 cites W2098022036 @default.
• W2131146089 cites W2101432564 @default.
• W2131146089 cites W2101512909 @default.
• W2131146089 cites W2105315191 @default.
• W2131146089 cites W2107745473 @default.
• W2131146089 cites W2108784678 @default.
• W2131146089 cites W2110908283 @default.
• W2131146089 cites W2111950041 @default.
• W2131146089 cites W2118595631 @default.
• W2131146089 cites W2122917953 @default.
• W2131146089 cites W2126693002 @default.
• W2131146089 cites W2129466151 @default.
• W2131146089 cites W2134734244 @default.
• W2131146089 cites W2138577276 @default.
• W2131146089 cites W2293033107 @default.
• W2131146089 cites W2634524329 @default.
• W2131146089 cites W4232668957 @default.
• W2131146089 cites W4233189519 @default.
• W2131146089 cites W4237412827 @default.
• W2131146089 cites W4242364663 @default.
• W2131146089 cites W4242912959 @default.
• W2131146089 cites W4245234767 @default.
• W2131146089 cites W4251939443 @default.
• W2131146089 doi "https://doi.org/10.1145/1993316.1993557" @default.
• W2131146089 hasPublicationYear "2011" @default.
• W2131146089 type Work @default.
• W2131146089 sameAs 2131146089 @default.
• W2131146089 citedByCount "31" @default.
• W2131146089 countsByYear W21311460892012 @default.
• W2131146089 countsByYear W21311460892013 @default.
• W2131146089 countsByYear W21311460892014 @default.
• W2131146089 countsByYear W21311460892015 @default.
• W2131146089 countsByYear W21311460892016 @default.
• W2131146089 countsByYear W21311460892017 @default.
• W2131146089 countsByYear W21311460892018 @default.
• W2131146089 countsByYear W21311460892021 @default.
• W2131146089 countsByYear W21311460892022 @default.
• W2131146089 crossrefType "journal-article" @default.
• W2131146089 hasAuthorship W2131146089A5011543162 @default.
• W2131146089 hasAuthorship W2131146089A5012884248 @default.
• W2131146089 hasAuthorship W2131146089A5038702707 @default.
• W2131146089 hasAuthorship W2131146089A5057341982 @default.
• W2131146089 hasConcept C109007969 @default.
• W2131146089 hasConcept C111919701 @default.
• W2131146089 hasConcept C11413529 @default.
• W2131146089 hasConcept C118505674 @default.
• W2131146089 hasConcept C151730666 @default.
• W2131146089 hasConcept C1893757 @default.
• W2131146089 hasConcept C199360897 @default.
• W2131146089 hasConcept C2777735758 @default.
• W2131146089 hasConcept C2778770139 @default.
• W2131146089 hasConcept C41008148 @default.
• W2131146089 hasConcept C80444323 @default.
• W2131146089 hasConcept C86803240 @default.
• W2131146089 hasConceptScore W2131146089C109007969 @default.
• W2131146089 hasConceptScore W2131146089C111919701 @default.
• W2131146089 hasConceptScore W2131146089C11413529 @default.
• W2131146089 hasConceptScore W2131146089C118505674 @default.
• W2131146089 hasConceptScore W2131146089C151730666 @default.
• W2131146089 hasConceptScore W2131146089C1893757 @default.
• W2131146089 hasConceptScore W2131146089C199360897 @default.
• W2131146089 hasConceptScore W2131146089C2777735758 @default.
• W2131146089 hasConceptScore W2131146089C2778770139 @default.
• W2131146089 hasConceptScore W2131146089C41008148 @default.
• W2131146089 hasConceptScore W2131146089C80444323 @default.
• W2131146089 hasConceptScore W2131146089C86803240 @default.
• W2131146089 hasIssue "6" @default.
• W2131146089 hasLocation W21311460891 @default.
• W2131146089 hasOpenAccess W2131146089 @default.
• W2131146089 hasPrimaryLocation W21311460891 @default.
• W2131146089 hasRelatedWork W1545049768 @default.
• W2131146089 hasRelatedWork W2023505575 @default.
• W2131146089 hasRelatedWork W2080076943 @default.
• W2131146089 hasRelatedWork W2275988210 @default.
• W2131146089 hasRelatedWork W2371125232 @default.
• W2131146089 hasRelatedWork W2385621972 @default.
• W2131146089 hasRelatedWork W2589098947 @default.
• W2131146089 hasRelatedWork W2771022762 @default.

• next