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.
Inria International Partners
Informal International Partners
The CAMUS team maintains regular contacts with the following entities: