2016
Mixin Composition Synthesis based on Intersection Types Journal Article
In: Logical Methods in Computer Science, 2016, (submitted).
2015
Towards Migrating Object-Oriented Frameworks to Enable Synthesis of Product Line Members Proceedings Article
In: Proceedings of the 19th International Software Product Line Conference (SPLC'15), pp. 56–60, ACM, Nashville, Tennessee, 2015.