Static analysis for concurrent programs with applications to data race detection

V Kahlon, S Sankaranarayanan, A Gupta - International Journal on …, 2013 - Springer
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 …
被引用次数：17 相关文章

Static analysis for concurrent programs with applications to data race detection

V Kahlon, S Sankaranarayanan, A Gupta - International Journal on …, 2013 - dl.acm.org
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 …

Static analysis for concurrent programs with applications to data race detection

V Kahlon, S Sankaranarayanan… - … Journal on Software …, 2013 - collaborate.princeton.edu
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 …

Static analysis for concurrent programs with applications to data race detection

V Kahlon, S Sankaranarayanan, A Gupta - International Journal on …, 2013 - infona.pl
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 …

Static analysis for concurrent programs with applications to data race detection

V Kahlon, S Sankaranarayanan… - International Journal on …, 2013 - search.proquest.com
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 …

[引用][C] Static analysis for concurrent programs with applications to data race detection

V Kahlon, S Sankaranarayanan, A Gupta - International journal on …, 2013 - Springer