João Lourenço
Changing the world, one student at a time…
Computer Science Department, NOVA School of Science and Technology, NOVA University Lisbon, Quinta da Torre, P-2829-516 CAPARICA, Portugal — joao.lourenco [AT] fct [DOT] unl [DOT] pt (email)
Best Paper Award at HVC 2012
November 8, 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.
