Author:
Anderson Zachary,Gay David,Ennals Rob,Brewer Eric
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hybrid Static-Dynamic Analysis of Data Races Caused by Inconsistent Locking Discipline in Device Drivers;IEEE Transactions on Software Engineering;2022
2. Krace: Data Race Fuzzing for Kernel File Systems;2020 IEEE Symposium on Security and Privacy (SP);2020-05
3. PUSh;Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture;2019-10-12
4. Region and effect inference for safe parallelism;Automated Software Engineering;2019-05-11
5. RangeLocker: Adaptive Range-Sensitive Lockset Analysis for Precise Dynamic Race Detection;2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE);2019-01