Students
I was/am supervising or co-advising the following students:- Juliana Alves Pereira (2018-2020, postdoc, ANR VaryVary): machine learning; variability
- Hugo Martin (2018-2021, PhD student, ANR VaryVary, director (co-advisor Jean-Marc Jezequel): machine learning; variability
- Quentin Plazar (2015-2018, PhD student, ANR SOPRANO, co-advisor with Arnaud Gotlieb and Sebastien Bardin): decision procedures and solvers; constraint programming; SMT
- Paul Temple (2015-2018, PhD student, MESR, co-advisor with Jean-Marc Jezequel): video and image processing; software testing; variability. Now postdoc in Namur, Belgium
- Sana Ben Nasr (2013-2016, PhD student, CONNEXION project, co-advisor with Benoit Baudry): variability management; regulatory requirements. Now Research engineer at ENSTA, France
- Guillaume Becan (2012-2016, Master and PhD student, MESR, co-advisor with B. Baudry): reverse engineering variability. Now CTO of Mediego
- Jin Hyun Kim (2014-2016, SAD Britany region, postdoc, co-advisor with Axel Legay): product lines; formal analysis. Now researcher at University of Pennsylvania, USA
- Paul Le Gall (2015-2016, Master student (research oriented)), co-advisor with Benoit Combemale): metamorphic domain-specific languages
- Bruno Merciol (2015-2016, Master student (research oriented)): large-scale analysis of chess games
- Mauricio Alferez (2012-2014, MOTIV project, postdoc, co-advisor with Benoit Baudry): synthesis of video variants; variability modeling. Now Researcher at University of Luxembourg
- Jose Galindo (2013-2016, MOTIV project, PhD and postdoc): synthesis of video variants; automated reasoning. Now Assistant Professor at University of Sevilla, Spain
- Bosco Filho (2012-2016, VaryMDE/Clarity project, PhD and postdoc): model-based product lines. Now Professor at the Federal University of Ceara, Brazil
- Hugo Vallee (2015, MIAGE internship): OpenCompare with editors and visualisations in JavaScript, Chrome/Firefox extensions
- Stephane Mangin (2015, MIAGE internship): OpenCompare with importers/exporters, bi-synchronization with Wikipedia, and mining
- Francois Esnault (2015, MIAGE internship): large-scale analysis of chess games with chess engines
- Marianela Ciolfi (2013, Inria internship, co-advisor with Arnaud Blouin): web configurators and product lines. Now PhD in CHI
- Eric Manzi (2014, MIT, Inria internship, advisor): chess engines
- Geoffrey Alexandre (2014, MIAGE internship, advisor): FAMILIAR; web IDE
- Ji Young Park (2014, MIAGE internship, advisor): 3D printing and variability
Projects
I was/am involved in French or European projects:- VaryVary: scientific investigator of ANR JCJC project about software variability and statistical machine learning
- SOPRANO: ANR project about satisfiability modulo theories and constraint programming solvers
- MOTIV: synthesis of video variants; variability-based approach for testing vision algorithms; in collaboration with DGA, Bertin, and InPixal
- MERGE ITEA2 (European project): safety, security, and variability for system engineering
- VaryMDE: a bilateral collaboration between Thales and Inria around variability and model-driven engineering
Reviewing
I am spending a significant amount of time in reviewing for journals/conferences and serving in program committees.
Journals
(by default for journals: full reviewer)
- TSE : IEEE Transactions on Software Engineering
- ACM Computing Surveys
- IEEE Software
- IST : Information and Software Technology
- SCP : Science of Computer Programming
- ASE : Automated Software Engineering: An International Journal
- JAISE : Journal of Ambient Intelligence and Smart Environments
- JSS : Journal of Software and Systems
- CBM : Journal in Computers in Biology and Medicine
- SoSyM : Software and Systems Modeling
- STTT : International Journal on Software Tools for Technology Transfer
Conferences and Workshops
- SPLC'19 : 23rd International Software Product Line Conference (program committee)
- VaMoS'19 : 13th International Workshop on Variability Modelling of Software-intensive Systems (program committee)
- ASE'18 : 33rd IEEE/ACM International Conference on Automated Software Engineering (program committee)
- ICSE'18 (NIER) : 40th International Conference on Software Engineering (program committee)
- SPLC'18 : 22th International Software Product Line Conference (program committee)
- ICSR'18 : 17th International Conference on Software Reuse (program committee)
- SAC'18 (SE) : 33rd ACM Symposium on Applied Computing - Software Engineering (SE) Track (program committee)
- MASES'18 : 1st International Workshop on Machine Learning and Software Engineering in Symbiosis (organizer)
- SPLTea'18 : Third International Workshop on Software Product Line Teaching (co-located with SPLC) (organizer)
- VaMoS'18 : The 12th International Workshop on Variability Modelling of Software-intensive Systems (program committee)
- SPLC'17 : 21th International Software Product Line Conference (program chair)
- VaMoS'17 : The 11th International Workshop on Variability Modelling of Software-intensive Systems (program committee)
- SAC'17 (SE) : 32th ACM Symposium on Applied Computing - Software Engineering (SE) Track (program committee)
- MODELS'16 : 19th International Conference on Model Driven Engineering Languages and Systems (social media chair)
- SPLC'16 : 20th International Software Product Line Conference (program committee)
- SAC'16 (SE) : 31th ACM Symposium on Applied Computing - Software Engineering (SE) Track (program committee)
- SPLC'15 : 19th International Software Product Line Conference (program committee)
- EduSymp'15 : Educators Symposium @ Model Driven Engineering Languages and Systems (program committee)
- SEAA'15 : Euromicro Conference series on Software Engineering and Advanced Applications (program committee)
- SAC'15 (SE) : 30th ACM Symposium on Applied Computing - Software Engineering (SE) Track (program committee)
- ICSE'15 (NIER) : 37th International Conference on Software Engineering - New Ideas and Emerging Results (NIER) Track (program committee)
- ICSE'14 (NIER) : 36th International Conference on Software Engineering - New Ideas and Emerging Results (NIER) Track (program committee)
- ICSE'14 (SEIP) : 36th International Conference on Software Engineering - Software Engineering In Practice (SEIP) Track (program committee)
- SPLC'14 : 18th International Software Product Line Conference (program committee)
- SPLC'14 : 18th International Software Product Line Conference (publicity co-chair)
- MODELS'14 : ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (sub-reviewer)
- SEAA'14 : Euromicro Conference series on Software Engineering and Advanced Applications (program committee)
- MFCS'14 : 39th International Symposium on Mathematical Foundations of Computer Science (sub-reviewer)
- ICSM'13 (Tool track) : 29th IEEE International Conference on Software Maintenance (program committee)
- ECMFA'13 : European Conference on Modelling Foundations and Applications (sub-reviewer)
- ICQS'13 : 13th International Conference on Quality Software (sub-reviewer)
- MODELS'13 : 16th International Conference on Model Driven Engineering Languages and Systems (sub-reviewer)
- MODELS'12 : 15th International Conference on Model Driven Engineering Languages and Systems (sub-reviewer)
- ECMFA'13 : European Conference on Modelling Foundations and Applications (sub-reviewer)
- QSIC'13 : 13th International Conference on Quality Software (sub-reviewer)
- VaMoS'16 : The 10th International Workshop on Variability Modelling of Software-intensive Systems (program committee)
- A-MOST'15 : 11th Workshop on Advances in Model Based Testing (at ICST) (program committee)
- GraMSec'15 : Second International Workshop on Graphical Models for Security (program committee)
- SPLTea'15 : Second International Workshop on Software Product Line Teaching (co-located with SPLC) (organizer)
- SPLTea'14 : First International Workshop on Software Product Line Teaching (co-located with SPLC) (organizer)
- VaMoS'15 : The 9th International Workshop on Variability Modelling of Software-intensive Systems (sub-reviewer)
- VaMoS'14 : The 8th International Workshop on Variability Modelling of Software-intensive Systems (sub-reviewer)
- VaMoS'13 : The 7th International Workshop on Variability Modelling of Software-intensive Systems (sub-reviewer)
- FOSD'14 : Sixth International Workshop on Feature-Oriented Software Development (at GPCE) (program committee)
- FOSD'13 : Fifth International Workshop on Feature-Oriented Software Development (at ASE) (program committee)
- REVE'13 : 1st International Workshop on Reverse Variability Engineering (at CSMR) (program committee)
- REVE'14 : 2nd International Workshop on Reverse Variability Engineering (at SPLC) (program committee)
- JLDP'14 : Journee Lignes de Produits (Luxembourg) (program committee)
- JLDP'13 : Journee Lignes de Produits (Sorbonne, University of Paris 1) (organizer)