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]
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]
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
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).
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.
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.
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.
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,
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.
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.
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
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''
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