1. DDGF: Dynamic Directed Greybox Fuzzing with Path Profiling;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. Benzene: A Practical Root Cause Analysis System with an Under-Constrained State Mutation;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19
3. CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams;ACM Transactions on Programming Languages and Systems;2024-05-02
4. Efficient Microsecond-scale Blind Scheduling with Tiny Quanta;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2024-04-27
5. OptiWISE: Combining Sampling and Instrumentation for Granular CPI Analysis;2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2024-03-02