ATER position at Institut Polytechnique of Bordeaux

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.

Announce

A new session of the Software Engineering working group

Delphine Demange (Room Ada Lovelace, A29, 13h) will be presenting her work about A formally verified SSA-based middle-end – Static Single Assignment meets CompCert.

Announce

A new Sphere member

Amine Raji has joined Sphere as a post-doc researcher. He will presenting his PhD work tomorrow at 9h30 in room 178.

Announce ,

ANR

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).

Announce

Presentation of Tim Sheard @ GTGL

Tim Sheard, Professor at the Portland University, presented his work about Mixing logic and functional programming styles at the GTGL.

Announce

Andy Kellens visit

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.

Announce

New session of the working group on software engineering

Young-Joo Moon presented her work on stochastic models for quality of service of components connectors.

Announce

Sphere is visiting Tom Mens

Thanks to an Egide funding, the Sphere team is visiting the team of Tom Mens at the university of Mons.

Announce

First Session Of The Software Engineering Working Group

Hi everyone,

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

ABSTRACT:
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.

Announce , ,

VPraxis Tutorial

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.

Announce