Third CORTEVA meeting

Posted on Thu 20 June 2019

The third meeting of the consortium has taken place on the 11 and 12 of june 2019 in Toulouse, at the ONERA's premises.

In this meeting, we discussed the state of the project.

  • F. Fort (CRIStAL) presented recent work on the synchronous language Prelude.

  • L. Havet (RTaW) described progress on …


Continue reading

Best paper at VMCAI

Posted on Fri 01 February 2019

Our paper "Static Analysis Of Binary Code With Memory Indirections Using Polyhedra." (hal) has received the best paper award at VMCAI.

In this paper we propose a new approach to compute loop bounds using abstract interpretation based on polyhedra. This research has been carried out in the context of the …


Continue reading

VMCAI paper presentation in January 2019

Posted on Fri 30 November 2018

We will present a paper entitled "Static Analysis Of Binary Code With Memory Indirections Using Polyhedra." at VMCAI'2019.


Continue reading

New reseach member joined in October 2018

Posted on Mon 15 October 2018

A new research member, Frédéric Fort, joined in October 2018. He will work on adaptive real-time systems with Prelude (mainly on WP1).


Continue reading

Second CORTEVA meeting

Posted on Mon 09 July 2018

The second meeting of the consortium has taken place on the 9th of july 2018 in Toulouse, at the ONERA's premises.

In this meeting, we first presented recent works by the partners directly related to CORTEVA:

  • F. Fort, J. Forget and G. Lipari (CRIStAL) presented several topics on code generation …


Continue reading

New reseach member joined in Juin 2018

Posted on Wed 20 June 2018

A new research member, Jordy Ruiz, joined in Juin 2018. He will work on polyhedral domain abstract interpretation, in the context of WCET computation (WP2).


Continue reading

Kick-off meeting held in Lille on 14-15 January 2018

Posted on Sat 20 January 2018

The CORTEVA projet has been launched during the kick-off meeting that was held in Lille from 14 to 15 of January 2018.

During the meeting, the partners discussed the main scientific challenges of the project, and we agreed on a roadmap towards the projet objectives.

We discussed the requirements of …


Continue reading