Publications

Practical Verification of High-Level Dataraces in Transactional Memory Programs

AuthID
P-007-ZYP

Author(s)

Pessanha, V

Dias, RJ

Lourenco, JM

Farchi, E

Sousa, D

Editor(s)

João Lourenço; Eitan Farchi

Document Type

Proceedings Paper

Year published

2011

Published

in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 - Proceedings in PADTAD

Pages: 26-34

Conference

9Th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, Padtad 2011, Date: 17 July 2011 through 17 July 2011, Location: Toronto, ON, Sponsors: IBM Research;Intel

Indexing

Scopus^®

Dblp^®/en/publications/view/262102

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1145/2002962.2002968

DBLP: conf/issta/PessanhaDLFS11

SCOPUS: 2-s2.0-80052165146

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Practical Verification of High-Level Dataraces in Transactional Memory Programs

Useful Links

Get Help

Federated Authentication (Click on the image)

Practical Verification of High-Level Dataraces in Transactional Memory Programs

Useful Links

Get Help