FRINK Linked Data Fragments server

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

• W2602605036 endingPage "80" @default.
• W2602605036 startingPage "73" @default.
• W2602605036 abstract "Automatic program repair modifies a faulty program to make it correct with respect to a specification. Previous approaches have typically been restricted to specific programming languages and a fixed set of syntactical mutation techniques — e.g., changing the conditions of if statements. We present a more general technique based on repairing sets of unsolvable Horn clauses. Working with Horn clauses enables repairing programs from many different source languages, but also introduces challenges, such as navigating the large space of possible repairs. We propose a conservative semantic repair technique that only removes incorrect behaviors and does not introduce new behaviors. Our proposed framework allows the user to request the best repairs — it constructs an optimization lattice representing the space of possible repairs, and uses a novel local search technique that exploits heuristics to avoid searching through sub-lattices with no feasible repairs. To illustrate the applicability of our approach, we apply it to problems in software-defined networking (SDN), and illustrate how it is able to help network operators fix buggy configurations by properly filtering undesired traffic. We show that interval and Boolean lattices are effective choices of optimization lattices in this domain, and we enable optimization objectives such as modifying the minimal number of switches. We have implemented a prototype repair tool, and present preliminary experimental results on several benchmarks using real topologies and realistic repair scenarios in data centers and congested networks." @default.
• W2602605036 created "2017-04-07" @default.
• W2602605036 creator A5013378091 @default.
• W2602605036 creator A5014085893 @default.
• W2602605036 creator A5022025835 @default.
• W2602605036 creator A5035476830 @default.
• W2602605036 creator A5072396662 @default.
• W2602605036 date "2016-10-03" @default.
• W2602605036 modified "2023-09-22" @default.
• W2602605036 title "Optimizing horn solvers for network repair" @default.
• W2602605036 cites W1544283013 @default.
• W2602605036 cites W1553534714 @default.
• W2602605036 cites W1560374668 @default.
• W2602605036 cites W1566987880 @default.
• W2602605036 cites W1591939288 @default.
• W2602605036 cites W1872701416 @default.
• W2602605036 cites W2047406992 @default.
• W2602605036 cites W2058503096 @default.
• W2602605036 cites W2083756938 @default.
• W2602605036 cites W2100627043 @default.
• W2602605036 cites W2118404561 @default.
• W2602605036 cites W2122599614 @default.
• W2602605036 cites W2158493209 @default.
• W2602605036 cites W2274071363 @default.
• W2602605036 cites W2293809538 @default.
• W2602605036 cites W595779784 @default.
• W2602605036 cites W602497127 @default.
• W2602605036 cites W74317754 @default.
• W2602605036 cites W81626549 @default.
• W2602605036 cites W989845945 @default.
• W2602605036 doi "https://doi.org/10.5555/3077629.3077646" @default.
• W2602605036 hasPublicationYear "2016" @default.
• W2602605036 type Work @default.
• W2602605036 sameAs 2602605036 @default.
• W2602605036 citedByCount "8" @default.
• W2602605036 countsByYear W26026050362017 @default.
• W2602605036 countsByYear W26026050362018 @default.
• W2602605036 countsByYear W26026050362019 @default.
• W2602605036 countsByYear W26026050362021 @default.
• W2602605036 crossrefType "proceedings-article" @default.
• W2602605036 hasAuthorship W2602605036A5013378091 @default.
• W2602605036 hasAuthorship W2602605036A5014085893 @default.
• W2602605036 hasAuthorship W2602605036A5022025835 @default.
• W2602605036 hasAuthorship W2602605036A5035476830 @default.
• W2602605036 hasAuthorship W2602605036A5072396662 @default.
• W2602605036 hasConcept C111919701 @default.
• W2602605036 hasConcept C120314980 @default.
• W2602605036 hasConcept C127705205 @default.
• W2602605036 hasConcept C134306372 @default.
• W2602605036 hasConcept C165696696 @default.
• W2602605036 hasConcept C177264268 @default.
• W2602605036 hasConcept C199360897 @default.
• W2602605036 hasConcept C199845137 @default.
• W2602605036 hasConcept C2777904410 @default.
• W2602605036 hasConcept C33923547 @default.
• W2602605036 hasConcept C36503486 @default.
• W2602605036 hasConcept C38652104 @default.
• W2602605036 hasConcept C41008148 @default.
• W2602605036 hasConcept C80444323 @default.
• W2602605036 hasConceptScore W2602605036C111919701 @default.
• W2602605036 hasConceptScore W2602605036C120314980 @default.
• W2602605036 hasConceptScore W2602605036C127705205 @default.
• W2602605036 hasConceptScore W2602605036C134306372 @default.
• W2602605036 hasConceptScore W2602605036C165696696 @default.
• W2602605036 hasConceptScore W2602605036C177264268 @default.
• W2602605036 hasConceptScore W2602605036C199360897 @default.
• W2602605036 hasConceptScore W2602605036C199845137 @default.
• W2602605036 hasConceptScore W2602605036C2777904410 @default.
• W2602605036 hasConceptScore W2602605036C33923547 @default.
• W2602605036 hasConceptScore W2602605036C36503486 @default.
• W2602605036 hasConceptScore W2602605036C38652104 @default.
• W2602605036 hasConceptScore W2602605036C41008148 @default.
• W2602605036 hasConceptScore W2602605036C80444323 @default.
• W2602605036 hasLocation W26026050361 @default.
• W2602605036 hasOpenAccess W2602605036 @default.
• W2602605036 hasPrimaryLocation W26026050361 @default.
• W2602605036 hasRelatedWork W158224344 @default.
• W2602605036 hasRelatedWork W1584616449 @default.
• W2602605036 hasRelatedWork W1675033504 @default.
• W2602605036 hasRelatedWork W1882012874 @default.
• W2602605036 hasRelatedWork W1972058794 @default.
• W2602605036 hasRelatedWork W2011316745 @default.
• W2602605036 hasRelatedWork W2052190470 @default.
• W2602605036 hasRelatedWork W2058224907 @default.
• W2602605036 hasRelatedWork W2099501333 @default.
• W2602605036 hasRelatedWork W2115526539 @default.
• W2602605036 hasRelatedWork W2130210899 @default.
• W2602605036 hasRelatedWork W2130370455 @default.
• W2602605036 hasRelatedWork W2146077028 @default.
• W2602605036 hasRelatedWork W2147236343 @default.
• W2602605036 hasRelatedWork W2163593754 @default.
• W2602605036 hasRelatedWork W2188073520 @default.
• W2602605036 hasRelatedWork W2734727996 @default.
• W2602605036 hasRelatedWork W3135502551 @default.
• W2602605036 hasRelatedWork W3212383901 @default.
• W2602605036 hasRelatedWork W43866366 @default.
• W2602605036 isParatext "false" @default.
• W2602605036 isRetracted "false" @default.

• next