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. Fuzz Testing for Rust Library Functions;2023 IEEE 22nd International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom);2023-11-01
3. ViDeZZo: Dependency-aware Virtual Device Fuzzing;2023 IEEE Symposium on Security and Privacy (SP);2023-05
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. PHiLIP on the HiL: Automated Multi-Platform OS Testing With External Reference Devices;ACM Transactions on Embedded Computing Systems;2021-10-31