Tianxiao Gu


Tianxiao Gu


Supervisor


Education and Work Experience

  • 2015.6 - 2015.7: Intern at the JVM Optimization Group in Ant Financial (formerly known as Alipay)
  • 2013.9 - 2014.9: Visiting Student, University of California, Davis, Professor Zhendong Su.
  • 2012.9 - Present: Ph.D. Candidate, Department of Computer Science and Technology, Nanjing University
  • 2010.9 - 2012.7: Ph.D. Student, Department of Computer Science and Technology, Nanjing University
  • 2006.9 - 2010.6: B.S., Department of Computer Science and Technology, Nanjing University

Research Interests

  • Dynamic Software Updating (DSU)
  • Program Analysis
  • Programming Languages

Publications

  • Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, and Jian Lü, “Synthesizing Object Transformation for Dynamic Software Updating”, in ICSE 2017 Poster Track , to appear, 2017.
  • Tianxiao Gu, Ruiqi Liu, Xiaoxing Ma, and Zelin Zhao, “Precise Heap Differentiating Using Access Path and Execution Index”, in NASAC English Track , to appear, 2016.
  • Qiwei Li, Yanyan Jiang, Tianxiao Gu, Chang Xu, Jun Ma, Xiaoxing Ma, and Jian Lü, “Effectively Manifesting Concurrency Bugs in Android Apps”, in Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC) , to appear, 2016.
  • Tianxiao Gu, Zelin Zhao, Xiaoxing Ma, Chang Xu, Chun Cao, and Jian Lü, “Improving Reliability of Dynamic Software Updating Using Runtime Recovery”, in Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC) , to appear, 2016.
  • Zelin Zhao, Tianxiao Gu, Xiaoxing Ma, Chang Xu, and Jian Lü, “CURE: Automated Patch Generation for Dynamic Software Update”, in Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC) , to appear, 2016.
  • Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Jian Lü, and Zhendong Su, “Automatic Runtime Recovery via Error Handler Synthesis”, in Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016 , 684–695, 2016.
  • Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, and Jian Lü, “Low-disruptive Dynamic Updating of Java Applications”, Information & Software Technology , 1086–1098, 2014.
  • Yanyan Jiang, Tianxiao Gu, Chang Xu, Xiaoxing Ma, and Jian Lü, “CARE: Cache Guided Deterministic Replay for Concurrent Java Programs”, in 36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014 , 457–467, 2014.
  • Linghao Zhang, Chang Xu, Xiaoxing Ma, Tianxiao Gu, Xuezhi Hong, Chun Cao, and Jian Lü, “Resynchronizing Model-Based Self-Adaptive Systems with Environments”, in 19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4-7, 2012 , 184–193, 2012.
  • Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, and Jian Lü, “Javelus: A Low Disruptive Approach to Dynamic Software Updates”, in 19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4-7, 2012 , 527–536, 2012.

Projects

You can check my profile (only publicly accessible projects) at here or here.

Note

A project may not be publicly available if we are working on a paper about it.

  • Javelus
    • A dynamic-updating-enabled JVM built on top the HotSpot JVM in OpenJDK 8
  • MiniTracing:
    • A whole program tracing tool that can trace method entrance/exit, object allocation, GC moving events in the JVM.
    • Checkout the branch mini-tracing of javelus
    • Other tools based on this project:
      • PHD: Precise Heap Differentiating: An experimental tool aiming at precisely differentiating two heap snapshots.
  • Ares
    • An automatic-runtime-recovery-enabled JVM
  • AOTES
    • Automating object transformations for dynamic software updating via execution synthesis

Awards

  • Supported by the Program B for Outstanding PhD candidate of Nanjing University, 2015
  • Tung OOCL Scholarship, Nanjing University, 2014
  • Outstanding Graduate Student Scholarship, Nanjing University, 2012
  • People Scholarship, Second Prize, Nanjing University, 2009
  • First Provincial-level in Mathematical Contest in Modeling for College Students, 2008
  • People Scholarship, Third Prize, Nanjing University, 2008
  • People Scholarship, Third Prize, Nanjing University, 2007

© 2015 Institute of Computer Software, Nanjing University. All rights reserved.