Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  present in this paper a formal generic framework, implemented in the Coq proof assistant, for defining and reasoning about ak memory models.  first present the three axioms of our framework, with several examples as illustration and justification. Then  show how to implement several existing ak memory models in our framework, and prove formally that our implementation is equivalent to the native definition for each of these models.
['Jade Alglave']
I am writing a research paper on a idea A formal hierarchy of weak memory models
[{"from": "human", "value": "I am writing a research paper on a idea A formal hierarchy of weak memory models"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  present in this paper a formal generic framework, implemented in the Coq proof assistant, for defining and reasoning about ak memory models.  first present the three axioms of our framework, with several examples as illustration and justification. Then  show how to implement several existing ak memory models in our framework, and prove formally that our implementation is equivalent to the native definition for each of these models."}]