MJ: An imperative core calculus for Java and Java with effects, 2003. ,
A foundation for flow-based program matching: using temporal logic and model checking, POPL, pp.114-126, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00297708
ASM: a code manipulation tool to implement adaptable systems. Adaptable and extensible component systems, vol.30, 2002. ,
Javassist-a reflection-based programming wizard for Java, Proceedings of OOPSLA'98 Workshop on Reflective Programming in C++ and Java, p.174, 1998. ,
The TXL source transformation language, Science of Computer Programming, vol.61, issue.3, pp.190-210, 2006. ,
SemDiff: Analysis and recommendation support for API evolution, Proceedings of the 31st International Conference on Software Engineering, pp.599-602, 2009. ,
Catchup! capturing and replaying refactorings to support API evolution, Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on, pp.274-283, 2005. ,
Featherweight Java: a minimal core calculus for Java and GJ, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.23, issue.3, pp.396-450, 2001. ,
Rascal: A domain specific language for source code analysis and manipulation, Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, pp.168-177, 2009. ,
JMangler-a framework for load-time transformation of Java class files, SCAM, pp.100-110, 2001. ,
Imperative program transformation by rewriting, Compiler Construction, pp.52-68, 2001. ,
Exploring the use of automated API migrating techniques in practice: An experience report on Android, 15th International Conference on Mining Software Repositories, 2018. ,
Coccinelle: 10 years of automated evolution in the Linux kernel, USENIX Annual Technical Conference, pp.601-614, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01853271
Swin: Towards type-safe Java program adaptation between APIs, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, pp.91-102, 2015. ,
Characterising deprecated Android APIs, Proceedings of the 15th International Conference on Mining Software Repositories, pp.254-264, 2018. ,
An empirical study of API stability and adoption in the Android ecosystem, 29th IEEE International Conference on, pp.70-79, 2013. ,
A history-based matching approach to identification of framework evolution, Proceedings of the 34th International Conference on Software Engineering, pp.353-363, 2012. ,
Semantic patches considered helpful, ACM SIGOPS Operating Systems Review, vol.40, issue.3, pp.90-92, 2006. ,
The varying faces of a program transformation systems, ACM Inroads, vol.3, issue.1, pp.49-55, 2012. ,
A graph-based approach to API usage adaptation, OOPSLA, pp.302-321, 2010. ,
Using twinning to adapt programs to alternative APIs, Software Engineering, 2010 ACM/IEEE 32nd International Conference on, vol.1, pp.205-214, 2010. ,
Documenting and automating collateral evolutions in Linux device drivers, EuroSys, pp.247-260, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00123142
SmPL: A domain-specific language for specifying collateral evolutions in Linux device drivers, Electronic Notes in Theoretical Computer Science, vol.166, pp.47-62, 2007. ,
Nicolas Petitprez, Carlos Noguera, and Lionel Seinturier. Spoon: A library for implementing analyses and transformations of Java source code, Software: Practice and Experience, vol.46, issue.9, pp.1155-1179, 2016. ,
Increasing automation in the backporting of Linux drivers using Coccinelle, Dependable Computing Conference (EDCC), 2015 Eleventh European, pp.132-143, 2015. ,
Soot: A Java bytecode optimization framework, Proceedings of the 1999 Conference of the Centre for Advanced Studies on Collaborative Research, p.13, 1999. ,
Stratego: A language for program transformation based on rewriting strategies system description of Stratego 0.5, International Conference on Rewriting Techniques and Applications, pp.357-361, 2001. ,
Transforming programs between APIs with many-to-many mappings, 30th European Conference on Object-Oriented Programming, 2016. ,
Understanding widespread changes: A taxonomic study, Software Maintenance and Reengineering (CSMR), 2013 17th European Conference on, pp.5-14, 2013. ,