CAROMEL, DENIS / Computer science / Researchers

International Center for Scientific Research


Computer science / CAROMEL, DENIS


Full Professor at University of Nice - Sophia Antipolis (UNSA), UFR Sciences,"Département Informatique", Sophia-Antipolis, France.

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

Member of the Institut Universitaire de France

Research interests

. Parallel, Concurrent, and Distributed Object-Oriented Programming, Mobility, Reflection, Grid-computing : ProActive, a project of the ObjectWeb Consortium

. 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


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

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.

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.

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.

Legal notice - Contact

Copyright © 2013 - - All rights reserved