Author:
Masticola Stephen P.,Ryder Barbara G.
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verified secure compilation for mixed-sensitivity concurrent programs;Journal of Functional Programming;2021
2. May-happen-in-parallel analysis with static vector clocks;Proceedings of the 2018 International Symposium on Code Generation and Optimization;2018-02-24
3. May-happen-in-parallel analysis with static vector clocks;Proceedings of the 2018 International Symposium on Code Generation and Optimization - CGO 2018;2018
4. Discovering Concurrency Errors;Lectures on Runtime Verification;2018
5. Sound static deadlock analysis for C/Pthreads;Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering;2016-08-25