已发表成果:
WOK 论文 27 篇;中文核心 1 篇;
Escaping dependency hell: Finding build dependency errors with the unified dependency graph
Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks
Will Dependency Conflicts Affect My Program’s Semantics?
PANGOLIN: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction