Matches in SemOpenAlex for { <https://semopenalex.org/work/W2897215198> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2897215198 endingPage "128" @default.
- W2897215198 startingPage "109" @default.
- W2897215198 abstract "We address the verification problem of numeric properties in many-threaded concurrent programs under weakly consistent memory models, especially TSO. We build on previous work that proposed an abstract interpretation method to analyse these programs with relational domains. This method was not sufficient to analyse more than two threads in a decent time. Our contribution here is to rely on a rely-guarantee framework with automatic inference of thread interferences to design an analysis with a thread-modular approach and describe relational abstractions of both thread states and interferences. We show how to adapt the usual computing procedure of interferences to the additional issues raised by weakly consistent memories. We demonstrate the precision and the performance of our method on a few examples, operating a prototype analyser that verifies safety properties like mutual exclusion. We discuss how weak memory models affect the scalability results compared to a sequentially consistent environment." @default.
- W2897215198 created "2018-10-26" @default.
- W2897215198 creator A5069148908 @default.
- W2897215198 creator A5084583704 @default.
- W2897215198 date "2018-01-01" @default.
- W2897215198 modified "2023-10-09" @default.
- W2897215198 title "Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models" @default.
- W2897215198 cites W1509268249 @default.
- W2897215198 cites W1531955077 @default.
- W2897215198 cites W1547285994 @default.
- W2897215198 cites W175092372 @default.
- W2897215198 cites W1962413779 @default.
- W2897215198 cites W2043100293 @default.
- W2897215198 cites W2054739713 @default.
- W2897215198 cites W2085773946 @default.
- W2897215198 cites W2123601779 @default.
- W2897215198 cites W2353662026 @default.
- W2897215198 cites W2513112258 @default.
- W2897215198 cites W2513565709 @default.
- W2897215198 cites W2547963919 @default.
- W2897215198 cites W2569507975 @default.
- W2897215198 cites W2613173755 @default.
- W2897215198 cites W2740847919 @default.
- W2897215198 cites W2746526659 @default.
- W2897215198 cites W2898125173 @default.
- W2897215198 cites W3024096614 @default.
- W2897215198 doi "https://doi.org/10.1007/978-3-030-02768-1_6" @default.
- W2897215198 hasPublicationYear "2018" @default.
- W2897215198 type Work @default.
- W2897215198 sameAs 2897215198 @default.
- W2897215198 citedByCount "9" @default.
- W2897215198 countsByYear W28972151982019 @default.
- W2897215198 countsByYear W28972151982021 @default.
- W2897215198 countsByYear W28972151982023 @default.
- W2897215198 crossrefType "book-chapter" @default.
- W2897215198 hasAuthorship W2897215198A5069148908 @default.
- W2897215198 hasAuthorship W2897215198A5084583704 @default.
- W2897215198 hasBestOaLocation W28972151982 @default.
- W2897215198 hasConcept C101468663 @default.
- W2897215198 hasConcept C111919701 @default.
- W2897215198 hasConcept C12186640 @default.
- W2897215198 hasConcept C133875982 @default.
- W2897215198 hasConcept C136085584 @default.
- W2897215198 hasConcept C138101251 @default.
- W2897215198 hasConcept C154945302 @default.
- W2897215198 hasConcept C173608175 @default.
- W2897215198 hasConcept C176649486 @default.
- W2897215198 hasConcept C185592680 @default.
- W2897215198 hasConcept C199360897 @default.
- W2897215198 hasConcept C26834552 @default.
- W2897215198 hasConcept C2776214188 @default.
- W2897215198 hasConcept C2780654840 @default.
- W2897215198 hasConcept C34339311 @default.
- W2897215198 hasConcept C41008148 @default.
- W2897215198 hasConcept C43617362 @default.
- W2897215198 hasConcept C48044578 @default.
- W2897215198 hasConcept C56348326 @default.
- W2897215198 hasConcept C80444323 @default.
- W2897215198 hasConceptScore W2897215198C101468663 @default.
- W2897215198 hasConceptScore W2897215198C111919701 @default.
- W2897215198 hasConceptScore W2897215198C12186640 @default.
- W2897215198 hasConceptScore W2897215198C133875982 @default.
- W2897215198 hasConceptScore W2897215198C136085584 @default.
- W2897215198 hasConceptScore W2897215198C138101251 @default.
- W2897215198 hasConceptScore W2897215198C154945302 @default.
- W2897215198 hasConceptScore W2897215198C173608175 @default.
- W2897215198 hasConceptScore W2897215198C176649486 @default.
- W2897215198 hasConceptScore W2897215198C185592680 @default.
- W2897215198 hasConceptScore W2897215198C199360897 @default.
- W2897215198 hasConceptScore W2897215198C26834552 @default.
- W2897215198 hasConceptScore W2897215198C2776214188 @default.
- W2897215198 hasConceptScore W2897215198C2780654840 @default.
- W2897215198 hasConceptScore W2897215198C34339311 @default.
- W2897215198 hasConceptScore W2897215198C41008148 @default.
- W2897215198 hasConceptScore W2897215198C43617362 @default.
- W2897215198 hasConceptScore W2897215198C48044578 @default.
- W2897215198 hasConceptScore W2897215198C56348326 @default.
- W2897215198 hasConceptScore W2897215198C80444323 @default.
- W2897215198 hasLocation W28972151981 @default.
- W2897215198 hasLocation W28972151982 @default.
- W2897215198 hasLocation W28972151983 @default.
- W2897215198 hasOpenAccess W2897215198 @default.
- W2897215198 hasPrimaryLocation W28972151981 @default.
- W2897215198 hasRelatedWork W1560969386 @default.
- W2897215198 hasRelatedWork W1569389315 @default.
- W2897215198 hasRelatedWork W1579918296 @default.
- W2897215198 hasRelatedWork W1585925557 @default.
- W2897215198 hasRelatedWork W2170268965 @default.
- W2897215198 hasRelatedWork W2172022734 @default.
- W2897215198 hasRelatedWork W2897215198 @default.
- W2897215198 hasRelatedWork W3033052750 @default.
- W2897215198 hasRelatedWork W3080693887 @default.
- W2897215198 hasRelatedWork W2503642292 @default.
- W2897215198 isParatext "false" @default.
- W2897215198 isRetracted "false" @default.
- W2897215198 magId "2897215198" @default.
- W2897215198 workType "book-chapter" @default.