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.
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: