Matches in SemOpenAlex for { <https://semopenalex.org/work/W1965614349> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1965614349 abstract "Efficient implementations of concurrent objects such as semaphores, locks, and atomic collections are essential to modern computing. Programming such objects is error prone: in minimizing the synchronization overhead between concurrent object invocations, one risks the conformance to reference implementations — or in formal terms, one risks violating observational refinement. Precisely testing this refinement even within a single execution is intractable, limiting existing approaches to executions with very few object invocations. We develop scalable and effective algorithms for detecting refinement violations. Our algorithms are founded on incremental, symbolic reasoning, and exploit foundational insights into the refinement-checking problem. Our approach is sound, in that we detect only actual violations, and scales far beyond existing violation-detection algorithms. Empirically, we find that our approach is practically complete, in that we detect the violations arising in actual executions." @default.
- W1965614349 created "2016-06-24" @default.
- W1965614349 creator A5005916764 @default.
- W1965614349 creator A5040528930 @default.
- W1965614349 creator A5061209906 @default.
- W1965614349 date "2015-06-03" @default.
- W1965614349 modified "2023-10-01" @default.
- W1965614349 title "Monitoring refinement via symbolic reasoning" @default.
- W1965614349 cites W1511438294 @default.
- W1965614349 cites W1818449680 @default.
- W1965614349 cites W1867941603 @default.
- W1965614349 cites W1981393723 @default.
- W1965614349 cites W1986463648 @default.
- W1965614349 cites W2031348459 @default.
- W1965614349 cites W2089775579 @default.
- W1965614349 cites W2101939036 @default.
- W1965614349 cites W2116680978 @default.
- W1965614349 cites W2131041673 @default.
- W1965614349 cites W2139533136 @default.
- W1965614349 cites W2145919405 @default.
- W1965614349 cites W2149074552 @default.
- W1965614349 cites W2149298504 @default.
- W1965614349 cites W2157062942 @default.
- W1965614349 cites W2166580349 @default.
- W1965614349 cites W2672830324 @default.
- W1965614349 doi "https://doi.org/10.1145/2737924.2737983" @default.
- W1965614349 hasPublicationYear "2015" @default.
- W1965614349 type Work @default.
- W1965614349 sameAs 1965614349 @default.
- W1965614349 citedByCount "17" @default.
- W1965614349 countsByYear W19656143492016 @default.
- W1965614349 countsByYear W19656143492017 @default.
- W1965614349 countsByYear W19656143492018 @default.
- W1965614349 countsByYear W19656143492019 @default.
- W1965614349 countsByYear W19656143492020 @default.
- W1965614349 countsByYear W19656143492021 @default.
- W1965614349 countsByYear W19656143492023 @default.
- W1965614349 crossrefType "proceedings-article" @default.
- W1965614349 hasAuthorship W1965614349A5005916764 @default.
- W1965614349 hasAuthorship W1965614349A5040528930 @default.
- W1965614349 hasAuthorship W1965614349A5061209906 @default.
- W1965614349 hasConcept C127162648 @default.
- W1965614349 hasConcept C165696696 @default.
- W1965614349 hasConcept C193702766 @default.
- W1965614349 hasConcept C199360897 @default.
- W1965614349 hasConcept C26713055 @default.
- W1965614349 hasConcept C2777904410 @default.
- W1965614349 hasConcept C2778012447 @default.
- W1965614349 hasConcept C2778562939 @default.
- W1965614349 hasConcept C2779639559 @default.
- W1965614349 hasConcept C2779960059 @default.
- W1965614349 hasConcept C31258907 @default.
- W1965614349 hasConcept C38652104 @default.
- W1965614349 hasConcept C41008148 @default.
- W1965614349 hasConcept C48044578 @default.
- W1965614349 hasConcept C56348326 @default.
- W1965614349 hasConcept C73752529 @default.
- W1965614349 hasConcept C77088390 @default.
- W1965614349 hasConcept C80444323 @default.
- W1965614349 hasConcept C95203288 @default.
- W1965614349 hasConceptScore W1965614349C127162648 @default.
- W1965614349 hasConceptScore W1965614349C165696696 @default.
- W1965614349 hasConceptScore W1965614349C193702766 @default.
- W1965614349 hasConceptScore W1965614349C199360897 @default.
- W1965614349 hasConceptScore W1965614349C26713055 @default.
- W1965614349 hasConceptScore W1965614349C2777904410 @default.
- W1965614349 hasConceptScore W1965614349C2778012447 @default.
- W1965614349 hasConceptScore W1965614349C2778562939 @default.
- W1965614349 hasConceptScore W1965614349C2779639559 @default.
- W1965614349 hasConceptScore W1965614349C2779960059 @default.
- W1965614349 hasConceptScore W1965614349C31258907 @default.
- W1965614349 hasConceptScore W1965614349C38652104 @default.
- W1965614349 hasConceptScore W1965614349C41008148 @default.
- W1965614349 hasConceptScore W1965614349C48044578 @default.
- W1965614349 hasConceptScore W1965614349C56348326 @default.
- W1965614349 hasConceptScore W1965614349C73752529 @default.
- W1965614349 hasConceptScore W1965614349C77088390 @default.
- W1965614349 hasConceptScore W1965614349C80444323 @default.
- W1965614349 hasConceptScore W1965614349C95203288 @default.
- W1965614349 hasFunder F4320320883 @default.
- W1965614349 hasFunder F4320334960 @default.
- W1965614349 hasLocation W19656143491 @default.
- W1965614349 hasOpenAccess W1965614349 @default.
- W1965614349 hasPrimaryLocation W19656143491 @default.
- W1965614349 hasRelatedWork W1578902279 @default.
- W1965614349 hasRelatedWork W1793848448 @default.
- W1965614349 hasRelatedWork W1992787200 @default.
- W1965614349 hasRelatedWork W2055159690 @default.
- W1965614349 hasRelatedWork W2056486266 @default.
- W1965614349 hasRelatedWork W2064785956 @default.
- W1965614349 hasRelatedWork W2367266491 @default.
- W1965614349 hasRelatedWork W2382175194 @default.
- W1965614349 hasRelatedWork W2958738903 @default.
- W1965614349 hasRelatedWork W2526476098 @default.
- W1965614349 isParatext "false" @default.
- W1965614349 isRetracted "false" @default.
- W1965614349 magId "1965614349" @default.
- W1965614349 workType "article" @default.