Machinations


June SIGACT Distributed Computing Column
June 25, 2012, 9:36 pm
Filed under: Uncategorized | Tags: ,

The June SIGACT Distributed Computing Column is out.  Announcement below from Idit Keidar.

The June column deals with synthesis of distributed and parallel
programs, specifically, automatically fixing such programs to
work correctly in the face of faults or weak memory models.
It includes:

1. “Automated Model Repair for Distributed Programs”
  by Borzoo Bonakdarpour and Sandeep S. Kulkarni

2. “Automatic Inference of Memory Fences”
  by Michael Kuperstein, Martin Vechev and Eran Yahav

As always, the column is available online, both at the Technion:

     http://www.ee.technion.ac.il/~idish/sigactNews

and at MIT:

     http://people.csail.mit.edu/idish/sigactNews

Enjoy!

Idit

 

Advertisements

Leave a Comment so far
Leave a comment



Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s



%d bloggers like this: