All the news

Automatic Generation of Local-First Collaborative Modeling Languages The ACM SIGSOFT Distinguished Paper Award (presented at the MODELS 2026 conference in Málaga, Spain) is a true recognition of the research conducted jointly by the DiverSE team and CEA LIST. The paper titled “ Automatic Generation of Local-First Collaborative Modeling Languages” proposes a generic solution for the automatic [..]

Congratulations to Sebastien Bonduelle, a Ph.D. student in the Épicure team, who received the Radhia Cousot Young Researcher Best Paper Award at the SAS'26 (Static Analysis Symposium) conference for his paper titled “Determinism Analysis and its Application to Evaluation Order Independence” (co-authored with Benoît Montagu and Thomas Jensen). This work falls within the scope of static analysis of [..]

Congratulations to Paul Temple on winning the Most Influential Paper award at the VARIABILITY international conference, and to his co-authors (the DIVERSE and ARTISHAU teams) Congratulations to Paul Temple (Associate Professor, University of Rennes), José Angel Galindo (Professor, University of Seville), Mathieu Acher (Professor, INSA Rennes), Jean-Marc Jézéquel (Professor, University of Rennes) [..]

Congratulations to Frédéric Besson (researcher at Inria), Sandrine Blazy (professor at the Université de Rennes), and Clément Chavanon (PhD student at Inria), members of the EPICURE team, who received the Best Paper Award at the 27th edition of the conference Languages, Compilers and Tools for Embedded Systems (ACM LCTES) Their paper, titled « Towards Verifiable System Code using a DSL Compiled to [..]

This June’s edition of “Emergences” focuses on - more ethical AI for code generation using the CodeCommons infrastructure (DIVERSE Research Team) - modelling the movement of dense crowds (VIRTUS Research Team)

Congratulations to Georges Aaron Randrianaina, who has been awarded the GDR SciLog “Software Sciences” 2026 Thesis Prize for his thesis entitled "Incremental, reproducible builds of software variants", supervised by Mathieu Acher (professor INSA Rennes), Olivier Zendra (researcher Inria) and Djamel Eddine Khelladi (researcher CNRS) Georges Aaron Randrianaina completed his PhD within the Diverse [..]

Congratulations to Jean-Marc Jézéquel on being elected a member of the Academia Europaea. A professor at the Université de Rennes, President of Informatics Europe, recipient of the Silver Medal from the CNRS, former Director of IRISA, and member of the DIVERSE team, Jean-Marc Jézéquel is joining one of Europe’s most prestigious scholarly academies, which brings together internationally renowned [..]

IRISA is proud to host the POPL 2026 international conference, dedicated to programming languages and systems, at the Couvent des Jacobins in Rennes. Led by Sandrine Brazy, Professor at the University of Rennes and member of the Epicure research team, POP is an annual symposium dedicated to the principles of programming languages. The conference which begins on Sunday 11 January and runs until [..]