Home

LASER Summerschool on Concurrency

Bertrand Meyer yet again has lined up a fantastic set of speakers for this year's LASER summerschool that targets some very relevant and timely topics in our field:
  • Tryggve Fossum, Intel Fellow and Director of Microarchitecture Development, Intel Corporation on Chip level Multi Processors
  • Maurice Herlihy, Brown University on The Art of Multiprocessor Programming
  • Bertrand Meyer, ETH Zurich and Eiffel Software on Correct Contract-Covered Concurrent Computation
  • Robin Milner, Cambridge University on Bigraphs: a space for mobile interaction
  • Peter O'Hearn, Queen Mary University of London on Proof Techniques for Concurrent Programs
  • Daniel A. Reed, Microsoft Research and UNC Chapel Hill on Living in the Multicore Computing Clouds
By Erik Meijer at 2008-06-20 18:38 | Parallel/Distributed | other blogs | 14938 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Herlihy's book,

The Art of Multiprocessor Progamming (2008) is a good read.

It covers in detail numerous algorithsm for mutual exclusion and such, including lock-free algorithms.

It then goes into lots of detail why shared-state concurrency is not a scalable approach to building systems--locks don't scale well at all. The book does give some coverage of alternate approaches, including STM, though not enough (such material may be out of scope).

Not a PLT book per se, but of interest to anyone doing PL design--especially concurrent languages.

By Scott Johnson at Fri, 2008-06-20 20:39 | login or register to post comments

Bertrand Meyer

How about getting Bertrand Meyer to guest blog here?

By Ehud Lamm at Fri, 2008-06-20 23:33 | login or register to post comments

rethorical?

I imagine an answer isn't required, but nevertheless, yes!

By Rafael at Tue, 2008-06-24 02:59 | login or register to post comments

The question was directed

The question was directed either at Meyer or someone who is in contact with him...

By Ehud Lamm at Tue, 2008-06-24 03:03 | login or register to post comments

missing the link

http://se.inf.ethz.ch/laser/2008/index.php

By eddie.welker at Sun, 2008-06-22 16:05 | login or register to post comments

Fixed

Thanks, story has been corrected. (Missing closing quote in URL.)

By Anton van Straaten at Mon, 2008-06-23 14:24 | login or register to post comments