Author:
Choi Jong-Deok,Lee Keunwoo,Loginov Alexey,O'Callahan Robert,Sarkar Vivek,Sridharan Manu
Cited by
151 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Reorder Pointer Flow in Sound Concurrency Bug Prediction;Proceedings of the 46th IEEE/ACM International Conference on Software Engineering;2024-02-06
2. Protecting Locks Against Unbalanced Unlock();Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures;2023-06-17
3. OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel;Proceedings of the Eighteenth European Conference on Computer Systems;2023-05-08
4. Dynamic Race Detection with O(1) Samples;Proceedings of the ACM on Programming Languages;2023-01-09
5. Analysis and applications of a bridge game;Journal of Ambient Intelligence and Humanized Computing;2021-11-01