Matches in SemOpenAlex for { <https://semopenalex.org/work/W4249196662> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W4249196662 endingPage "350" @default.
- W4249196662 startingPage "341" @default.
- W4249196662 abstract "Memory models are hard to reason about due to their complexity, which stems from the need to strike a balance between ease-of-programming and allowing compiler and hardware optimizations. In this paper, we present an automated tool, MemSAT, that helps in debugging and reasoning about memory models. Given an axiomatic specification of a memory model and a multi-threaded test program containing assertions, MemSAT outputs a trace of the program in which both the assertions and the memory model axioms are satisfied, if one can be found. The tool is fully automatic and is based on a SAT solver. If it cannot find a trace, it outputs a minimal subset of the memory model and program constraints that are unsatisfiable. We used MemSAT to check several existing memory models against their published test cases, including the current Java Memory Model by Manson et al. and a revised version of it by Sevcik and Aspinall. We found subtle discrepancies between what was expected and the actual results of test programs." @default.
- W4249196662 created "2022-05-12" @default.
- W4249196662 creator A5012855077 @default.
- W4249196662 creator A5014301891 @default.
- W4249196662 creator A5088791029 @default.
- W4249196662 date "2010-06-05" @default.
- W4249196662 modified "2023-10-17" @default.
- W4249196662 title "MemSAT" @default.
- W4249196662 cites W1482397304 @default.
- W4249196662 cites W1527892282 @default.
- W4249196662 cites W1550697900 @default.
- W4249196662 cites W1593091446 @default.
- W4249196662 cites W1823635467 @default.
- W4249196662 cites W1995825057 @default.
- W4249196662 cites W2029601347 @default.
- W4249196662 cites W2030159266 @default.
- W4249196662 cites W2054739713 @default.
- W4249196662 cites W2077097589 @default.
- W4249196662 cites W2091085450 @default.
- W4249196662 cites W2092002125 @default.
- W4249196662 cites W2105980774 @default.
- W4249196662 cites W2121217300 @default.
- W4249196662 cites W2149911648 @default.
- W4249196662 cites W2155621670 @default.
- W4249196662 cites W2158053359 @default.
- W4249196662 cites W2160781056 @default.
- W4249196662 cites W2170389900 @default.
- W4249196662 doi "https://doi.org/10.1145/1809028.1806635" @default.
- W4249196662 hasPublicationYear "2010" @default.
- W4249196662 type Work @default.
- W4249196662 citedByCount "11" @default.
- W4249196662 countsByYear W42491966622012 @default.
- W4249196662 countsByYear W42491966622013 @default.
- W4249196662 countsByYear W42491966622015 @default.
- W4249196662 countsByYear W42491966622016 @default.
- W4249196662 countsByYear W42491966622017 @default.
- W4249196662 countsByYear W42491966622018 @default.
- W4249196662 countsByYear W42491966622020 @default.
- W4249196662 countsByYear W42491966622022 @default.
- W4249196662 crossrefType "journal-article" @default.
- W4249196662 hasAuthorship W4249196662A5012855077 @default.
- W4249196662 hasAuthorship W4249196662A5014301891 @default.
- W4249196662 hasAuthorship W4249196662A5088791029 @default.
- W4249196662 hasConcept C12186640 @default.
- W4249196662 hasConcept C133875982 @default.
- W4249196662 hasConcept C138885662 @default.
- W4249196662 hasConcept C168065819 @default.
- W4249196662 hasConcept C169590947 @default.
- W4249196662 hasConcept C173608175 @default.
- W4249196662 hasConcept C199360897 @default.
- W4249196662 hasConcept C41008148 @default.
- W4249196662 hasConcept C41895202 @default.
- W4249196662 hasConcept C75291252 @default.
- W4249196662 hasConcept C80444323 @default.
- W4249196662 hasConceptScore W4249196662C12186640 @default.
- W4249196662 hasConceptScore W4249196662C133875982 @default.
- W4249196662 hasConceptScore W4249196662C138885662 @default.
- W4249196662 hasConceptScore W4249196662C168065819 @default.
- W4249196662 hasConceptScore W4249196662C169590947 @default.
- W4249196662 hasConceptScore W4249196662C173608175 @default.
- W4249196662 hasConceptScore W4249196662C199360897 @default.
- W4249196662 hasConceptScore W4249196662C41008148 @default.
- W4249196662 hasConceptScore W4249196662C41895202 @default.
- W4249196662 hasConceptScore W4249196662C75291252 @default.
- W4249196662 hasConceptScore W4249196662C80444323 @default.
- W4249196662 hasIssue "6" @default.
- W4249196662 hasLocation W42491966621 @default.
- W4249196662 hasOpenAccess W4249196662 @default.
- W4249196662 hasPrimaryLocation W42491966621 @default.
- W4249196662 hasRelatedWork W1483845062 @default.
- W4249196662 hasRelatedWork W1497385637 @default.
- W4249196662 hasRelatedWork W1498982577 @default.
- W4249196662 hasRelatedWork W1583465708 @default.
- W4249196662 hasRelatedWork W1601811574 @default.
- W4249196662 hasRelatedWork W2044422526 @default.
- W4249196662 hasRelatedWork W2192862863 @default.
- W4249196662 hasRelatedWork W2369288331 @default.
- W4249196662 hasRelatedWork W2390095984 @default.
- W4249196662 hasRelatedWork W2479014312 @default.
- W4249196662 hasVolume "45" @default.
- W4249196662 isParatext "false" @default.
- W4249196662 isRetracted "false" @default.
- W4249196662 workType "article" @default.