Section: Partnerships and Cooperations

International Initiatives

INRIA Associate Teams

  • Title: Memory and applications memory behavior

  • INRIA principal investigator: Philippe Clauss

  • International Partner:

    • Institution: Universidad de Buenos Aires (Argentina)

    • Laboratory: Departamento de Computacion, Facultad de Ciencias Exactas y Naturales

  • 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 consists of analyzing and modeling the runtime behavior, where extracted properties are then verified thanks to static analysis processes. Thus pure static approaches limits are overpassed. Further, the case of multi-threaded applications run on multi-core architectures is 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

Rachid Seghir, researcher and teacher at the University of Batna, Algeria, works in close collaboration with Vincent Loechner. He is the co-author of the ZPolyTrans software and of a forthcoming paper in the journal ACM Transactions on Architecture and Code Optimization [13] .

Benoît Meister, Managing Engineer at Reservoir Labs, New York, USA, has collaborated with Vincent Loechner and Rachid Seghir on a forthcoming publication [13] .

Jean Christophe Beyler, Senior HPC Engineer at Intel and in the International Exascale project, University of Versailles, France, is experimenting energy saving strategies using the VMAD framework of the CAMUS team.

Sven Verdoolaege, researcher at the Leiden Institute of Advanced Computer Science, Leiden, The Netherlands, has collaborated with Philippe Clauss, Vincent Loechner and Diego Garbervetsky in the writing of a chapter of the book entitled Energy-Aware Memory Management for Embedded Multimedia Systems: A Computer-Aided Approach [21] .

Visits of International Scientists

  • Sergio Yovine (from Jun 6 2011 until Jun 12 2011)

    • Institution: Universidad de Buenos Aires (Argentina), EA INRIA Ancome

  • Diego Garbervetsky (from Apr 1 2011 until Apr 10 2011 and from Aug 1 2011 until Sept 2 2011)

    • Institution: Universidad de Buenos Aires (Argentina), EA INRIA Ancome

  • Luis Mastrangelo (from Mar 2011 until Aug 2011)

    • Subject: A Virtual Machine for Automatic Program Parallelization

    • Institution: Universidad de Buenos Aires (Argentina)

  • Bruno Cuervo Parrino (from May 2011 until Oct 2011)

    • Subject: Formalizing a new validation mechasnism under assumptions for speculative parallelism

    • Institution: Universidad de Buenos Aires (Argentina)

  • Jose Cacherosky (from Jul 2011 until Dec 2011)

    • Subject: Dynamic dependence profiling for Java

    • Institution: Universidad de Buenos Aires (Argentina)

Participation In International Programs

The CAMUS team is associated to the CNRS-CONICET Associated International Laboratory France-Argentina INFINIS (https://dri-dae.cnrs-dir.fr/spip.php?article3009 ) (INformatique Fondamentale, logIque, laNgages, vérIfication et Systèmes) inaugurated in December 2011.