Section: Partnerships and Cooperations

International Initiatives

Inria Associate Teams

ANCOME

• Title: Memory and applications memory behavior

• Inria principal investigator: Philippe Clauss

• International Partner (Institution - Laboratory - Researcher):

  • University of Buenos Aires (Argentina) - Departamento de Computación, Facultad de Ciencias Exactas y Naturales - Philippe Clauss

• Duration: 2011 - 2013

• See also: http://lafhis.dc.uba.ar/wiki/index.php/EA-Ancome

• 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:

• Reservoir Labs, New York, NY, USA

• Intel, Santa Clara, CA, USA

• UPMARC, University of Uppsala, Sweden

• University of Batna, Algeria

• University El Manar, Tunis, Tunisia

• Ohio State University, Colombus, USA

• Louisiana State University, Baton Rouge, USA

• Indian Institute of Science (IIIS) Bangalore, India

• University of Delaware, DE, USA