Denis You don't get older on the Web ! Me when the Web was invented.

UNSA CNRS INRIA


NEW: Job opportunities: Engineers and PostDocs

Ph.D. / Thèse / Doctorat (From Sept. 2007):
INRIA Efficient, High-Level OO SPMD for Numerical Applications on Grids, MPPs and SMPs


A Theory of Distributed Objects

Denis Caromel       
http://www.inria.fr/oasis/Denis.Caromel/

OASIS    joint project
I3S CNRS - Univ. of Nice - INRIA Sophia Antipolis
membre IUF, Institut universitaire de France

Research Internships 2006 (Sujets de MASTER Recherche):
INRIA Immediate Services for the GRID
INRIA Hierarchical Deployment for the GRID
INRIA Spécifications comportementales de composants distribués
INRIA Streaming d'Objets pour les applications Réparties et Mobiles
INRIA Calcul d'Objets Sécurisé
INRIA Distributed Functionnal Object Computations
INRIA Composants Java répartis pour la résolution d'équations Maxwell 3D
INRIA Grid Enabled BLAST (GEB) with Distributed Objects and Components

Research interests   Affiliations   Services   Talks   Papers   PhD students   Teaching   Contact

Research interests:

  • Parallel, Concurrent, and Distributed Object-Oriented Programming, Mobility, Reflection, Grid-computing:
    The Java library for the GRIDs an Open Source project of the ObjectWeb Consortium
    Keywords:
    Programming Model: RMI + JMS + Groups, Mobility, Futures (wait-by-necessity), Remote creation of remote objects, Components Infrastructure: Globus, Jini, LSF, PBS, rsh, ssh, rlogin, XML Deployment Descriptors, P2P

  • Distributed objects in C++:     C++//,   Europa,  
  • Semantics of object-oriented languages, sequential and parallel     Eiffel,   Eiffel//,   Java,   JavaCard,   (also Action incitative INRIA)  
  • Study of transformations, e.g. Eiffel to Eiffel// programs (automatic or semi-automatic parallelizations)
  • Semantics of parallel functional languages:     Sisal

    • Affiliations and Projects:

  • Full Professor   at     University of Nice - Sophia Antipolis (UNSA),,     UFR Sciences,     ``Département Informatique'' (Since 1998)

  • Member of the OASIS team :
    Joint project beetween    I3S - UNSA - CNRS,    and    INRIA, since January 99.

  • Member of the PACOM Team at I3S research laboratory since October 1991.

  • Formerly member of the SLOOP now MASCOTTE team (from 95 to 98) :
    Joint project beetween    I3S - UNSA - CNRS,    and    INRIA
  • Formerly Associate Professor at University of Nice - Sophia Antipolis (UNSA),
    Institut Universitaire de Technologie (IUT) , ``Département Informatique'' (from 91 to 98)

  • Working group on potential standards for parallel C++ programming: EUROPA
  • Responsible of the OPAL: Outils pour la Programmation en Langages d'Acteurs, ( GDR Programmation).
  • Co-organizer of an Inter-GDR action PRO: Parallélisme, Répartition et Objets, (GDR ALP and ARP) (HTML description)
    RECHERCHES EN COURS ET APPLICATIONS, Lille, 25-26 Novembre 1999

  • An RNTL project: ARCAD : Architecture Répartie extensible pour Composants ADaptables

    • Professional activities, University and Department Services:

  • Coordinator for the Département Informatique of the DESS Télécommunications,
    Université de Nice - Sophia Antipolis, Computer Science Option
  • Coordinator for the Distributed Systems options, DEA Réseaux et Systèmes Distribués, Université de Nice - Sophia Antipolis''
  • In charge of International Relationships for the Computer Science Department, IUT (from 96 to 98):
  • Local Coordinator of two successive Tempus projects: DRUM and TEMIS
  • Organization of student internships in foreign countries

  • Conference Chair:
        Java Grande - ISCOPE 2001
  • Program Committee Chair:
        ISCOPE'98
  • Tutorials Chair:
        IPDPS 2001
  • Scientific director of international school:
        CIMPA-UNESCO School on Objects, Distribution, and the Internet
        Universidad de los Andes, Venezuela, January 7th--18th, 2002,     Scientific Program
        CIMPA Page on this school     REGISTER
  • Steering Committee:
        ECOOP (AITO, Association Internationale pour les Technologies Objets)
        Joint ACM Java Grande - ISCOPE Conference
  • Organization:
        ECOOP 2000, Sophia Antipolis and Cannes, France, June 12 - 16, 2000,
        Java for Parallel and Distributed Computing: An IPDPS workshop     2003     2002     2001     2000     1999
        Euro-Par'98 (Session ``Parallel Object-Oriented Programming'')
        ISCOPE'97
  • Editorial Board:
        L'Objet
  • Program Committee:
        CCGrid 2003     CCGrid 2002
        HPDC-12, 2003     HPDC-11, 2002     HPDC-10, 2001
        ASIAN'02
        NOTERE'2000
        ISCOPE'99
        ECOOP'97
        HPCN'1997     HPCN'1996
        RenPar'10     LMO'99
        HPCN'1999
        Java HPC     Agent based HPC
  • Publicity Chair:
        Joint ACM Java Grande - ISCOPE 2002 Conference
  • International working group:
        JavaGrande, Concurrency/Applications Working Group Co-Chair
    •

    Talks:

    A few recent Keynote, Invited, Tutorials Talks

  • Open Source Middleware for the Grid: Distributed Objects and Components in ProActive
    invited Tutorial at Euro-Par 2004
    Tuesday, Aug 31st 2004
    [PDF] [PPT] [PS]
  • Components for Numerical GRIDs
    invited talk at ECCOMAS 2004
    July 24 - 28, 2004
    [PDF] [PPT]
  • SOM: Sequential Object Monitors,
    talk at
    18th European Conference on Object-Oriented Programming (ECOOP),
    Norway, Oslo, 17th June 2004.
    [PDF] [PPT]
  • Objects and Components for Scientific Computing on the GRID,
    keynote talk at
    IV International REUNA Meeting : "Science, Culture and Education on the Research and Development Global Network'',
    ``Mallas Computacionales'', 17 - 20 May, Santiago, Chili.
    [PDF] [PPT]
  • Programming, Composing, Deploying, for the GRID
    invited talk at JAOO
    May 24 - 26, 2004
    [PDF] [PPT]
  • Object-Oriented Middleware and Components for the GRID
    Tutorials at
    IPDPS 2003, Nice Acropolis Convention Center, April 22th 2003,
    Middleware 2003, Rio de Janeiro, June 16th 2003
    [PDF]
  • Object-Oriented Middleware and Components for the GRID
    Tutorials at
    IPDPS 2003, Nice Acropolis Convention Center, April 22th 2003,
    Middleware 2003, Rio de Janeiro, June 16th 2003
    [PDF]
  • Declarative Security for GRID Applications: ProActive
    Séminaire Intech'Sophia:     Sécurité sur Internet: est-ce possible ?
    jeudi 5 juin 2003, [PDF] [PPT]
  • Programming Models for Future Systems vs. MPI
    MPI Programming PANEL at IPDPS 2003,
    Moderator: Al Geist, Members: Denis Caromel, Guang Gao, Bill Gropp, Mitsuhisa Sato),
    Tuesday, 22 April-Saturday, 26 April, 2003, [PDF] [PPT]
  • Objets concurrents, répartis et mobiles
    Lundi 2 juin 2003, Invited Talk at ECOLE JEUNES CHERCHEURS EN PROGRAMMATION
  • Distribution and Mobility: Tools, Formal Semantics, and Properties, The ASP Calculus: Asynchronous Sequential Processes,
    Invited Talk at Univ. Pisa, Italy, October 19th 2001, [PDF] [PDF.gz]
  • Software Components: from Business to Metacomputing Components,
    Invited Talk at ORAP Forum / SpeedUp, October 25- 26th 2001, Lyon, [PDF] [PDF.gz]
  • ProActive: Active Objects, Mobility, and Group Communications for Grid Computing ,
    ProActive General Talk as [PowerPoint] or [Gzip ps Color 6x6 ] or [Gzip ps Black N White 6x6 ]

    • Recent Papers:

    Parallel, Concurrent, Distributed Object-Oriented Programming, Grid:

  • SOM: Sequential Object Monitors
    Denis Caromel, Luis Mateu, Eric Tanter,
    in 18th European Conference on Object-Oriented Programming (ECOOP),
    Norway, Oslo, 14-18 June 2004, Springer Verlag, No 3086, pp. 316-340, Lectures Notes in Computer Science (LNCS),
  • A Parallel Object-Oriented Application for 3D Electromagnetism
    Baduel L., Baude F., Caromel D., Delbé C., Gama N., Kasmi S. E., Lanteri S.,
    in IEEE ACM IPDPS'04, 18th International Parallel and Distributed Processing Symposium April 26-April 30, 2004, Santa Fe, New Mexico.
  • Asynchronous and Deterministic Objects:
    Denis Caromel, Ludovic Henrio, Bernard Serpette,
    POPL'04, Proceedings of the 31st ACM Symposium on Principles of Programming Languages",
    2004, 123--134 bibtex
  • From Distributed Objects to Hierarchical Grid Components
    Francoise Baude and Denis Caromel and Matthieu Morel
    International Symposium on Distributed Objects and Applications (DOA), Catania, Sicily, Italy, 3-7 November 2003. bibtex
  • Hierarchical and Declarative Security for Grid Applications
    Isabelle Attali and Denis Caromel and Arnaud Contes
    International Conference On High Performance Computing, HIPC, Hyderabad, India, December 17-20 2003. bibtex
  • Distributed Objects for Parallel Numerical Applications
    Francoise Baude, Denis Caromel, David Sagnol,
    Mathematical Modelling and Numerical Analysis Modélisation, M2AN, special issue on ``Programming tools for Numerical Analysis'', EDP Sciences, SMAI, vol 36(5), 837-861 2002.
  • Efficient, Flexible and Typed Group Communications for Java
    Laurent Baduel, Francoise Baude, Denis Caromel
    Joint ACM Java Grande - ISCOPE 2002 Conference, Seattle, Washington, November 3-5, 2002.
  • Interactive and Descriptor-based Deployment of Object-Oriented Grid Applications
    F. Baude, D. Caromel, F. Huet, L. Mestre and J. Vayssiere
    pp. 93-102, in HPDC-11, Edinburgh, Scotland, July 2002.
  • Reflections on MOPs, Components, and Java Security
    in European Conference on Object-Oriented Programming, ECOOP'2001, Budapest, Hungary,
    June 18-22, pp 256-274, Springer Verlag No 2072, Lectures Notes in Computer Science (LNCS).
  • Graphical Visualization of Java Objects, Threads, and Locks
    Isabelle Attali, Denis Caromel, and Marjorie Russo,
    IEEE DS Online, Volume 2, Number 1, January 2001. Local and printable copy
  • Communicating Mobile Active Objects in Java
    Francoise Baude and Denis Caromel and Fabrice Huet and Julien Vayssiere
    Proceedings of HPCN Europe 2000. bibtex
  • A Step Toward Automatic Distribution of Java Programs
    Isabelle Attali, Denis Caromel and Romain Guider,
    in FMOODS 2000, Stanford University, September 6-8, 2000,, Kluwer Academic Publishers, pp. 141-161
  • SharedOnRead Optimization in Parallel Object-Oriented Programming
    Caromel D., Noulard E., Sagnol D.,
    pp. 182-193 in ISCOPE'99, San Francisco, December, 1999,, Springer Verlag, Lectures Notes in Computer Science (LNCS), No 1732.
  • Overlapping Communication with Computation in Distributed Object Systems
    Baude F., Caromel D., Furmento N., Sagnol D.,
    pp. 744-753 in High-Performance Computing and Networking, HPCN'99, April 99, Amsterdam, The Netherland, Springer Verlag, LNCS, Lectures Notes in Computer Science, No 1593, 1999.

  • Towards Seamless Computing and Metacomputing in Java
    D. Caromel, W. Klauser, J. Vayssiere,
    pp. 1043--1061 in Concurrency Practice and Experience, September-November 1998, 10(11--13), Editor Geoffrey C. Fox, Published by Wiley & Sons, Ltd.

  • Programmation parallèle et réactive
    D. Caromel, Y. Roudier
    pp. 193-226, in Langages et modèles à objet,
    ``Collection Didactique'', INRIA, 1998.
  • A Java Framework for Seamless Sequential, Multi-threaded, and Distributed Programming
    D. Caromel, J. Vayssiere,
    pp. 141-150, in ACM Workshop ``Java for High-Performance Network Computing'', 1998, February 28--March 1, Stanford University, Palo Alto, California.
  • Draft definition of the EUROPA standard for parallel C++:
    Compressed
  • The C++// System
    D. Caromel, F. Belloncle, Y. Roudier,
    pp. 257-296, in Parallel Programming Using C++, G. Wilson and P. Lu editors, MIT Press 1996 ISBN 0-262-73118-5.
  • Reactive programming in Eiffel//
    D. Caromel, Y. Roudier,
    pp. 125-147, in ``Object Based Parallel and Distributed Computing'', Jean-Pierre Briot and Jean-Marc Geib and Akinori Yonezawa editors, Springer Verlag, Lectures Notes in Computer Science (LNCS), No 1107, 1996.
  • Simulation within a Parallel Object-Oriented Language: The SLOOP System
    J.-C. Bermond, D. Caromel, P. Mussi,
    pp. 218-221, invited session on Object-Oriented Programming, proceedings Joint Conference on Information Sciences (JCIS'95), North Carolina, Sept. 1995.
  • Towards a Method of Object-Oriented Concurrent Programming
    D. Caromel,
    pp. 90-102, in CACM, Communications of the ACM, Volume 36, Number 9, September 1993.
  • ACT: Abstract Control Types for Concurrency
    D. Caromel,
    pp. 195-199, Position Statement for the panel ``How could object-oriented concepts and parallelism cohabit?", in IEEE ICCL'94, International Conference on Computer Languages, Toulouse, France, IEEE Computer Society Press, May 16-19, 1994.
  • Object Based Concurrency: Ten Language Features to Achieve Reuse
    D. Caromel, M. Rebuffel,
    pp. 205-214, in Technology of Object-Oriented Languages and Systems (TOOLS USA'93), August 1993, Santa Barbara.
  • Programming Abstractions for Concurrent Programming
    D. Caromel,
    pp. 245-253, in Technology of Object-Oriented Languages and Systems (TOOLS Pacific'90), Sydney, Australia, November 1990.

    • Semantics related to Object-Oriented languages and parallelism:

  • SmartTools for Java Card
    I. Attali and D. Caromel and C. Courbis and L. Henrio and H. Nilsson
    in Smart Card Research and advanced Applications, pp. 155-174, Editors Josep Domingo-Ferrer, David Chan, Anthony Watson,
    Proceedings of CARDIS'2000, Bristol, UK, Kluwer Academic Publishers, 2000,
  • Formal Properties of the Eiffel// Model
    Attali I., Caromel D., Ehmety S. O.,
    To appear in Parallel and Distributed Objects, HERMES, 1999
  • From a Specification to an Equivalence Proof in Object-Oriented Parallelism
    Attali I., Caromel D., Lippi S.,
    in FMPPTA'99, Formal Methods for Parallel Programming : Theory and Applications,
    April 1999, Springer Verlag, LNCS, Lectures Notes in Computer Science, IPPS'99.

  • About the Automatic Continuations in the Eiffel// Model
    Ehmety S. O., Attali I., Caromel D.,
    in International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA'98, CSREA, July 1998, Las Vegas, USA.
  • A Natural Semantics for Eiffel Dynamic Binding
    Attali I., Caromel D., Ehmety S. O.,
    ACM Transactions on Programming Languages and Systems (TOPLAS), 18 (5) , November 1996.
  • Semantic-based visualization for parallel object-oriented programming
    Attali I., Caromel D., Ehmety S. O., Lippi S.,
    OOPSLA'96 (Object-Oriented Programming: Systems, Languages, and Applications ), ACM Press, Sigplan Notices, Vol. 31, No. 10, San Jose, CA , October 1996.
  • An Operational Semantics for the Eiffel// Language
    Attali I., Caromel D., Ehmety S. O., Lippi S.,
    INRIA Research Report no. 2732, November 1995.
  • A Formal Definition of the Dynamic Semantics of the Eiffel Language
    I. Attali, D. Caromel, M. Oudshoorn,
    Australian Computer Science Conference (ACSC), Brisbane, February 1993.

    • Semantics related to Functional languages and parallelism:

  • Optimizing Sisal Programs: a formal approach
    Attali I., Caromel D., Guider R., Wendelborn A.,
    Euro-Par'96, International Conference on Parallel Processing, Springer-Verlag, LNCS 1123-1124, Lyon , August 1996.
  • A Formal Semantics and an Interactive Environment for Sisal
    Attali I., Caromel D., Wendelborn A.,
    Published in A. Zaky \& T. Lewis editors, ``Tools and Environments for Parallel and Distributed Systems'' Kluwer Academic Publishers, ISBN 0-7923-9675-8, February 1996 .
  • A Formal Semantics for Sisal Arrays
    Attali I., Caromel D., Y-S. Chen, J-L Gaudiot, Wendelborn A.,
    Proceedings of Joint Conference on Information Sciences (JCIS'95), North Carolina, October 1995.

    • PhD students:

    Former:

  • Yves Roudier,
    ``Abstractions réactives pour les langages à objets parallèles : modèles et programmation'',
    postdoc at Electrotechnical Laboratory (ETL), Tokyo,
    currently "Assistant Professor" at Institut Eurécom
  • Sidi Ould Ehmety,
    `` Étude du modèle de programmation parallèle Eiffel//: Sémantique Formelle, Preuves et Visualisation'' (Advised with I. Attali)
    postdoc at Universidade Federal do Maranhao - UFMA, Sao Luis, Brazil,
    currently at The University of Cambridge, Computer Laboratory
  • David Sagnol,
    ``Correction et optimisation de programmes à objets parallèles''
    currently at INRIA Sophia MACOTTE Team
  • Romain Guider,
    ``Analyse statique et parallélisation de programmes à objets'' (Advised with I. Attali),
    currently at Silicomp Research Institute
  • Marjorie Russo,
    ``Formal Semantics and proves for the Java Language'' (Advised with I. Attali)
    Formely at ESIL, Marseille, ATER at an engineer school (teaching + research)
    Now "Enseignant Chercheur" at ESIEE d'Amiens,
  • Julien Vayssière,
    ``Security in Reflexive and Distributed Object Systems'',
    currently Industrial PostDoct at SAP
  • Fabrice Huet,
    ``Mobile Objects and Localization Techniques'' formerly ATER, Université de Nice - Sophia Antipolis (2002-2003)
    Currently PostDoc at Vrije Universiteit, Amsterdam, with Henri Bal, working on Ibis (2003-2004)
  • Ludovic Henrio,
    ``ASP: Asynchronous and Sequential Processes for Distributed and Deterministic Objects'', advised with B. Serpette.
    Currently ATER, Université de Nice - Sophia Antipolis, ESSI

    •

    Current:

  • Laurent Baduel,
    ``Efficient and typed Group Communications for Distributed Objects'' (Advised with F. Baude)
  • Arnaud Contes,
    ``High-level Security for Distributed and Mobile Objects'' (Advised with I. Attali)
  • Alexandre Genoud,
    ``Non Functional Exceptions and Error Management for Distributed and Mobile Objects''
  • Felipe Luna Del Aguila,
    ``Secured Information Flow for Distributed Objects'', (Advised with I. Attali)
  • Christian Delbé,
    ``Tolérance aux pannes pour objets actifs non préemptifs''
  • Javier Bustos,
    ``Equilibrage de charge dynamique pour système à objets mobiles en configuration P2P''
    (Advised with José Piquer)
  • Matthieu Morel,
    ``Composants répartis, parallèles, et hiérarchiques pour la Grille''

    • Teaching Activities (current and past courses):

    Current courses:

  • Programmation Répartie et Architecture 3 1/3
  • Langages de Programmation Concurrente, Parallèle, Distribuée
  • Programming of Distributed Systems

    • Past courses:

  • Operating Systems Interactive course, developped at IUT. Does not work any more, but here are pictures of animations.
  • Introduction to Local Networks
  • Concepts and Techniques of Relational Databases
  • Concurrent, Parallel, and Distributed Programming Languages
  • Computer Graphics: 2D-3D Modeling, Visualization, CAD
  • Fundamentals of Algorithmic, Data Structures, and Programming Languages

    • For my students:
                                            a few information on Linux, and how to download the OS:

  • Linux-France
  • Rajouter Linux sur le boot partition de NT
  • Architectures des microprocesseurs
    •

    Contact:

  • Address:
    I3S - Univ. de Nice Sophia Antipolis - CNRS URA 1376
    projet commun OASIS (Objets Actifs, Sémantiques, Internet et Sécurité)
    INRIA, 2004 Rt. des Lucioles, BP 93
    F-06902 Sophia Antipolis Cedex
    France
  • Phone: (33) 4 92 38 76 31
  • Fax: (33) 4 92 38 79 71
  • caromel unice.fr

    • Education:

  • Master Degree in Computer Science, University of Nancy, June 1984.
  • Doctoral Thesis in Computer Science, University of Nancy, Feb. 1991.
  • Tenure (Habilitation à Diriger des Recherches), University of Nice, Nov. 1996. Get a paper copy

    • Useful for travelling:

    Currency converter    Measurement converter
    Going to Paris
    A Recent achievement: Ugo Since June, 4th, 1997, you are my  
    Thanks for visiting!