Static analysis for concurrent programs with applications to data race detection

We propose a general framework for static analysis of concurrent multi-threaded programs in the presence of various types of synchronization primitives such as locks and pairwise rendezvous. In order to capture interference between threads, we use the notion of a transaction , i.e., a sequence of st...

Full description

Saved in:

Bibliographic Details
Published in:	International journal on software tools for technology transfer Vol. 15; no. 4; pp. 321 - 336
Main Authors:	Kahlon, Vineet, Sankaranarayanan, Sriram, Gupta, Aarti
Format:	Journal Article
Language:	English
Published:	Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2013 Springer Nature B.V
Subjects:	Computer programs Computer Science Concurrent engineering Data analysis Graphs Invariants Mathematical models Race Software Software Engineering Software Engineering/Programming and Operating Systems Static code analysis Synchronism Tacas 2009 Theory of Computation Warning Transaction graphs Abstract interpretation Data race detection Multi-threaded programs Static analysis
ISSN:	1433-2779, 1433-2787
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!