Best Paper Award at HVC 2012

The paper
"Precise Detection of Atomicity Violations",
co-autored with my MSc and PhD students Vasco Pessanha and Ricardo Dias, has received the Best Paper Award at the Haifa verification Conference 2012, one of the most prestigious venue for the Software and Hardware verification scientific communities.

I want to acknowledge my gratitude to Vasco and Ricardo for their high quality work in this topic.