Matches in SemOpenAlex for { <https://semopenalex.org/work/W2979749908> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2979749908 endingPage "28" @default.
- W2979749908 startingPage "1" @default.
- W2979749908 abstract "Java's memory model was recently updated and expanded with new access modes. The accompanying documentation for these access modes is intended to make strong guarantees about program behavior that the Java compiler must enforce, yet the documentation is frequently unclear. This makes the intended program behavior ambiguous, impedes discussion of key design decisions, and makes it impossible to prove general properties about the semantics of the access modes. In this paper we present the first formalization of Java's access modes. We have constructed an axiomatic model for all of the modes using the Herd modeling tool. This allows us to give precise answers to questions about the behavior of example programs, called litmus tests. We have validated our model using a large suite of litmus tests from existing research which helps to shed light on the relationship with other memory models. We have also modeled the semantics in Coq and proven several general theorems including a DRF guarantee, which says that if a program is properly synchronized then it will exhibit sequentially consistent behavior. Finally, we use our model to prove that the unusual design choice of a partial order among writes to the same location is unobservable in any program." @default.
- W2979749908 created "2019-10-18" @default.
- W2979749908 creator A5011356414 @default.
- W2979749908 creator A5043355537 @default.
- W2979749908 date "2019-10-10" @default.
- W2979749908 modified "2023-10-17" @default.
- W2979749908 title "A formalization of Java’s concurrent access modes" @default.
- W2979749908 cites W1482397304 @default.
- W2979749908 cites W1525350307 @default.
- W2979749908 cites W2000659103 @default.
- W2979749908 cites W2038347389 @default.
- W2979749908 cites W2039509099 @default.
- W2979749908 cites W2090532555 @default.
- W2979749908 cites W2110879934 @default.
- W2979749908 cites W2138074470 @default.
- W2979749908 cites W2152885346 @default.
- W2979749908 cites W2164264520 @default.
- W2979749908 cites W2626631502 @default.
- W2979749908 cites W2738891045 @default.
- W2979749908 cites W2769194423 @default.
- W2979749908 cites W2997323435 @default.
- W2979749908 cites W3005498883 @default.
- W2979749908 cites W3125539909 @default.
- W2979749908 doi "https://doi.org/10.1145/3360568" @default.
- W2979749908 hasPublicationYear "2019" @default.
- W2979749908 type Work @default.
- W2979749908 sameAs 2979749908 @default.
- W2979749908 citedByCount "14" @default.
- W2979749908 countsByYear W29797499082019 @default.
- W2979749908 countsByYear W29797499082020 @default.
- W2979749908 countsByYear W29797499082021 @default.
- W2979749908 countsByYear W29797499082022 @default.
- W2979749908 countsByYear W29797499082023 @default.
- W2979749908 crossrefType "journal-article" @default.
- W2979749908 hasAuthorship W2979749908A5011356414 @default.
- W2979749908 hasAuthorship W2979749908A5043355537 @default.
- W2979749908 hasBestOaLocation W29797499081 @default.
- W2979749908 hasConcept C111919701 @default.
- W2979749908 hasConcept C12186640 @default.
- W2979749908 hasConcept C132106392 @default.
- W2979749908 hasConcept C133875982 @default.
- W2979749908 hasConcept C147789679 @default.
- W2979749908 hasConcept C149782125 @default.
- W2979749908 hasConcept C157329479 @default.
- W2979749908 hasConcept C168702491 @default.
- W2979749908 hasConcept C169590947 @default.
- W2979749908 hasConcept C184337299 @default.
- W2979749908 hasConcept C185592680 @default.
- W2979749908 hasConcept C199360897 @default.
- W2979749908 hasConcept C26517878 @default.
- W2979749908 hasConcept C2780695315 @default.
- W2979749908 hasConcept C33923547 @default.
- W2979749908 hasConcept C41008148 @default.
- W2979749908 hasConcept C548217200 @default.
- W2979749908 hasConcept C56666940 @default.
- W2979749908 hasConcept C60945770 @default.
- W2979749908 hasConcept C80444323 @default.
- W2979749908 hasConceptScore W2979749908C111919701 @default.
- W2979749908 hasConceptScore W2979749908C12186640 @default.
- W2979749908 hasConceptScore W2979749908C132106392 @default.
- W2979749908 hasConceptScore W2979749908C133875982 @default.
- W2979749908 hasConceptScore W2979749908C147789679 @default.
- W2979749908 hasConceptScore W2979749908C149782125 @default.
- W2979749908 hasConceptScore W2979749908C157329479 @default.
- W2979749908 hasConceptScore W2979749908C168702491 @default.
- W2979749908 hasConceptScore W2979749908C169590947 @default.
- W2979749908 hasConceptScore W2979749908C184337299 @default.
- W2979749908 hasConceptScore W2979749908C185592680 @default.
- W2979749908 hasConceptScore W2979749908C199360897 @default.
- W2979749908 hasConceptScore W2979749908C26517878 @default.
- W2979749908 hasConceptScore W2979749908C2780695315 @default.
- W2979749908 hasConceptScore W2979749908C33923547 @default.
- W2979749908 hasConceptScore W2979749908C41008148 @default.
- W2979749908 hasConceptScore W2979749908C548217200 @default.
- W2979749908 hasConceptScore W2979749908C56666940 @default.
- W2979749908 hasConceptScore W2979749908C60945770 @default.
- W2979749908 hasConceptScore W2979749908C80444323 @default.
- W2979749908 hasIssue "OOPSLA" @default.
- W2979749908 hasLocation W29797499081 @default.
- W2979749908 hasOpenAccess W2979749908 @default.
- W2979749908 hasPrimaryLocation W29797499081 @default.
- W2979749908 hasRelatedWork W1507029499 @default.
- W2979749908 hasRelatedWork W1519944186 @default.
- W2979749908 hasRelatedWork W1572758480 @default.
- W2979749908 hasRelatedWork W1974508891 @default.
- W2979749908 hasRelatedWork W2091085450 @default.
- W2979749908 hasRelatedWork W2181544444 @default.
- W2979749908 hasRelatedWork W2541866089 @default.
- W2979749908 hasRelatedWork W2547095320 @default.
- W2979749908 hasRelatedWork W2625764229 @default.
- W2979749908 hasRelatedWork W3172992491 @default.
- W2979749908 hasVolume "3" @default.
- W2979749908 isParatext "false" @default.
- W2979749908 isRetracted "false" @default.
- W2979749908 magId "2979749908" @default.
- W2979749908 workType "article" @default.