Vasco Pessanha

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Topics

Detection Scheme

Nested Transactions

Multidatabase Systems

Top Venues

Haifa Verification Conference

Publications

Ricardo J. Dias, Vasco Pessanha, João Lourenço
Precise Detection of Atomicity Violations. Haifa Verification Conference (2012)
Vasco Pessanha, Ricardo J. Dias, João Lourenço, Eitan Farchi, Diogo Sousa
Practical verification of high-level dataraces in transactional memory programs. PADTAD (2011)
João Lourenço, Ricardo J. Dias, João Luís, Miguel Rebelo, Vasco Pessanha
Understanding the behavior of transactional memory applications. PADTAD (2009)