Author:
Cheng Ben-Chung,Hwu Wen-Mei W.
Cited by
47 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware and Path-Sensitive Typestate Analysis;ACM Transactions on Computer Systems;2024-09-06
2. Ownership Guided C to Rust Translation;Computer Aided Verification;2023
3. Fast Graph Simplification for Interleaved-Dyck Reachability;ACM Transactions on Programming Languages and Systems;2022-05-27
4. Path-sensitive and alias-aware typestate analysis for detecting OS bugs;Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems;2022-02-22
5. Sensing Error Handling Bugs in SSL Library Usages;2021 IEEE 20th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom);2021-10