PipeSynth: Automated Synthesis of Microarchitectural Axioms for Memory Consistency.
Chase NormanAdwait GodboleYatin A. ManerkarPublished in: ASPLOS (3) (2023)
Keyphrases
- semi automated
- knowledge base
- fully automated
- memory space
- search space
- first order logic
- computer aided
- memory size
- consistency checking
- memory requirements
- texture synthesis
- memory usage
- maintaining consistency
- databases
- limited memory
- computing power
- computational power
- global constraints
- main memory
- operating system
- neural network