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:

and at MIT:




Leave a Comment so far
Leave a comment

Leave a Reply

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

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

Google photo

You are commenting using your Google 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 )

Connecting to %s

%d bloggers like this: