Sequential reasoning for optimizing compilers under weak memory concurrency.
Minki ChoSung-Hwan LeeDongjae LeeChung-Kil HurOri LahavPublished in: PLDI (2022)
Keyphrases
- programming language
- reasoning systems
- general purpose
- memory requirements
- hardware and software
- case based reasoner
- knowledge base
- computer architecture
- past experience
- main memory
- memory usage
- reasoning process
- database systems
- low cost
- qualitative reasoning
- automated reasoning
- computing power
- model based diagnosis
- reasoning tasks
- spatial reasoning
- databases
- knowledge representation
- hidden markov models
- neural network