FRINK Linked Data Fragments server

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

• W1971500760 endingPage "857" @default.
• W1971500760 startingPage "847" @default.
• W1971500760 abstract "Predictive trace analysis (PTA) is an effective approach for detecting subtle bugs in concurrent programs. Existing PTA techniques, however, are typically based on adhoc algorithms tailored to low-level errors such as data races or atomicity violations, and are not applicable to high-level properties such as resource must be authenticated before use and collection cannot be modified when being iterated over. In addition, most techniques assume as input a globally ordered trace of events, which is expensive to collect in practice as it requires synchronizing all threads. In this paper, we present GPredict: a new technique that realizes PTA for generic concurrency properties. Moreover, GPredict does not require a global trace but only the local traces of each thread, which incurs much less runtime overhead than existing techniques. Our key idea is to uniformly model violations of concurrency properties and the thread causality as constraints over events. With an existing SMT solver, GPredict is able to precisely predict property violations allowed by the causal model. Through our evaluation using both benchmarks and real world applications, we show that GPredict is effective in expressing and predicting generic property violations. Moreover, it reduces the runtime overhead of existing techniques by 54% on DaCapo benchmarks on average." @default.
• W1971500760 created "2016-06-24" @default.
• W1971500760 creator A5027636949 @default.
• W1971500760 creator A5052381120 @default.
• W1971500760 creator A5053878331 @default.
• W1971500760 date "2015-05-16" @default.
• W1971500760 modified "2023-10-16" @default.
• W1971500760 title "GPredict: generic predictive concurrency analysis" @default.
• W1971500760 cites W1128471365 @default.
• W1971500760 cites W1480909796 @default.
• W1971500760 cites W1481985818 @default.
• W1971500760 cites W1522334395 @default.
• W1971500760 cites W1534988187 @default.
• W1971500760 cites W1556323883 @default.
• W1971500760 cites W1575599371 @default.
• W1971500760 cites W1579452275 @default.
• W1971500760 cites W1581214603 @default.
• W1971500760 cites W1915915253 @default.
• W1971500760 cites W1977476643 @default.
• W1971500760 cites W1978493229 @default.
• W1971500760 cites W2021875003 @default.
• W1971500760 cites W2023889124 @default.
• W1971500760 cites W2029055005 @default.
• W1971500760 cites W2046368282 @default.
• W1971500760 cites W2047068447 @default.
• W1971500760 cites W2067406339 @default.
• W1971500760 cites W2111900492 @default.
• W1971500760 cites W2112521545 @default.
• W1971500760 cites W2115313734 @default.
• W1971500760 cites W2119494620 @default.
• W1971500760 cites W2120027538 @default.
• W1971500760 cites W2122898375 @default.
• W1971500760 cites W2127989655 @default.
• W1971500760 cites W2134429122 @default.
• W1971500760 cites W2135395375 @default.
• W1971500760 cites W2137422315 @default.
• W1971500760 cites W2150593762 @default.
• W1971500760 cites W2153174073 @default.
• W1971500760 cites W2156915601 @default.
• W1971500760 cites W2159812975 @default.
• W1971500760 cites W2162969183 @default.
• W1971500760 cites W2164538023 @default.
• W1971500760 cites W2166091242 @default.
• W1971500760 cites W2169589594 @default.
• W1971500760 cites W2171076136 @default.
• W1971500760 doi "https://doi.org/10.5555/2818754.2818856" @default.
• W1971500760 hasPublicationYear "2015" @default.
• W1971500760 type Work @default.
• W1971500760 sameAs 1971500760 @default.
• W1971500760 citedByCount "14" @default.
• W1971500760 countsByYear W19715007602016 @default.
• W1971500760 countsByYear W19715007602017 @default.
• W1971500760 countsByYear W19715007602018 @default.
• W1971500760 countsByYear W19715007602019 @default.
• W1971500760 countsByYear W19715007602020 @default.
• W1971500760 crossrefType "proceedings-article" @default.
• W1971500760 hasAuthorship W1971500760A5027636949 @default.
• W1971500760 hasAuthorship W1971500760A5052381120 @default.
• W1971500760 hasAuthorship W1971500760A5053878331 @default.
• W1971500760 hasConcept C111472728 @default.
• W1971500760 hasConcept C120314980 @default.
• W1971500760 hasConcept C138101251 @default.
• W1971500760 hasConcept C138885662 @default.
• W1971500760 hasConcept C173608175 @default.
• W1971500760 hasConcept C188045909 @default.
• W1971500760 hasConcept C189950617 @default.
• W1971500760 hasConcept C193702766 @default.
• W1971500760 hasConcept C199360897 @default.
• W1971500760 hasConcept C2779960059 @default.
• W1971500760 hasConcept C41008148 @default.
• W1971500760 hasConcept C41895202 @default.
• W1971500760 hasConcept C75291252 @default.
• W1971500760 hasConcept C75949130 @default.
• W1971500760 hasConcept C80444323 @default.
• W1971500760 hasConceptScore W1971500760C111472728 @default.
• W1971500760 hasConceptScore W1971500760C120314980 @default.
• W1971500760 hasConceptScore W1971500760C138101251 @default.
• W1971500760 hasConceptScore W1971500760C138885662 @default.
• W1971500760 hasConceptScore W1971500760C173608175 @default.
• W1971500760 hasConceptScore W1971500760C188045909 @default.
• W1971500760 hasConceptScore W1971500760C189950617 @default.
• W1971500760 hasConceptScore W1971500760C193702766 @default.
• W1971500760 hasConceptScore W1971500760C199360897 @default.
• W1971500760 hasConceptScore W1971500760C2779960059 @default.
• W1971500760 hasConceptScore W1971500760C41008148 @default.
• W1971500760 hasConceptScore W1971500760C41895202 @default.
• W1971500760 hasConceptScore W1971500760C75291252 @default.
• W1971500760 hasConceptScore W1971500760C75949130 @default.
• W1971500760 hasConceptScore W1971500760C80444323 @default.
• W1971500760 hasLocation W19715007601 @default.
• W1971500760 hasOpenAccess W1971500760 @default.
• W1971500760 hasPrimaryLocation W19715007601 @default.
• W1971500760 hasRelatedWork W1522334395 @default.
• W1971500760 hasRelatedWork W1534988187 @default.
• W1971500760 hasRelatedWork W1887412317 @default.
• W1971500760 hasRelatedWork W1972544179 @default.
• W1971500760 hasRelatedWork W1977476643 @default.
• W1971500760 hasRelatedWork W2046368282 @default.

• next