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 at Haifa Verification Conference 2012
Best Paper at Award @ HVC with the paper "Precise Detection of Atomicity Violations".
-
Best Paper Award 1
-
Best Paper Award 2
