Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it.
Viktor VafeiadisThibaut BalabonskiSoham ChakrabortyRobin MorissetFrancesco Zappa NardelliPublished in: POPL (2015)
Keyphrases
- mathematical model
- prior knowledge
- formal model
- theoretical framework
- computational model
- programming language
- long term memory
- memory requirements
- statistical model
- parameter estimation
- em algorithm
- real time
- probabilistic model
- cost function
- expert systems
- objective function
- high level
- knowledge base
- feature selection
- machine learning