#models24 — Public Fediverse posts

Hey Software Modeling people in fediverse. You can now follow the SoSyM journal 's bsky account here. Just search for @sosym.org

#sosym #models24

Very proud of Josselin Enet winning the ACM Graduate Student Research Competition at #MODELS24! A well deserved prize to conclude his great PhD work on building DSL debuggers using language protocols.

Ok, I cannot not comment on this. Thomas Zimmerman's keynote at #models24 is literally titled "The Lord of the Models: The Fellowship of Trust in AI" and he talks about the forging of powerful AI artifacts but overlooks that in the reference he is making THE RING IS EVIL AND MUST BE DESTROYED.

Now that I'm going to miss (again) half of the #models24 conference, it's time to repeat my request for shorter conferences https://jordicabot.com/my-request-for-shorter-conferences/

Presented our work on combinatorial testing concretization at #modevva24 ! Paper can be found here: https://hal.science/hal-04672573 #models24

The weather is amazing, and the #jku campus is well located, with good ambience, work inducing. So I took a short break from #models24 to address a few urgent issues like posting to Fediverse.

#MLE24 is starting nicely at #MODELS24 ! Code generation, import statements, language design... A great program for software languages nerds :)

#MLE24 is starting nicely at #MODELS24 ! Code generation, import statements, language design... A great program for software languages nerds :)

#MLE24 is starting nicely at #MODELS24 ! Code generation, import statements, language design... A great program for software languages nerds :)

Abstraction is central for managing the complexity of modern software, across the deductive-inductive divide created by the integration of "traditional" #SoftwareEngineering and #AI.

Together with Nelly Bencomo, @JordiCabot, Marsha Chechik, Betty H.C. Cheng, Benoit Combemale, Steffen Zschaler, we endeavoured to revitalise the discussion of abstraction in the post-ML-revolution world.
https://arxiv.org/abs/2408.14074

Join us for a Birds-of-Feathers Session at #models24: https://conf.researchr.org/track/models-2024/models-2024-birds-of-a-feather

Arrived in Linz! *All* my trains were delayed, but I miraculously I only missed my last connection. Happy to have successfully not taken the plane, and arrived not very late :). Now some rest before diving into #MODELS24 ...