Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949661661> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2949661661 abstract "We propose a novel guess-and-check principle to increase the efficiency of thread-modular verification of lock-free data structures. We build on a heuristic that guesses candidates for stateless effect summaries of programs by searching the code for instances of a copy-and-check programming idiom common in lock-free data structures. These candidate summaries are used to compute the interference among threads in linear time. Since a candidate summary need not be a sound effect summary, we show how to fully automatically check whether the precision of candidate summaries is sufficient. We can thus perform sound verification despite relying on an unsound heuristic. We have implemented our approach and found it up to two orders of magnitude faster than existing ones." @default.
- W2949661661 created "2019-06-27" @default.
- W2949661661 creator A5005128087 @default.
- W2949661661 creator A5035264899 @default.
- W2949661661 creator A5059358773 @default.
- W2949661661 creator A5085643838 @default.
- W2949661661 date "2017-05-10" @default.
- W2949661661 modified "2023-09-27" @default.
- W2949661661 title "Effect Summaries for Thread-Modular Analysis" @default.
- W2949661661 cites W135237429 @default.
- W2949661661 cites W1516842532 @default.
- W2949661661 cites W1531955077 @default.
- W2949661661 cites W1537449998 @default.
- W2949661661 cites W1562915062 @default.
- W2949661661 cites W175092372 @default.
- W2949661661 cites W175195251 @default.
- W2949661661 cites W1819989006 @default.
- W2949661661 cites W1867941603 @default.
- W2949661661 cites W1993301893 @default.
- W2949661661 cites W2017559473 @default.
- W2949661661 cites W2048605787 @default.
- W2949661661 cites W20815996 @default.
- W2949661661 cites W2090551028 @default.
- W2949661661 cites W2101939036 @default.
- W2949661661 cites W2127717454 @default.
- W2949661661 cites W2154713600 @default.
- W2949661661 cites W2155487709 @default.
- W2949661661 cites W2248307790 @default.
- W2949661661 cites W2569507975 @default.
- W2949661661 cites W71333976 @default.
- W2949661661 hasPublicationYear "2017" @default.
- W2949661661 type Work @default.
- W2949661661 sameAs 2949661661 @default.
- W2949661661 citedByCount "0" @default.
- W2949661661 crossrefType "posted-content" @default.
- W2949661661 hasAuthorship W2949661661A5005128087 @default.
- W2949661661 hasAuthorship W2949661661A5035264899 @default.
- W2949661661 hasAuthorship W2949661661A5059358773 @default.
- W2949661661 hasAuthorship W2949661661A5085643838 @default.
- W2949661661 hasConcept C101468663 @default.
- W2949661661 hasConcept C103613024 @default.
- W2949661661 hasConcept C138101251 @default.
- W2949661661 hasConcept C154945302 @default.
- W2949661661 hasConcept C173801870 @default.
- W2949661661 hasConcept C199360897 @default.
- W2949661661 hasConcept C41008148 @default.
- W2949661661 hasConcept C48103436 @default.
- W2949661661 hasConceptScore W2949661661C101468663 @default.
- W2949661661 hasConceptScore W2949661661C103613024 @default.
- W2949661661 hasConceptScore W2949661661C138101251 @default.
- W2949661661 hasConceptScore W2949661661C154945302 @default.
- W2949661661 hasConceptScore W2949661661C173801870 @default.
- W2949661661 hasConceptScore W2949661661C199360897 @default.
- W2949661661 hasConceptScore W2949661661C41008148 @default.
- W2949661661 hasConceptScore W2949661661C48103436 @default.
- W2949661661 hasLocation W29496616611 @default.
- W2949661661 hasOpenAccess W2949661661 @default.
- W2949661661 hasPrimaryLocation W29496616611 @default.
- W2949661661 hasRelatedWork W112132368 @default.
- W2949661661 hasRelatedWork W1533763409 @default.
- W2949661661 hasRelatedWork W1581636637 @default.
- W2949661661 hasRelatedWork W1856462361 @default.
- W2949661661 hasRelatedWork W1985774614 @default.
- W2949661661 hasRelatedWork W2096659083 @default.
- W2949661661 hasRelatedWork W2111825754 @default.
- W2949661661 hasRelatedWork W2136601052 @default.
- W2949661661 hasRelatedWork W2151104079 @default.
- W2949661661 hasRelatedWork W2340044120 @default.
- W2949661661 hasRelatedWork W2397741058 @default.
- W2949661661 hasRelatedWork W2565399133 @default.
- W2949661661 hasRelatedWork W2602804099 @default.
- W2949661661 hasRelatedWork W2613173755 @default.
- W2949661661 hasRelatedWork W2787256672 @default.
- W2949661661 hasRelatedWork W2981440984 @default.
- W2949661661 hasRelatedWork W2982312605 @default.
- W2949661661 hasRelatedWork W3032226677 @default.
- W2949661661 hasRelatedWork W3124499836 @default.
- W2949661661 hasRelatedWork W3135079220 @default.
- W2949661661 isParatext "false" @default.
- W2949661661 isRetracted "false" @default.
- W2949661661 magId "2949661661" @default.
- W2949661661 workType "article" @default.