| 2015 | ICSE | Static Control-Flow Analysis of User-Driven Callbacks in Android Applications. | Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, Atanas Rountev |
| 2014 | CGO | Static Reference Analysis for GUI Objects in Android Software. | Atanas Rountev, Dacong Yan |
| 2014 | CGO | LeakChecker: Practical Static Memory Leak Detection for Managed Languages. | Dacong Yan, Guoqing Xu, Shengqian Yang, Atanas Rountev |
| 2013 | ISSRE | Systematic testing for resource leaks in Android applications. | Dacong Yan, Shengqian Yang, Atanas Rountev |
| 2012 | ECOOP | Static Detection of Loop-Invariant Data Structures. | Guoqing Xu, Dacong Yan, Atanas Rountev |
| 2012 | ICSE | Uncovering performance problems in Java applications with reference propagation profiling. | Dacong Yan, Guoqing Xu, Atanas Rountev |
| 2012 | ISSTA | Dynamic analysis of inefficiently-used containers. | Shengqian Yang, Dacong Yan, Guoqing Xu, Atanas Rountev |
| 2012 | PLDI | Rethinking Soot for summary-based whole-program analysis. | Dacong Yan, Guoqing Xu, Atanas Rountev |
| 2011 | ISSTA | Demand-driven context-sensitive alias analysis for Java. | Dacong Yan, Guoqing Xu, Atanas Rountev |
| 2010 | ICSE | BPGen: an automated breakpoint generator for debugging. | Cheng Zhang, Dacong Yan, Jianjun Zhao, Yuting Chen, Shengqian Yang |