Matches in SemOpenAlex for { <https://semopenalex.org/work/W4307888161> ?p ?o ?g. }
- W4307888161 endingPage "144" @default.
- W4307888161 startingPage "114" @default.
- W4307888161 abstract "We propose a family of logical theories for capturing an abstract notion of consistency and show how to build a generic and efficient theory solver that works for all members in the family. The theories can be used to model the influence of memory consistency models on the semantics of concurrent programs. They are general enough to precisely capture important examples like TSO, POWER, ARMv8, RISC-V, RC11, IMM, and the Linux kernel memory model. To evaluate the expressiveness of our theories and the performance of our solver, we integrate them into a lazy SMT scheme that we use as a backend for a bounded model checking tool. An evaluation against related verification tools shows, besides flexibility, promising performance on challenging programs under complex memory models." @default.
- W4307888161 created "2022-11-06" @default.
- W4307888161 creator A5025141511 @default.
- W4307888161 creator A5085421453 @default.
- W4307888161 creator A5085643838 @default.
- W4307888161 date "2022-10-31" @default.
- W4307888161 modified "2023-10-05" @default.
- W4307888161 title "CAAT: consistency as a theory" @default.
- W4307888161 cites W1128447031 @default.
- W4307888161 cites W1480909796 @default.
- W4307888161 cites W149053240 @default.
- W4307888161 cites W1519503479 @default.
- W4307888161 cites W1553894716 @default.
- W4307888161 cites W1561501726 @default.
- W4307888161 cites W1571054242 @default.
- W4307888161 cites W1576452827 @default.
- W4307888161 cites W1602156367 @default.
- W4307888161 cites W169672073 @default.
- W4307888161 cites W1719093023 @default.
- W4307888161 cites W1819209966 @default.
- W4307888161 cites W1945229733 @default.
- W4307888161 cites W1971332773 @default.
- W4307888161 cites W1997898455 @default.
- W4307888161 cites W2000659103 @default.
- W4307888161 cites W2008078972 @default.
- W4307888161 cites W2029601347 @default.
- W4307888161 cites W2036316394 @default.
- W4307888161 cites W2039509099 @default.
- W4307888161 cites W2054739713 @default.
- W4307888161 cites W2057361103 @default.
- W4307888161 cites W2062897452 @default.
- W4307888161 cites W2066615989 @default.
- W4307888161 cites W2072380992 @default.
- W4307888161 cites W2091085450 @default.
- W4307888161 cites W2105505307 @default.
- W4307888161 cites W2105980774 @default.
- W4307888161 cites W2111858071 @default.
- W4307888161 cites W2118668463 @default.
- W4307888161 cites W2132117132 @default.
- W4307888161 cites W2138074470 @default.
- W4307888161 cites W2155006989 @default.
- W4307888161 cites W2163490397 @default.
- W4307888161 cites W2168397157 @default.
- W4307888161 cites W227403520 @default.
- W4307888161 cites W2293319505 @default.
- W4307888161 cites W2353662026 @default.
- W4307888161 cites W2531502343 @default.
- W4307888161 cites W2534652523 @default.
- W4307888161 cites W2554061909 @default.
- W4307888161 cites W2590250299 @default.
- W4307888161 cites W2626631502 @default.
- W4307888161 cites W2738891045 @default.
- W4307888161 cites W2769194423 @default.
- W4307888161 cites W2789383461 @default.
- W4307888161 cites W2887814217 @default.
- W4307888161 cites W2898118897 @default.
- W4307888161 cites W2910332906 @default.
- W4307888161 cites W2953899265 @default.
- W4307888161 cites W2956182160 @default.
- W4307888161 cites W2959059456 @default.
- W4307888161 cites W2963951263 @default.
- W4307888161 cites W2969374400 @default.
- W4307888161 cites W2981440984 @default.
- W4307888161 cites W2994905145 @default.
- W4307888161 cites W3007979635 @default.
- W4307888161 cites W3016139730 @default.
- W4307888161 cites W3016553493 @default.
- W4307888161 cites W3048771697 @default.
- W4307888161 cites W3122287721 @default.
- W4307888161 cites W3127358641 @default.
- W4307888161 cites W3135988295 @default.
- W4307888161 cites W3156131292 @default.
- W4307888161 cites W3174250772 @default.
- W4307888161 cites W3184539538 @default.
- W4307888161 cites W3184568883 @default.
- W4307888161 cites W3186074728 @default.
- W4307888161 cites W3205409564 @default.
- W4307888161 cites W4212915500 @default.
- W4307888161 cites W4220848444 @default.
- W4307888161 cites W4225751037 @default.
- W4307888161 cites W4226096346 @default.
- W4307888161 cites W4229558017 @default.
- W4307888161 cites W4234540564 @default.
- W4307888161 cites W4240047552 @default.
- W4307888161 cites W4245618235 @default.
- W4307888161 cites W4249196662 @default.
- W4307888161 cites W4297812529 @default.
- W4307888161 cites W75893787 @default.
- W4307888161 cites W867008410 @default.
- W4307888161 doi "https://doi.org/10.1145/3563292" @default.
- W4307888161 hasPublicationYear "2022" @default.
- W4307888161 type Work @default.
- W4307888161 citedByCount "0" @default.
- W4307888161 crossrefType "journal-article" @default.
- W4307888161 hasAuthorship W4307888161A5025141511 @default.
- W4307888161 hasAuthorship W4307888161A5085421453 @default.
- W4307888161 hasAuthorship W4307888161A5085643838 @default.
- W4307888161 hasBestOaLocation W43078881611 @default.