From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 1E159BBC4 for ; Wed, 18 Feb 2009 12:16:19 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnABAIN8m0nU4368kWdsb2JhbACUTQEBAQEJCwoHEQO/OIQTBg X-IronPort-AV: E=Sophos;i="4.38,229,1233529200"; d="scan'208";a="35365214" Received: from moutng.kundenserver.de ([212.227.126.188]) by mail4-smtp-sop.national.inria.fr with ESMTP; 18 Feb 2009 12:16:18 +0100 Received: from [192.168.1.132] (93-210-144-213.altitudetelecom.fr [213.144.210.93]) by mrelayeu.kundenserver.de (node=mrelayeu7) with ESMTP (Nemesis) id 0ML2xA-1LZkPZ0iUh-0006yD; Wed, 18 Feb 2009 12:16:17 +0100 Message-ID: <499BF0ED.7020001@antislash.info> Date: Wed, 18 Feb 2009 12:28:45 +0100 From: Louis Gesbert User-Agent: Thunderbird 2.0.0.19 (X11/20090105) MIME-Version: 1.0 To: caml-list@inria.fr Subject: PhD Defense: Systematic Development and Safety of Execution in Structured Parallel Programming Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Provags-ID: V01U2FsdGVkX18+m7XAhwGX+M34xmTdtPBTyuqXYFqjMaKPVEM mNDKUWKsPgX3y2zVQKXmhopndqT1Zo05DcTxRosTrNzvNV+O8M GjIyV+QyMyBL++5KyKl7K1Yb3TzpVy7 X-Spam: no; 0.00; chailloux:01 jocelyn:01 serot:01 gava:01 loulergue:01 bsml:01 syntax:01 semantics:01 abstract:01 michel:01 thesis:01 exceptions:01 imperative:01 jury:01 universite:02 Apologies for multiple posting ------------------------------- It is my pleasure to announce that the public defense of my PhD will take place on thursday, March 5th at 10am, at Salle des Thèses, P2 building Université Paris 12, Créteil The works presented have for title: "Systematic Development and Safety of Execution in Structured Parallel Programming" and will be defended in front of the jury composed of: - Emmanuel Chailloux - Jocelyn Sérot - Zhenjiang Hu - Olivier Michel - Frédéric Gava - Frédéric Loulergue Abstract: ---- Finding a good paradigm to represent parallel programming in a simple and efficient way is a challenge currently faced by computer science research, mainly due to the evolution of machine architectures towards multi-core processors. BSML is a high level, structured parallel programming language that takes part in this research in an original way. By building upon existing work, this thesis extends the language and makes it more general, simple and usable with added imperative features such as references and exceptions, a specific syntax, etc. The existing formal and safety characteristics of the language (semantics, type system...) are preserved and extended. A major application is given in the form of a methodology for the development of fully proved parallel programs. ---- Thanks for your attention, Louis Gesbert