Author:
Gotsman Alexey,Yang Hongseok
Publisher
Springer Berlin Heidelberg
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Fair Operational Semantics;Proceedings of the ACM on Programming Languages;2023-06-06
2. An Operational Approach to Library Abstraction under Relaxed Memory Concurrency;Proceedings of the ACM on Programming Languages;2023-01-09
3. Implementing and verifying release-acquire transactional memory in C11;Proceedings of the ACM on Programming Languages;2022-10-31
4. Abstraction for Crash-Resilient Objects;Programming Languages and Systems;2022
5. Verifying C11-style weak memory libraries;Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming;2021-02-17