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 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.