Author:
Demange Delphine,Laporte Vincent,Zhao Lei,Jagannathan Suresh,Pichardie David,Vitek Jan
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Pomsets with preconditions: a simple model of relaxed memory;Proceedings of the ACM on Programming Languages;2020-11-13
2. Accelerating sequential consistency for Java with speculative compilation;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08
3. Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology;Journal of Automated Reasoning;2018-11-01
4. Towards understanding the costs of avoiding out-of-thin-air results;Proceedings of the ACM on Programming Languages;2018-10-24
5. A volatile-by-default JVM for server applications;Proceedings of the ACM on Programming Languages;2017-10-12