Dynamic Software Evolution Group

People

马晓星
Xiaoxing Ma

付毅科
Yike Fu

Research Interests

Dynamic Software Update
Automatic Runtime Recovery
Dynamic Program Analysis

Selected Publications

Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, and Xiaoxing Ma, “Synthesizing object state transformers for dynamic software updates”, in Proceedings of the 43rd International Conference on Software Engineering (ICSE) , Accetped, 2021 (ACM SIGSOFT Distinguished Paper Award 🏅 and ACM Europe Council Best Paper Award 🏅).
Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, and Jian Lu, “Automating object transformations for dynamic software updating via online execution synthesis”, in Proceedings of the 32nd European Conference on Object-Oriented Programming (ECOOP) , 19:1--19:28, 2018.
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 , 43(4), 340–358, 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 , 56, 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.