From: Filippo Bonchi <filippo.bonchi@ens-lyon.fr>
To: caml-list@inria.fr
Subject: [Caml-list] Research School on "Semantics and tools for low-level programming"
Date: Wed, 14 Nov 2012 17:24:17 +0100 [thread overview]
Message-ID: <CABmyLNf96roQaaha2f5_hZts7zVsQzseYZPs802wwKw-5Ltt3Q@mail.gmail.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 1483 bytes --]
************************************************************************
Research School on "Semantics and tools for low-level programming"
January 14-18, 2013, ENS Lyon
************************************************************************
Speakers: Francesco Zappa Nardelli (INRIA), Mark Batty (University of
Cambridge), Alastair Donaldson(Imperial College London) and Martin Vechev
(ETH Zurich)
Webpage: http://www.ens-lyon.fr/DI/?p=2803&lang=en
Local Contact: Filippo Bonchi
The registration is free and closes Monday 8th of January.
Abstract:
Optimisations performed by the hardware or by high-level language compilers
can reorder memory accesses in various subtle ways. These reorderings can
sometimes be observed by concurrent programs, exacerbating the usual
problems of concurrent programming. The situation is even worse when we
abandon traditional shared memory concurrency in favor of graphics
processing units (GPUs) or exotic hardware. In these lectures we will cover
recent progress in understanding and specifying the behaviour of some major
processor architectures and the impact of optimisations performed by
high-level programming language compilers, stablishing a solid basis for
shared memory programming. We will then explore techniques which can help
programmers develop reliable concurrent software by automatically
discovering the necessary synchronization. We will also discuss techniques
for verification of multicore software, including GPU kernels.
[-- Attachment #2: Type: text/html, Size: 1608 bytes --]
reply other threads:[~2012-11-14 16:24 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=CABmyLNf96roQaaha2f5_hZts7zVsQzseYZPs802wwKw-5Ltt3Q@mail.gmail.com \
--to=filippo.bonchi@ens-lyon.fr \
--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).