Join the first ETSI Grid Plugtests

Isabelle Attali


INRIA Sophia Antipolis
2004 Route des Lucioles
BP 93
06902 Sophia Antipolis Cedex
France
Tél: (33) 4 92 38 79 10
Fax: (33) 4 92 38 76 44
e-mail: ia@sophia.inria.fr

Propositions de Stages et Thèses (2003-2004) dans l'équipe OASIS

Education:

  • Master Degree in Computer Science, University of Bordeaux, June 1982.
  • Doctoral Thesis in Computer Science, University of Nice, April 1989.
  • Habilitation à Diriger des Recherches, Informatique, University of Nice Sophia Antipolis, September 1996.
  • Work:

  • Project Leader of the Oasis team at INRIA Sophia Antipolis, since January 1999.
  • Deputy Chairman of the INRIA Evaluation Committee.
    The Evaluation Committee is responsible for initiating the evaluation of research teams and scientific personnel.
  • Organizing Committee co-Chair of the LDTA'04 (Workshop on Language Descriptions, Tools and Applications), satellite event of ETAPS 2004 , March-April 2004, Barcelona.

    Former activities:
  • Responsible for Education at INRIA Sophia Antipolis (January 1997 - September 1999).
  • Tutorial co-chair (with Giuseppe Castagna) of ECOOP2000 in Sophia Antipolis and Cannes.
  • Workshop co-chair (with Thomas Jensen) of Java Card Workshop in Cannes (14 Sept 2000).
  • Member of Actions de Recherche Coopérative JavaCard and S-Java.
  • Program Committee Member of LDTA 2001 (Workshop on Language Descriptions, Tools and Applications) .
  • Member of the steering committee of the GDR ALP.
  • Responsible for the Ecole Jeunes Chercheurs en Programmation from 1995 to 2001.
  • Program Committee co-chair (with Thomas Jensen) of eSmart'2001, in Cannes (19-21 Sept 2001).
  • Program Committee Member of the CARDIS'02 Conference, 20-22 Nov 2002, San Jose.
  • Program Committee Member of the CC'03 (Compiler Construction) Conference, April 2003, Warsaw.
  • Industrial Track co-chair (with Kiran Bondalapati ) for IPDPS'03 (International Parallel and Distributed Processing Symposium), April 2003, Nice.
  • Organizing Committee Chair of the LDTA'03 (Workshop on Language Descriptions, Tools and Applications) .
  • Responsible for Education and Employment at Telecom Valley.
  • Member of the steering committee of the DEA Informatique, University of Nice Sophia Antipolis.
  • Research interests: (to be updated soon)

  • Efficient implementation of the Typol formalism
  • Document Manipulation
  • Specification of groupware applications
  • Program Transformations (TrfL)
  • Semantics of object-oriented programming languages (Eiffel)
  • Semantics of concurrent object-oriented programming languages (Eiffel//, Java, Java Card)
  • Semantics of parallel functional languages (Sisal)
  • Recent Papers: (to be updated soon)

  • Incremental Evaluation of Natural Semantics Specifications
    Proceedings of Programming Language Implementation and Logic Programming, Leuven (Belgium), LNCS 631, pp 87-99, August 1992.
  • Integrating Natural Semantics and Attribute Grammars: the Minotaur System
    INRIA Research Report no. 2339, September 1994.
  • A Formal Definition of the Dynamic Semantics of the Eiffel Language
    Australian Computer Science Conference (ACSC), Brisbane, February 1993.
  • A Formal Semantics and an Interactive Environment for Sisal
    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
    Proceedings of Joint Conference on Information Sciences (JCIS'95), North Carolina, October 1995.
  • An Operational Semantics for the Eiffel// Language
    INRIA Research Report no. 2732, November 1995.
  • Sémantique Naturelle: Evaluation et Expressivité
    Mémoire d'Habilitation à Diriger des Recherches, Université de Nice Sophia Antipolis , September 1996.
  • Optimizing Sisal Programs: a formal approach
    Euro-Par'96, International Conference on Parallel Processing, Springer-Verlag, LNCS 1123-1124, Lyon , August 1996.
  • A Natural Semantics for Eiffel Dynamic Binding
    ACM Transactions on Programming Languages and Systems (TOPLAS), 18 (5) , November 1996.
  • Semantic-based visualization for parallel object-oriented programming
    OOPSLA'96 (Object-Oriented Programming: Systems, Languages, and Applications), ACM Press, Sigplan Notices, Vol. 31, No. 10, San Jose, CA , October 1996.
  • A Document Manipulation System based on Natural Semantics
    Mathematical and Computer Modelling Journal, Vol. 25, No. 4, pp 37-56 , 1997.
  • Spécification Formelle et Approche Objet pour les Applications Workflow
    Techniques et Sciences Informatiques, Vol. 98, No. 2, pp 181-209 , 1998.
  • A Formal and Executable Semantics for Java
    Proceedings of Formal Underpinnings of Java, an OOPSLA'98 Workshop, Vancouver, CA, Technical Report, Princeton University, , 1998.
  • Formal Properties of the Eiffel// Model
    Parallel and Distributed Objects, Hermes Science Publications, 1999.
  • From a Specification to an Equivalence Proof in Object-Oriented Parallelism
    FMPPTA'99: Modeling and Proving (Fourth Workshop in Formal Methods for Parallel Programming, Theory and Applications), LNCS 1586, pp 1197-1214, 1999.
  • From Executable Formal Specification to Java Property Verification.
    In S. Drossopoulou, S. Eisenbach, B. Jacobs, G. T. Leavens, P. Müller, and A. Poetzsch-Heffter, editors, Proceedings of FTfJP'00--ECOOP Worksh op on Formal Techniques for Java Programs, 2000.
  • A step towards automatic distribution of Java programs.
    In S. F. Smith and C. L. Talcott, editors, Proc. of the Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems, pages 141-161, Stanford, CA., September 2000. IFIP, Kluwer Academic publishers.
  • SmartTools for Java Card.
    In Anthony Watson Josep Domingo-Ferrer, David Chan, editor, Smart Card Research and advanced Applications - Proceedings of CARDIS'2000, Bristol, UK, 2000. Kluwer Academic Publishers.
  • Graphical Visualization of Java Objects, Threads, and Locks
    IEEE Distributed Systems Online Volume 2, Number 1 , 2001.
  • Personal Information:

  • I am the lucky mother of Ugo and Tom !

  • Isabelle Attali
    Last modified: Fri Jul 2 10:22:57 MEST 2004