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.

Bell Labs

"Pierce created a rare environment in any industry or research lab, one in which the scientists felt empowered to do their best and in which creativity was highly valued. At the time, the Bell Telephone Company/AT&T had a complete monopoly on telephone service in the U.S. and a large cash reserve. Their laboratory was something of a playground for the very best and brightest inventors, engineers and scientists in America. In the Bell Labs 'sandbox', Pierce allowed his people to be creative without worrying about the bottom line or the applicability of their ideas to commerce. Pierce understood that the only way true innovation can occur is when people don't have to censor themselves and can let their ideas run free. Although only a small proportion of those ideas may be practical, and a smaller proportion still would become products, those that did would be innovative, unique, and potentially very profitable. Out of this environment came a number of innovations including lasers, digital computers, and the Unix operating system".

(from the book This is your brain on music / Daniel J. Levitin)