3. Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling, also at @FormaliSEconf, joint work with Olivier Zeyen and @maxcordy (@SnT_uni_lu ) and @acherm (@DiverSE_inria )
1. FairPipes: Data Mutation Pipelines for Machine Learning Fairness at the conference on Automation on Software Test (@ASTConference ), joint work with Camille Molinier (@ecoleESIR ) and @pleupi22 (@DiverSE_inria )
Happy to host the #MBDO team @andwor @bcombemale @jmjezequel @bernhard_rumpe @JudithMichael_ discussing #ModelBased #DevOps and #DigitalTwins at @RWTH. Clearly, visiting the Christmas market in #Aachen is mandatory! Details: mbdo.github.io funded by @dfg_public and ANR
"Testing your DSLs in Langium" by @DiverSE_inria dev.to/diverse_resear… cc @TypeFox_io
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 @bcombemale @barais @irisa_lab @Inria_Rennes @DiverSE_inria
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_inria @irisa_lab
Great talk by @bcombemale on the “Experience in Specializing a Generic Realization Language for SPL Engineering at Airbus” #modelsconf23 @modelsconf @acherm @barais @jmjezequel @DiverSE_inria
Obviously @DiverSE_inria represented at @modelsconf ^^ not only Stéphanie but some others members are also there =) do not hesitate to show up so that we can know each other ;)
Opening of #modelsconf23 @modelsconf this morning! Happy to attend and physically meet with the modelling community
Opening of #modelsconf23 @modelsconf this morning! Happy to attend and physically meet with the modelling community
Today, I made a presentation in front of @DiverSE_inria members about @kortizart, @Cathaoir1, and @TheGlazeProject ; a lot of discussions in the group; extremely interesting =)
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… @acherm
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!
"End-user Programming of Flappy Bird with ChatGPT: A Reality Check" by @DiverSE_inria. Internship of Margaux Millour from @INSA_Rennes dev.to/diverse_resear…
Always nice to see our team involved in such kind of national events and be able to meet our current and future colleagues
#ejcp23 is over for @DiverSE_inria (material available: github.com/templep/EJCP20…) Thanks again @l_gonnord for the organization and the very nice time; lots of encounters, the student were fun and interesting/interested =) Very nice first experience from my side; super happy ^^
github.com
GitHub - templep/EJCP2023: a repo for material used at EJCP 2023 in Valence (July 2023)
a repo for material used at EJCP 2023 in Valence (July 2023) - templep/EJCP2023
Olivier Barais @DiverSE_inria on stage talking about correctexam.github.io and the challenge of mastering the attack surface of modern software systems #SciencesDuLogiciel
Research retreat with @DiverSE_inria closed to #MontSaintMichel in #Britany of course
We had a #SIGBOVIK session last night with @DiverSE_inria. Lots of fun! One paper I like and I blogged is about the longest chess game ever (?), one masterpiece of the incredible @tom7 blog.mathieuacher.com/LongestChessGa… youtube.com/watch?v=XhnxuW…
youtube.com
YouTube
Longest chess game ever?
#ejcp23 Jour 3 reproductibilité de la Science par nos amis rennais de @DiverSE_inria cc @acherm @GdrGPL
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…
United States 趨勢
- 1. Expedition 33 27.6K posts
- 2. GOTY 18K posts
- 3. Sonic 3 6,802 posts
- 4. Moana 25.1K posts
- 5. #TheGameAwards 31.6K posts
- 6. Zelda 51.9K posts
- 7. Cher 19.4K posts
- 8. Comey 25.2K posts
- 9. FEMA 5,862 posts
- 10. Clair Obscur 17.7K posts
- 11. Cruz 48.1K posts
- 12. #RestoreTheSnyderVerse 34.1K posts
- 13. Hades 2 13.6K posts
- 14. Silksong 34.4K posts
- 15. Rex Ryan N/A
- 16. Split Fiction 4,558 posts
- 17. Donkey Kong 11K posts
- 18. David Richardson 2,051 posts
- 19. Avowed 1,849 posts
- 20. Tyrod 3,262 posts
Something went wrong.
Something went wrong.