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-01299040
https://curl.haxx.se ,
Classifying change types for qualifying change couplings, 14th IEEE International Conference on Program Comprehension, pp.35-45, 2006. ,
Prequel: A patch-like query language for commit history search, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01330861
Automatically extracting instances of code change patterns with AST analysis, ICSM (2013), pp.388-391 ,
URL : https://hal.archives-ouvertes.fr/hal-00861883
A historybased matching approach to identification of framework evolution, ICSE (2012), pp.353-363 ,
Documenting and automating collateral evolutions in Linux device drivers, EuroSys, pp.247-260, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00123142
Increasing Automation in the Backporting of Linux Drivers Using Coccinelle, 2015 11th European Dependable Computing Conference (EDCC), pp.132-143 ,
DOI : 10.1109/EDCC.2015.23
URL : https://hal.archives-ouvertes.fr/hal-01213912
Extracting executable transformations from distilled code changes, Software Analysis, Evolution, and Reengineering (SANER) (2017), pp.171-181 ,
Feature consistency in compile-timeconfigurable system software: facing the Linux 10,000 feature problem, EuroSys, pp.47-60, 2011. ,
Recommending code changes for automatic backporting of Linux device drivers, ICSME (2016), pp.222-232 ,
Automatically finding patches using genetic programming, ICSE, pp.364-374, 2009. ,
AURA: a hybrid approach to identify framework evolution, pp.325-334, 2010. ,