Talks
The team has a weekly seminar, the DiverSe Coffee in which our members and often invited speakers share their latest work. In this page you will find a list of talks we have given in these seminars, workshops and conferences.
Modular and distributed IDE
Fabien Coulon
DiverSE Coffee - 08/10/2020
Fabien presented his last paper accepted at SLE 2020. This paper present his work on distributing IDE services localy and on servers in a smart way.
DetailsPresentation of TrustCom and APSEC accepted papers
Nan Zhang Messe
DiverSE Coffee - 01/10/2020
Nan briefly presented her papers about modeling of asset vulnerabilities and how mine information in the CAPEC classification to identify vulnerabilities at design time.
DetailsGCP MODEL, an inferred formal model-driven specification of Google Cloud Platform (GCP)
Stéphanie Challita
DiverSE Coffee - 24/09/2020
Stéphanie presented her work on inferring formal model-driven specifications for the Google Cloud platform from its documentation.
DetailsDomain-Specific Language Protocols
Pierre Jeanjean
DiverSE Coffee - 17/09/2020
Pierre introduced, in this talk, his vision on domain-specific language protocols.
DetailsEvolution of VaryLaTeX
Corentin Ollivier
DiverSE Coffee - 10/09/2020
Corentin showed us the results of his internship on VaryLaTeX.
DetailsThe process of applying to a lecturer position in France
Paul Temple
DiverSE Coffee - 04/06/2020
DetailsTowards Programming the Chess Puzzle Space
Mathieu Acher
DiverSE Coffee - 30/04/2020
Demo and presentation about resolving Chess puzzle with a notebook.
DetailsLoop Aggregation for Approximate Scientific Computing
June Sallou
DiverSE Coffee - 16/04/2020
Presentation of the "Loop Aggregation for Approximate Scientific Computing" paper published in ICCS'20 Proceedings.
DetailsGoal Modeling for Sustainability and Human Values
Gunter Mussbacher
DiverSE Coffee - 12/03/2020
Presentation of Pr. Gunter Mussbacher's research work and in particular on the topic of "Goal Modeling for Sustainability and Human Values".
DetailsInternships
Gwendal Jouneaux, Quentin Le Dilavrec
DiverSE Coffee - 05/03/2020
Presentation of Gwendal Jouneaux and Quentin Le Dilavrec
DetailsOn modularity and performance of External Domain-Specific Language implementations
Manuel Leduc
PhD. Defense - 18/12/2019
DetailsDynamic program analysis for suggesting test improvements to developers
Oscar Luis Vera-Pérez
PhD. Defense - 17/12/2019
DetailsModélisation et évaluation de la sécurité des parcours d’authentification
Youssou Ndiaye
PhD. Defense - 10/12/2019
DetailsDSLs for game development and AI for video game testing
[Emmanuel Chebi Hugo Martin]
DiverSE Coffee - 28/11/2019
Continuation of the discussion we had two weeks ago about video games and SE, Emmanuel and Hugo will present some intriguing state-of-the-art approaches in this direction.
DetailsTowards a Modelling Framework with Temporal and Uncertain Data for Adaptive Systems
Ludovic Mouline
DiverSE Coffee - 21/11/2019
Rehearsal of Ludovic's defense in front of the team.
DetailsTowards a Modelling Framework with Temporal and Uncertain Data for Adaptive Systems
Ludovic Mouline
PhD. Defense - 21/11/2019
DetailsA Collaborative Strategy for Mitigating Tracking through Browser Fingerprinting
Alejandro Gómez-Boix
DiverSE Coffee - 07/11/2019
DetailsLearning the Linux Kernel Configuration Space: Results and Challenges
Mathieu Acher
DiverSE Coffee - 24/10/2019
Presentation of Mathieu's talk at Open Source Summit 2019
DetailsFrom DSL specification to interactive computer programming environment
Pierre Jeanjean
DiverSE Coffee - 17/10/2019
Pierre's work to be presented at the ACM SIGPLAN International Conference on Software Language Engineering , SLE 2019.
DetailsNews and demos
Olivier Barais
DiverSE Coffee - 10/10/2019
A summary of the latest news of the team.
DetailsPresentation & Demo of Packer/Vagrant
[Emmanuel Chebi Pierre Jeanjean]
DiverSE Coffee - 26/09/2019
Pierre will give a demo on Packer and Vagrant for virtual machines and Emmanuel (new PhD student) will do a short presentation to introduce himself.
DetailsCuckoo: Opportunistic MapReduce on Ephemeral and Heterogeneous Cloud Resources
Jean-Emile Dartois
DiverSE Coffee - 19/09/2019
DetailsTruffle-Based Systematic Optimization of DSL Interpreters
Manuel Leduc
DiverSE Coffee - 13/06/2019
DetailsUsing Quantile Regression for Reclaiming Unused Cloud Resources while achieving SLA
Jean Emile Dartois
DiverSE Coffee - 06/12/2018
DetailsEfficient use of local energy, An activity oriented modeling to guide Demand Side Management
Alexandre Rio
DiverSE Coffee - 15/11/2018
DetailsShape-Diverse DSLs: Languages without Borders (SLE'18)
Fabien Coulon
DiverSE Coffee - 25/10/2018
DetailsDiverSE Coffee: Newcomers, curriculum and background
[Alif Akbar Pranata June Sallou]
DiverSE Coffee - 04/10/2018
DetailsA formal approach for the verification of software composition
Mohamed GRAIET
DiverSE Coffee - 13/09/2018
DetailsAnalysis of trade-offs between precision and energy consumption in mobile app development
Enzo Menegaldo
DiverSE Coffee - 06/09/2018
Collateral resource consumption on mobile devices is a well-known issue that mobile developers are facing
DetailsA Temporal Model for Interactive Diagnosis of Adaptive Systems
Ludovic Mouline
DiverSE Coffee - 30/08/2018
The evolving complexity of adaptive systems impairs our ability to deliver anomaly-free solutions. Fixing these systems require a deep understanding on the reasons behind decisions which led to faulty or suboptimal system states. Work to be presented at 2018 IEEE International Conference on Autonomic Computing (ICAC)
Details