We are looking for a postdoc in our lab in Rennes, France 🎉 If you are into #reproducibility and are keen to understand #analyticalVaribility using #softwareEngineering see below. RTs appreciated #JobAlert 😊 Application deadline: June 18 recrutement.inria.fr/public/classic…

Olivier Barais DiverSE Team on stage talking about correctexam.github.io and the challenge of mastering the attack surface of modern software systems #SciencesDuLogiciel

Research retreat with DiverSE Team closed to #MontSaintMichel in #Britany of course

We had a #SIGBOVIK session last night with DiverSE Team. Lots of fun! One paper I like and I blogged is about the longest chess game ever (?), one masterpiece of the incredible Tom 7 blog.mathieuacher.com/LongestChessGa… youtube.com/watch?v=XhnxuW…

#ejcp23 Jour 3 reproductibilité de la Science par nos amis rennais de DiverSE Team cc Mathieu Acher GdrGPL

Always nice to see our team involved in such kind of national events and be able to meet our current and future colleagues

"End-user Programming of Flappy Bird with ChatGPT: A Reality Check" by DiverSE Team. Internship of Margaux Millour from INSA Rennes dev.to/diverse_resear…

Models'23 Conference is one week away! You cannot miss twelve workshops, eight tutorials, three keynotes, presentations from world-renowned experts from industry and academia, and much more. Register (eur.cvent.me/Llgl5) for remote attendance at a special registration fee!

Did you know we had an intern last summer trying to code a flappy bird game with ChatGPT? Turned out it is not that easy to get a running game... Definitely not as easy as simply typing things in the prompt, you need some expertise! Check github.com/diverse-projec… Mathieu Acher

Today, I made a presentation in front of DiverSE Team members about Karla Ortiz, @Cathaoir1, and The Glaze Project, at UChicago ; a lot of discussions in the group; extremely interesting =)

The conference is starting!

Opening of #modelsconf23 MODELS Conference this morning! Happy to attend and physically meet with the modelling community

Obviously DiverSE Team represented at MODELS Conference ^^ not only Stéphanie but some others members are also there =) do not hesitate to show up so that we can know each other ;)

Great talk by Benoit Combemale on the “Experience in Specializing a Generic Realization Language for SPL Engineering at Airbus” #modelsconf23 MODELS Conference Mathieu Acher S. N. Barai JM Jezequel DiverSE Team

Stéphanie Challita MODELS Conference Mathieu Acher S. N. Barai JM Jezequel DiverSE Team It was a great journey working with Airbus, leading to scientific contributions and concrete applications! Thanks to all members of the OneWay project and specifically to #MichelFouinneteau and #DamienFoures for their smart management of the project! cc DiverSE Team IRISA

"Testing your DSLs in Langium" by DiverSE Team dev.to/diverse_resear… cc TypeFox

Today, my 1st PhD student, Anne Bumiller, brilliantly defended her PhD entitled: “Beyond Risk Scores: Context-Aware Adaptive Authentication”. I’m so proud and happy to have worked with her, & with the PhD co-directors Benoit Combemale S. N. Barai IRISA Centre Inria de l'Université de Rennes DiverSE Team

Happy to host the #MBDO team @andwor Benoit Combemale JM Jezequel Bernhard Rumpe Judith Michael discussing #ModelBased #DevOps and #DigitalTwins at RWTH Aachen. Clearly, visiting the Christmas market in #Aachen is mandatory! Details: mbdo.github.io funded by DFG public | @[email protected] and ANR

1. FairPipes: Data Mutation Pipelines for Machine Learning Fairness at the conference on Automation on Software Test (ASTConference ), joint work with Camille Molinier (ESIR ) and Paul Temple (DiverSE Team )

3. Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling, also at FormaliSE, joint work with Olivier Zeyen and Maxime Cordy (SnT ) and Mathieu Acher (DiverSE Team )