FRINK Linked Data Fragments server

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

• W2762682773 endingPage "30" @default.
• W2762682773 startingPage "1" @default.
• W2762682773 abstract "We propose an interactive approach to resolve static analysis alarms. Our approach synergistically combines a sound but imprecise analysis with precise but unsound heuristics, through user interaction. In each iteration, it solves an optimization problem to find a set of questions for the user such that the expected payoff is maximized. We have implemented our approach in a tool, Ursa, that enables interactive alarm resolution for any analysis specified in the declarative logic programming language Datalog. We demonstrate the effectiveness of Ursa on a state-of-the-art static datarace analysis using a suite of 8 Java programs comprising 41-194 KLOC each. Ursa is able to eliminate 74% of the false alarms per benchmark with an average payoff of 12× per question. Moreover, Ursa prioritizes user effort effectively by posing questions that yield high payoffs earlier." @default.
• W2762682773 created "2017-10-20" @default.
• W2762682773 creator A5006651636 @default.
• W2762682773 creator A5049957994 @default.
• W2762682773 creator A5059074509 @default.
• W2762682773 creator A5075879790 @default.
• W2762682773 date "2017-10-12" @default.
• W2762682773 modified "2023-09-29" @default.
• W2762682773 title "Effective interactive resolution of static analysis alarms" @default.
• W2762682773 cites W1671718115 @default.
• W2762682773 cites W1989657183 @default.
• W2762682773 cites W2075005465 @default.
• W2762682773 cites W2079877139 @default.
• W2762682773 cites W2101819268 @default.
• W2762682773 cites W2106108278 @default.
• W2762682773 cites W2111949697 @default.
• W2762682773 cites W2119648923 @default.
• W2762682773 cites W2132481916 @default.
• W2762682773 cites W2134401695 @default.
• W2762682773 cites W2144196848 @default.
• W2762682773 cites W2158870716 @default.
• W2762682773 cites W2163521620 @default.
• W2762682773 cites W2181712945 @default.
• W2762682773 cites W2410019603 @default.
• W2762682773 cites W2417567569 @default.
• W2762682773 cites W2493901872 @default.
• W2762682773 cites W2527850347 @default.
• W2762682773 cites W3106729728 @default.
• W2762682773 cites W4233319527 @default.
• W2762682773 cites W4233563801 @default.
• W2762682773 cites W4237737995 @default.
• W2762682773 cites W4241947695 @default.
• W2762682773 cites W4243127898 @default.
• W2762682773 cites W4244945045 @default.
• W2762682773 cites W4248182592 @default.
• W2762682773 cites W4251521700 @default.
• W2762682773 cites W4252015082 @default.
• W2762682773 cites W4300810260 @default.
• W2762682773 doi "https://doi.org/10.1145/3133881" @default.
• W2762682773 hasPublicationYear "2017" @default.
• W2762682773 type Work @default.
• W2762682773 sameAs 2762682773 @default.
• W2762682773 citedByCount "17" @default.
• W2762682773 countsByYear W27626827732017 @default.
• W2762682773 countsByYear W27626827732018 @default.
• W2762682773 countsByYear W27626827732019 @default.
• W2762682773 countsByYear W27626827732020 @default.
• W2762682773 countsByYear W27626827732021 @default.
• W2762682773 countsByYear W27626827732022 @default.
• W2762682773 countsByYear W27626827732023 @default.
• W2762682773 crossrefType "journal-article" @default.
• W2762682773 hasAuthorship W2762682773A5006651636 @default.
• W2762682773 hasAuthorship W2762682773A5049957994 @default.
• W2762682773 hasAuthorship W2762682773A5059074509 @default.
• W2762682773 hasAuthorship W2762682773A5075879790 @default.
• W2762682773 hasBestOaLocation W27626827731 @default.
• W2762682773 hasConcept C111919701 @default.
• W2762682773 hasConcept C127705205 @default.
• W2762682773 hasConcept C13280743 @default.
• W2762682773 hasConcept C138268822 @default.
• W2762682773 hasConcept C144237770 @default.
• W2762682773 hasConcept C148230440 @default.
• W2762682773 hasConcept C166957645 @default.
• W2762682773 hasConcept C177264268 @default.
• W2762682773 hasConcept C185798385 @default.
• W2762682773 hasConcept C199360897 @default.
• W2762682773 hasConcept C205649164 @default.
• W2762682773 hasConcept C22171661 @default.
• W2762682773 hasConcept C33923547 @default.
• W2762682773 hasConcept C41008148 @default.
• W2762682773 hasConcept C548217200 @default.
• W2762682773 hasConcept C79581498 @default.
• W2762682773 hasConcept C95457728 @default.
• W2762682773 hasConcept C97686452 @default.
• W2762682773 hasConceptScore W2762682773C111919701 @default.
• W2762682773 hasConceptScore W2762682773C127705205 @default.
• W2762682773 hasConceptScore W2762682773C13280743 @default.
• W2762682773 hasConceptScore W2762682773C138268822 @default.
• W2762682773 hasConceptScore W2762682773C144237770 @default.
• W2762682773 hasConceptScore W2762682773C148230440 @default.
• W2762682773 hasConceptScore W2762682773C166957645 @default.
• W2762682773 hasConceptScore W2762682773C177264268 @default.
• W2762682773 hasConceptScore W2762682773C185798385 @default.
• W2762682773 hasConceptScore W2762682773C199360897 @default.
• W2762682773 hasConceptScore W2762682773C205649164 @default.
• W2762682773 hasConceptScore W2762682773C22171661 @default.
• W2762682773 hasConceptScore W2762682773C33923547 @default.
• W2762682773 hasConceptScore W2762682773C41008148 @default.
• W2762682773 hasConceptScore W2762682773C548217200 @default.
• W2762682773 hasConceptScore W2762682773C79581498 @default.
• W2762682773 hasConceptScore W2762682773C95457728 @default.
• W2762682773 hasConceptScore W2762682773C97686452 @default.
• W2762682773 hasFunder F4320306076 @default.
• W2762682773 hasFunder F4320332180 @default.
• W2762682773 hasIssue "OOPSLA" @default.
• W2762682773 hasLocation W27626827731 @default.
• W2762682773 hasOpenAccess W2762682773 @default.
• W2762682773 hasPrimaryLocation W27626827731 @default.

• next