Author:
Attiya H.,Ramalingam G.,Rinetzky N.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Proving highly-concurrent traversals correct;Proceedings of the ACM on Programming Languages;2020-11-13
2. Indistinguishability;Communications of the ACM;2020-04-20
3. Snapshot-Based Synchronization: A Fast Replacement for Hand-over-Hand Locking;Euro-Par 2018: Parallel Processing;2018
4. Static race detection for device drivers: the Goblint approach;Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering;2016-08-25
5. Composing concurrency control;ACM SIGPLAN Notices;2015-08-07