Dynamic Software Evolution Group

People

Research Interests

  • Dynamic Software Update
  • Automatic Runtime Recovery
  • Dynamic Program Analysis
  • Android Testing/Fuzzing/Security

Selected Publications

  • Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, and Jian Lü, “Synthesizing Object Transformation for Dynamic Software Updating”, in ICSE Poster Track , to appear, 2017.
  • Luciano Baresi, Carlo Ghezzi, Xiaoxing Ma, and Valerio Panzica La Manna, “Efficient Dynamic Updates of Distributed Components through Version Consistency”, IEEE Transactions on Software Engineering , to appear, 2017.
  • 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) , 684–695, 2016.
  • Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, and Jian Lü, “Low-disruptive Dynamic Updating of Java Applications”, Information and Software Technology , 1086–1098, 2014.
  • Xiaoxing Ma, Luciano Baresi, Carlo Ghezzi, Valerio Panzica La Manna, and Jian Lu, “Version-consistent Dynamic Reconfiguration of Component-based Distributed Systems”, in Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering (FSE) , 245–255, 2011.

Full publications.

Software

  • CONUP: Consistent Updates of Distributed Components at Runtime
  • Javelus: A dynamic-updating-enabled JVM on top of the HotSpot VM
  • Ares: Automatic Runtime Recovery
  • AOTES: Synthesizing object transformations for DSU
  • MiniTracing: Whole-Program Tracing in Java HotSpot VM
    • PHD: Precise Heap Differentiating Using Access Path and Execution Index
  • Projects on Android: Tracing/Fuzzing/Testing

Alumni/ae


Tongbao Zhang
张同宝
Guochao Ren
任国超
Ping Su
苏萍
Jiang Wang
王姜
Guozhen Xie
谢国珍
Yan Yao
姚燕


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