Dear all, I would like to announce the public thesis defense of Raphaël Collet.
Peter %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Mercredi 19 décembre 2007 à 14h00 Université catholique de Louvain Auditoire BARB93 Place Sainte-Barbe 1348 Louvain-la-Neuve Belgium Accès Louvain-la-Neuve Biéreau, Parking 11 Sujet : The Limits of Network Transparency in a Distributed Programming Language This dissertation presents a study on the extent and limits of network transparency in distributed programming languages. This property states that the result of a distributed program is the same as if it were executed on a single computer, in the case when no failure occurs. The programming language may also be network aware if it allows the programmer to control how a program is distributed and how it behaves on the network. Both aim at simplifying distributed programming, by making non-functional aspects of a program more modular. We show that network transparency is not only possible, but also practical: it can be efficient, and smoothly extended in the case of partial failure. We give a proof of concept with the programming language Oz and the system Mozart, of which we have reimplemented the distribution support on top of the Distribution Subsystem (DSS). We have extended the language to control which distribution algorithms are used in a program, and reflect partial failures in the language. Both extensions allow to handle non-functional aspects of a program without breaking the property of network transparency. Membres du jury : Promoteur : Monsieur P. VAN ROY (INGI) Monsieur P. BRAND (SICS) Monsieur M. LOBELLE (Dépt. INGI) Monsieur J. ARMSTRONG (Ericsson) Président : Monsieur Y. DEVILLE (INGI) Monsieur A . LALOUX, représentant le Doyen sera le président de la cérémonie. _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
