Model Checking of Software Systems under Weak Memory Models

@inproceedings{Ngo2019ModelCO,
  title={Model Checking of Software Systems under Weak Memory Models},
  author={Tuan-Phong Ngo},
  year={2019}
}
When a program is compiled and run on a modern architecture, different optimizations may be applied to gain in efficiency. In particular, the access operations (e.g., read and write) to the shared ... 

References

Publications referenced by this paper.
SHOWING 1-10 OF 147 REFERENCES