Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000659103> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2000659103 abstract "We show that the weak memory model introduced by the 2011 C and C++ standards does not permit many common source-to-source program transformations (such as expression linearisation and roach motel reorderings) that modern compilers perform and that are deemed to be correct. As such it cannot be used to define the semantics of intermediate languages of compilers, as, for instance, LLVM aimed to. We consider a number of possible local fixes, some strengthening and some weakening the model. We evaluate the proposed fixes by determining which program transformations are valid with respect to each of the patched models. We provide formal Coq proofs of their correctness or counterexamples as appropriate." @default.
- W2000659103 created "2016-06-24" @default.
- W2000659103 creator A5011884066 @default.
- W2000659103 creator A5023359178 @default.
- W2000659103 creator A5029617492 @default.
- W2000659103 creator A5032148955 @default.
- W2000659103 creator A5057239424 @default.
- W2000659103 date "2015-01-14" @default.
- W2000659103 modified "2023-10-17" @default.
- W2000659103 title "Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it" @default.
- W2000659103 cites W1482397304 @default.
- W2000659103 cites W1983206712 @default.
- W2000659103 cites W2014708731 @default.
- W2000659103 cites W2023035194 @default.
- W2000659103 cites W2039509099 @default.
- W2000659103 cites W2054391605 @default.
- W2000659103 cites W2058943117 @default.
- W2000659103 cites W2064390891 @default.
- W2000659103 cites W2091085450 @default.
- W2000659103 cites W2117502039 @default.
- W2000659103 cites W2164264520 @default.
- W2000659103 cites W2168397157 @default.
- W2000659103 cites W2738891045 @default.
- W2000659103 cites W4234066571 @default.
- W2000659103 cites W4246957455 @default.
- W2000659103 cites W4256041698 @default.
- W2000659103 doi "https://doi.org/10.1145/2676726.2676995" @default.
- W2000659103 hasPublicationYear "2015" @default.
- W2000659103 type Work @default.
- W2000659103 sameAs 2000659103 @default.
- W2000659103 citedByCount "96" @default.
- W2000659103 countsByYear W20006591032015 @default.
- W2000659103 countsByYear W20006591032016 @default.
- W2000659103 countsByYear W20006591032017 @default.
- W2000659103 countsByYear W20006591032018 @default.
- W2000659103 countsByYear W20006591032019 @default.
- W2000659103 countsByYear W20006591032020 @default.
- W2000659103 countsByYear W20006591032021 @default.
- W2000659103 countsByYear W20006591032022 @default.
- W2000659103 countsByYear W20006591032023 @default.
- W2000659103 crossrefType "proceedings-article" @default.
- W2000659103 hasAuthorship W2000659103A5011884066 @default.
- W2000659103 hasAuthorship W2000659103A5023359178 @default.
- W2000659103 hasAuthorship W2000659103A5029617492 @default.
- W2000659103 hasAuthorship W2000659103A5032148955 @default.
- W2000659103 hasAuthorship W2000659103A5057239424 @default.
- W2000659103 hasBestOaLocation W20006591033 @default.
- W2000659103 hasConcept C108710211 @default.
- W2000659103 hasConcept C118615104 @default.
- W2000659103 hasConcept C12186640 @default.
- W2000659103 hasConcept C133875982 @default.
- W2000659103 hasConcept C162838799 @default.
- W2000659103 hasConcept C169590947 @default.
- W2000659103 hasConcept C173608175 @default.
- W2000659103 hasConcept C184337299 @default.
- W2000659103 hasConcept C190902152 @default.
- W2000659103 hasConcept C199360897 @default.
- W2000659103 hasConcept C2524010 @default.
- W2000659103 hasConcept C33923547 @default.
- W2000659103 hasConcept C41008148 @default.
- W2000659103 hasConcept C55439883 @default.
- W2000659103 hasConcept C80444323 @default.
- W2000659103 hasConceptScore W2000659103C108710211 @default.
- W2000659103 hasConceptScore W2000659103C118615104 @default.
- W2000659103 hasConceptScore W2000659103C12186640 @default.
- W2000659103 hasConceptScore W2000659103C133875982 @default.
- W2000659103 hasConceptScore W2000659103C162838799 @default.
- W2000659103 hasConceptScore W2000659103C169590947 @default.
- W2000659103 hasConceptScore W2000659103C173608175 @default.
- W2000659103 hasConceptScore W2000659103C184337299 @default.
- W2000659103 hasConceptScore W2000659103C190902152 @default.
- W2000659103 hasConceptScore W2000659103C199360897 @default.
- W2000659103 hasConceptScore W2000659103C2524010 @default.
- W2000659103 hasConceptScore W2000659103C33923547 @default.
- W2000659103 hasConceptScore W2000659103C41008148 @default.
- W2000659103 hasConceptScore W2000659103C55439883 @default.
- W2000659103 hasConceptScore W2000659103C80444323 @default.
- W2000659103 hasFunder F4320320883 @default.
- W2000659103 hasFunder F4320334960 @default.
- W2000659103 hasLocation W20006591031 @default.
- W2000659103 hasLocation W20006591032 @default.
- W2000659103 hasLocation W20006591033 @default.
- W2000659103 hasOpenAccess W2000659103 @default.
- W2000659103 hasPrimaryLocation W20006591031 @default.
- W2000659103 hasRelatedWork W1497385637 @default.
- W2000659103 hasRelatedWork W2000659103 @default.
- W2000659103 hasRelatedWork W2080682474 @default.
- W2000659103 hasRelatedWork W2128260460 @default.
- W2000659103 hasRelatedWork W2166060139 @default.
- W2000659103 hasRelatedWork W2192862863 @default.
- W2000659103 hasRelatedWork W2245390655 @default.
- W2000659103 hasRelatedWork W3124740916 @default.
- W2000659103 hasRelatedWork W4252501555 @default.
- W2000659103 hasRelatedWork W1602178951 @default.
- W2000659103 isParatext "false" @default.
- W2000659103 isRetracted "false" @default.
- W2000659103 magId "2000659103" @default.
- W2000659103 workType "article" @default.