Author:
Rubio-González Cindy,Gunawi Haryadi S.,Liblit Ben,Arpaci-Dusseau Remzi H.,Arpaci-Dusseau Andrea C.
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Cocktail Approach to Practical Call Graph Construction;Proceedings of the ACM on Programming Languages;2023-10-16
2. ErrHunter: Detecting Error-Handling Bugs in the Linux Kernel Through Systematic Static Analysis;IEEE Transactions on Software Engineering;2023-02-01
3. Detecting API Missing-Check Bugs Through Complete Cross Checking of Erroneous Returns;Information Security and Cryptology;2023
4. Debugging MPI Implementations via Reduction-to-Primitives;2022 IEEE/ACM Third International Symposium on Checkpointing for Supercomputing (SuperCheck);2022-11
5. Yashme: detecting persistency races;Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems;2022-02-22