From: Louis Gesbert <gesbert@antislash.info>
To: caml-list@inria.fr
Subject: PhD Defense: Systematic Development and Safety of Execution in Structured Parallel Programming
Date: Wed, 18 Feb 2009 12:28:45 +0100 [thread overview]
Message-ID: <499BF0ED.7020001@antislash.info> (raw)
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
reply other threads:[~2009-02-18 11:16 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=499BF0ED.7020001@antislash.info \
--to=gesbert@antislash.info \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).