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)
New paper accepted at HVC 2012
September 10, 2012
Our paper "Precise Detection of Atomicity Violations", co-authored by my ex-MSc Student Vasco Pessanha, my PhD student Ricardo Dias, and myslef, was accepted at the Haifa Verification Conference (HVC 2012).
The base of the paper is the MSc work of Vasco, which was (unofficially) co-supervised by Ricardo and (officially) me. We developed a new approach to find high-level dataraces in concurrent programs.
