An ATER position is available at the Institut Polytechnique of Bordeaux. Sphere is one of the potential welcoming team. Contact us if you are interrested.
Delphine Demange (Room Ada Lovelace, A29, 13h) will be presenting her work about A formally veriﬁed SSA-based middle-end – Static Single Assignment meets CompCert.
Amine Raji has joined Sphere as a post-doc researcher. He will presenting his PhD work tomorrow at 9h30 in room 178.
The Sphere group is proud to particpate to three research proposals.
All those proposals deal with Software Engineering and address issues of artefact evolution.
We hope that they will be funded (response in June).
Tim Sheard, Professor at the Portland University, presented his work about Mixing logic and functional programming styles at the GTGL.
For the last working week of December, we had the pleasure to receive the visit of Andy Kellens, from the VUB university. Together, we worked on version aware source code analysis.
Young-Joo Moon presented her work on stochastic models for quality of service of components connectors.
Thanks to an Egide funding, the Sphere team is visiting the team of Tom Mens at the university of Mons.
We announce the first session of the working group “software engineering” at LaBRI. For this first session, Veronica Uquillas will present a part of her thesis work. It will take place at LaBRI, room 178, Friday, the 14th of October at 10.00 AM.
TITLE: Supporting change analysis and integration with Torch and Ring
Software developers working on non-trivial systems frequently need to integrate contributions originating from various sources.
This task of integrating changes is nowadays performed mostly manual: developers need to study a submitted patch, assess its impact and dependencies on the system and integrate the actual source code.
Especially in the context of multiple, individually evolving branches, applying a patch – that was not necessary developed in the same branch – can be a daunting task.
In my work, I focus on the investigation and development of tools that support developers in understanding the nature and impact of changes.
In this talk we focus on two of the artifacts developed during my research.
First, we discuss Torch, which is an extension to the Pharo Smalltalk environment that offers developers – by means of visualizations – proper support for understanding the structure and scope of changes.
Second, we take a look at Ring, our ongoing work on the representation of source code and changes, both from the perspective of individual snapshots as well as the history of a software system.
We are proud to announce that the VPraxis tutorial is now avalaible here.
Don’t hesitate to create a History of your project and query your development.