Abstraction-Guided Synthesis to appear in POPL'10

Our paper titled "Abstraction-Guided Synthesis" will appear in POPL'10. The paper presents an approach for synthesizing synchronization in concurrent programs using abstract interpretation. Below is a word-cloud summary. The paper itself will be available online sometime early November.