Section: Partnerships and Cooperations
International Initiatives
Inria Associate Teams
ANCOME
International Partner (Institution - Laboratory - Researcher):
This associate team focuses on developing original methods for the analysis of programs memory behavior, in particular in the context of applications using dynamic memory allocation. The proposed approaches consist in analyzing and modeling the runtime behavior, where extracted properties are then verified thanks to static analysis processes. Thus pure static approaches limits will be overpassed. Further, the case of multi-threaded applications run on multi-core architectures will be studied in order to elaborate and extend our analysis techniques and to extract properties specific to this context. The issues are mainly concerned with the conception of real-time applications using dynamic memory allocation.
Participation In International Programs
The collaboration between the LaFhis team of the University of Buenos Aires and the CAMUS team has also been supported by the CNRS-MINCyt project QUATRIX since 2011.
The CAMUS team is associated to the CNRS-CONICET Associated International Laboratory France-Argentina INFINIS (INformatique Fondamentale, logIque, laNgages, vérIfication et Systèmes) inaugurated in December 2011.