Publications

• SnR: Constraint-Based Type Inference for Incomplete Java Code Snippets,
  Yiwen Dong, Tianxiao Gu, Yongqiang Tian, and Chengnian Sun,
  in Proceedings of the 44th International Conference on Software Engineering (ICSE 2022) , to appear, 2022.
• Towards a Serverless Java Runtime,
  Yifei Zhang, Tianxiao Gu, Xiaolin Zheng, Lei Yu, Wei Kuai, and Sanhong Li,
  in Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, Industry Showcase (ASE Industry Showcase 2021) , to appear, 2021.
• JPDHeap: A JVM Heap Design for PM-DRAM Memories,
  Litong You, Tianxiao Gu, Shengan Zheng, Jianmei Guo, Sanhong Li, Yuting Chen, and Linpeng Huang,
  in Proceedings of the 59th Design Automation Conference (DAC 2021) , to appear, 2021.
• Synthesizing Object State Transformers for Dynamic Software Updates,
  Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, and Xiaoxing Ma,
  in Proceedings of the 43rd ACM/IEEE International Conference on Software Engineering (ICSE 2021) , 1111–1122, 2021.
  ACM SIGSOFT Distinguished Paper Award and ACM Europe Council Best Paper Award
• Commit Message Generation for Source Code Changes,
  Shengbin Xu, Yuan Yao, Feng Xu, Tianxiao Gu, Hanghang Tong, and Jian Lu,
  in Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI-19 , 3975–3981, 2019.
• Practical GUI Testing of Android Applications via Model Abstraction and Refinement,
  Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, Qirun Zhang, Jian Lu, and Zhendong Su,
  in Proceedings of the 41st ACM/IEEE International Conference on Software Engineering (ICSE 2019) , 269 -- 280, 2019.
• An Integral Tag Recommendation Model for Textual Content,
  Shijie Tang, Yuan Yao, Suwei Zhang, Feng Xu, Tianxiao Gu, Hanghang Tong, Xiaohui Yan, and Jian Lu,
  in Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019) , 5,109 -- 5,116, 2019.
• Accelerating Automated Android GUI Exploration with Widgets Grouping,
  Chun Cao, Hongjun Ge, Tianxiao Gu, Jing Deng, Ping Yu, and Jian Lu,
  in Proceedings of the 25th Asia-Pacific Software Engineering Conference (APSEC 2018) , 268–277, 2018.
• Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis,
  Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, and Jian Lu,
  in Proceedings of the 32nd European Conference on Object-Oriented Programming (ECOOP 2018) , 19:1--19:28, 2018.
• AATT+: Effectively Manifesting Concurrency Bugs in Android Apps,
  Jue Wang, Yanyan Jiang, Chang Xu, Qiwei Li, Tianxiao Gu, Jun Ma, Xiaoxing Ma, and Jian Lu,
  Science of Computer Programming (SCP) , 1–18, 2018.
• Perses: Syntax-Guided Program Reduction,
  Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, and Zhendong Su,
  in Proceedings of the 40th International Conference on Software Engineering (ICSE 2018) , 361–371, 2018.
• AimDroid: Activity-Insulated Multi-level Automated Testing for Android Applications,
  Tianxiao Gu, Chun Cao, Tianchi Liu, Chengnian Sun, Jing Deng, Xiaoxing Ma, and Jian Lü,
  in Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME 2017) , 103–114, 2017.
• Synthesizing Object Transformation for Dynamic Software Updating,
  Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, and Jian Lü,
  in Proceedings of the 39th International Conference on Software Engineering Companion (ICSE-C 2017) , 336–338, 2017.
• Software Is Not Soft - Challenges and Approaches to Dynamic Software Update,
  Xiaoxing Ma, Tianxiao Gu, and Wei Song,
  in Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures , 143–175, 2017.
• Precise Heap Differentiating Using Access Path and Execution Index,
  Tianxiao Gu, Ruiqi Liu, Xiaoxing Ma, and Zelin Zhao,
  in Proceedings of the 15th National Software Application Conference (NASAC 2016) , 133–148, 2016.
• Effectively Manifesting Concurrency Bugs in Android Apps,
  Qiwei Li, Yanyan Jiang, Tianxiao Gu, Chang Xu, Jun Ma, Xiaoxing Ma, and Jian Lü,
  in Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC 2016) , 209–216, 2016.
• Improving Reliability of Dynamic Software Updating Using Runtime Recovery,
  Tianxiao Gu, Zelin Zhao, Xiaoxing Ma, Chang Xu, Chun Cao, and Jian Lü,
  in Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC 2016) , 257–264, 2016.
• CURE: Automated Patch Generation for Dynamic Software Update,
  Zelin Zhao, Tianxiao Gu, Xiaoxing Ma, Chang Xu, and Jian Lü,
  in Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC 2016) , 249–256, 2016.
• Automatic Runtime Recovery via Error Handler Synthesis,
  Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Jian Lü, and Zhendong Su,
  in Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016) , 684–695, 2016.
• Low-disruptive Dynamic Updating of Java Applications,
  Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, and Jian Lü,
  Information & Software Technology , 1086–1098, 2014.
• CARE: Cache Guided Deterministic Replay for Concurrent Java Programs,
  Yanyan Jiang, Tianxiao Gu, Chang Xu, Xiaoxing Ma, and Jian Lü,
  in Proceedings of the 36th International Conference on Software Engineering (ICSE 2014) , 457–467, 2014.
• Resynchronizing Model-Based Self-Adaptive Systems with Environments,
  Linghao Zhang, Chang Xu, Xiaoxing Ma, Tianxiao Gu, Xuezhi Hong, Chun Cao, and Jian Lü,
  in Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC 2012) , 184–193, 2012.
• Javelus: A Low Disruptive Approach to Dynamic Software Updates,
  Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, and Jian Lü,
  in Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC 2012) , 527–536, 2012.