Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016012949> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2016012949 abstract "Recent advances in verification have made it possible to envision trusted implementations of real-world languages. Java with its type-safety and fully specified semantics would appear to be an ideal candidate; yet, the complexity of the translation steps used in production virtual machines have made it a challenging target for verifying compiler technology. One of Java's key innovations, its memory model, poses significant obstacles to such an endeavor. The Java Memory Model is an ambitious attempt at specifying the behavior of multithreaded programs in a portable, hardware agnostic, way. While experts have an intuitive grasp of the properties that the model should enjoy, the specification is complex and not well-suited for integration within a verifying compiler infrastructure. Moreover, the specification is given in an axiomatic style that is distant from the intuitive reordering-based reasonings traditionally used to justify or rule out behaviors, and ill suited to the kind of operational reasoning one would expect to employ in a compiler. This paper takes a step back, and introduces a Buffered Memory Model (BMM) for Java. We choose a pragmatic point in the design space sacrificing generality in favor of a model that is fully characterized in terms of the reorderings it allows, amenable to formal reasoning, and which can be efficiently applied to a specific hardware family, namely x86 multiprocessors. Although the BMM restricts the reorderings compilers are allowed to perform, it serves as the key enabling device to achieving a verification pathway from bytecode to machine instructions. Despite its restrictions, we show that it is backwards compatible with the Java Memory Model and that it does not cripple performance on TSO architectures." @default.
- W2016012949 created "2016-06-24" @default.
- W2016012949 creator A5002005076 @default.
- W2016012949 creator A5018995578 @default.
- W2016012949 creator A5034957233 @default.
- W2016012949 creator A5046752375 @default.
- W2016012949 creator A5084307280 @default.
- W2016012949 creator A5088318447 @default.
- W2016012949 date "2013-01-23" @default.
- W2016012949 modified "2023-10-17" @default.
- W2016012949 title "Plan B" @default.
- W2016012949 cites W1482397304 @default.
- W2016012949 cites W1498264241 @default.
- W2016012949 cites W1525350307 @default.
- W2016012949 cites W1541537810 @default.
- W2016012949 cites W1595974273 @default.
- W2016012949 cites W1808398105 @default.
- W2016012949 cites W1995825057 @default.
- W2016012949 cites W2029601347 @default.
- W2016012949 cites W2052735108 @default.
- W2016012949 cites W2079610913 @default.
- W2016012949 cites W2085773946 @default.
- W2016012949 cites W2091085450 @default.
- W2016012949 cites W2098643127 @default.
- W2016012949 cites W2104245532 @default.
- W2016012949 cites W2131040110 @default.
- W2016012949 cites W2148662736 @default.
- W2016012949 cites W2165365531 @default.
- W2016012949 cites W2169753096 @default.
- W2016012949 cites W3137220996 @default.
- W2016012949 cites W4229558017 @default.
- W2016012949 cites W4240322740 @default.
- W2016012949 cites W4246957455 @default.
- W2016012949 cites W4247648759 @default.
- W2016012949 cites W4251987281 @default.
- W2016012949 cites W64027241 @default.
- W2016012949 doi "https://doi.org/10.1145/2429069.2429110" @default.
- W2016012949 hasPublicationYear "2013" @default.
- W2016012949 type Work @default.
- W2016012949 sameAs 2016012949 @default.
- W2016012949 citedByCount "25" @default.
- W2016012949 countsByYear W20160129492012 @default.
- W2016012949 countsByYear W20160129492013 @default.
- W2016012949 countsByYear W20160129492014 @default.
- W2016012949 countsByYear W20160129492015 @default.
- W2016012949 countsByYear W20160129492016 @default.
- W2016012949 countsByYear W20160129492017 @default.
- W2016012949 countsByYear W20160129492018 @default.
- W2016012949 countsByYear W20160129492019 @default.
- W2016012949 countsByYear W20160129492020 @default.
- W2016012949 countsByYear W20160129492021 @default.
- W2016012949 crossrefType "proceedings-article" @default.
- W2016012949 hasAuthorship W2016012949A5002005076 @default.
- W2016012949 hasAuthorship W2016012949A5018995578 @default.
- W2016012949 hasAuthorship W2016012949A5034957233 @default.
- W2016012949 hasAuthorship W2016012949A5046752375 @default.
- W2016012949 hasAuthorship W2016012949A5084307280 @default.
- W2016012949 hasAuthorship W2016012949A5088318447 @default.
- W2016012949 hasConcept C111919701 @default.
- W2016012949 hasConcept C12186640 @default.
- W2016012949 hasConcept C133875982 @default.
- W2016012949 hasConcept C15744967 @default.
- W2016012949 hasConcept C169590947 @default.
- W2016012949 hasConcept C199360897 @default.
- W2016012949 hasConcept C26517878 @default.
- W2016012949 hasConcept C2780767217 @default.
- W2016012949 hasConcept C41008148 @default.
- W2016012949 hasConcept C542102704 @default.
- W2016012949 hasConcept C548217200 @default.
- W2016012949 hasConceptScore W2016012949C111919701 @default.
- W2016012949 hasConceptScore W2016012949C12186640 @default.
- W2016012949 hasConceptScore W2016012949C133875982 @default.
- W2016012949 hasConceptScore W2016012949C15744967 @default.
- W2016012949 hasConceptScore W2016012949C169590947 @default.
- W2016012949 hasConceptScore W2016012949C199360897 @default.
- W2016012949 hasConceptScore W2016012949C26517878 @default.
- W2016012949 hasConceptScore W2016012949C2780767217 @default.
- W2016012949 hasConceptScore W2016012949C41008148 @default.
- W2016012949 hasConceptScore W2016012949C542102704 @default.
- W2016012949 hasConceptScore W2016012949C548217200 @default.
- W2016012949 hasLocation W20160129491 @default.
- W2016012949 hasOpenAccess W2016012949 @default.
- W2016012949 hasPrimaryLocation W20160129491 @default.
- W2016012949 hasRelatedWork W1497385637 @default.
- W2016012949 hasRelatedWork W1498982577 @default.
- W2016012949 hasRelatedWork W1512248002 @default.
- W2016012949 hasRelatedWork W2004605222 @default.
- W2016012949 hasRelatedWork W2044422526 @default.
- W2016012949 hasRelatedWork W2086733238 @default.
- W2016012949 hasRelatedWork W2192862863 @default.
- W2016012949 hasRelatedWork W2369288331 @default.
- W2016012949 hasRelatedWork W2519339279 @default.
- W2016012949 hasRelatedWork W2467097043 @default.
- W2016012949 isParatext "false" @default.
- W2016012949 isRetracted "false" @default.
- W2016012949 magId "2016012949" @default.
- W2016012949 workType "article" @default.