1. Mutual Refinements of Context-Free Language Reachability;Static Analysis;2023
2. Fast Graph Simplification for Interleaved-Dyck Reachability;ACM Transactions on Programming Languages and Systems;2022-05-27
3. Study on the classification model of lock mechanism in operating system;2022 IEEE 2nd International Conference on Power, Electronics and Computer Applications (ICPECA);2022-01-21
4. Efficient algorithms for dynamic bidirected Dyck-reachability;Proceedings of the ACM on Programming Languages;2022-01-12
5. A Compositional Deadlock Detector for Android Java;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11