João Lourenço
Changing the world, one student at a time…
Departamento de Informática, Fac. de Ciências e Tecnologia, Universidade Nova de Lisboa, 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.
