Delphine Kaplan.



Address:

Organisation:INRIA Sophia A ntipolis
Project RODEO (High-Speed Networking Group)
2004, rte des Lucioles
BP 93
06902 Sophia Antipolis CEDEX, France
phone: +33 4 93 65 79 18, +33 4 93 65 78 25
fax: +33 4 93 65 77 65
E-mail: Delphine.Kaplan@inria.fr
Freephone: dkaplan@django.inria.f r


Research interests:

Distributed Multimedia Applications.
Protocol Specification. Application Level Framing (ALF) technique. ALF protocol compiler.
Formal Specification and Verification. Type Systems.
Synchronous reactive languages. Concurrency. Real-Time Programming. Esterel.
Programming Languages. OO programming. Java.



Relevant Links
Books

Towards protocol design and automatic implementation ...


I got my Phd in 1995 in the field of Software Engineering. I have adressed the problem of translating automatically the Natural Semantics of programming languages to the Coq proof development system, in order to prove formally (with mechanized support) general properties of languages. I have designed and implemented a tool available in the generic programming environment Centaur. I have also provided some useful tactics, thus contributing to the design of a library for proof development.

Then, in 1996, I did a postdoc (whitout annex, with annex ) in the Esterel team. It was a first step towards the proof of correctness of the new Esterel compiler in Coq. The problem was firstly to provide a good formalisation of the translation of Esterel programs into constructive circuits, and secondly to perform the proof of correctness.

I am currently working in the HIPPARCH (High Perfomance Protocol Architecture) project, which aims at investigating novel architectures for high performance communication protocols based on the Application Level Framing (ALF) concept. I work on an ALF protocol compiler (initially studied by Isabelle Chrisment), flexible enough to contribute to a platform to study new protocol implementation techniques. This protocol compiler generates the appropriate communication module of a given distributed application, taking into account the application and network requirements. The control part of the application is specified using Esterel while the data processing part is written in Java. The specific requirements are used by the compiler to select the appropriate protocol mechanisms available from an Esterel library, and generate the specification of the integrated automaton in Esterel. Finally, this integrated specification is compiled in Java which is the target implementation environment. To achieve a performant execution scheme we need of course to add some JIT stuff to the process ... The general architecture of the next version of the compiler is based on previous work synthetised in References. Moreover, it should provide a refined mapping between QoS requirements and protocol mechanisms.

Publications

ALFred Documentation

Rodeo Seminars

France
dkaplan@sophia.inria.fr
@