%0 Conference Paper %B Proceedings of 9th the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging %D 2011 %T Practical verification of high-level dataraces in transactional memory programs %A Pessanha, Vasco %A Ricardo J. Dias %A João M. Lourenço %A Farchi, Eitan %A Sousa, Diogo %C New York, NY, USA %I ACM %K concurrency %K software transactional memory %K static analysis %K testing %K verification %P 26–34 %R http://doi.acm.org/10.1145/2002962.2002968 %S PADTAD'11 %U http://doi.acm.org/10.1145/2002962.2002968 %X

In this paper we present MoTh, a tool that uses static analysis to enable the automatic verification of concurrency anomalies in Transactional Memory Java programs. Currently MoTh detects high-level dataraces and stale-value errors, but it is extendable by plugging-in sensors, each sensor implementing an anomaly detecting algorithm. We validate and benchmark MoTh by applying it to a set of well known concurrent buggy programs and by close comparison of the results with other similar tools. The results achieved so far are very promising, yielding good accuracy while triggering only a very limited number of false warnings.

%8 July %@ 9781-450-3080-9-0 %> https://docentes.fct.unl.pt/sites/default/files/joao-lourenco/files/isstaws11padtad-4-pessanha.pdf