|Home \ Prototypes \ Prototype Page||Login|
DeTraMA - Static Detection of Anomalies in Transactional Memory Programs
A tool to statically identify possible runtime anomalies in TM programs, addressing both low-level and high-level dataraces, the former resulting from unprotected code regions and the latter from incorrect definitions of a transaction's scope. Developed by Bruno Teixeira in his MSc thesis, under the supervision of Prof. João Lourenço.
Date: April, 2010
Authors: João Lourenço, Ricardo Dias